summarylogtreecommitdiffstats
path: root/PKGBUILD
blob: c140122e126218da01d59db1b2a729dc67695b41 (plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
# Maintainer: Daniel Peukert <daniel@peukert.cc>
# Contributor: Jakob Gahde <j5lx@fmail.co.uk>
_projectname='seq'
pkgname="ocaml-$_projectname"
pkgver='base'
_commit='cbb37092ecf7d4b3a5ff43a69aacbed19a4668e5'
pkgrel='9'
pkgdesc='Dummy backward-compatibility package for iterators'
arch=('x86_64' 'aarch64')
url="https://github.com/ocaml/opam-repository/tree/master/packages/$_projectname/$_projectname.$pkgver"
license=('CC0-1.0')
depends=('ocaml>=4.07.0')
makedepends=('ocaml-findlib' 'opam')
options=('!strip')
source=(
	"$pkgname-$pkgver-opam::https://raw.githubusercontent.com/ocaml/opam-repository/$_commit/packages/$_projectname/$_projectname.$pkgver/opam"
	"$pkgname-$pkgver-META.seq::https://raw.githubusercontent.com/ocaml/opam-repository/$_commit/packages/$_projectname/$_projectname.$pkgver/files/META.seq"
	"$pkgname-$pkgver-seq.install::https://raw.githubusercontent.com/ocaml/opam-repository/$_commit/packages/$_projectname/$_projectname.$pkgver/files/seq.install"
)
b2sums=('786120a36500a444e04fc3075af6d2c3752abe605c0cbfce90e30012af5f72d0ad0bfe8acad9cff220ca0d24ad60d0b3409fb7f2d79deb2f0d00bce50c803115'
        'e40237cb64a5c1a7378e88d2d0ed186b3c9926453a92321b4cd3769e3e18ed63626484b7181323f6c5d552c5dcebe2a30d9d5305e4d4dfd0c110d5636d6b0f7d'
        '4f3676729c9b48eb67adc238eeb6162cb38c0cbae4ba8aff46255987c6dfe64094bb9706a0d8e97ce2a423ff48dd01b426571a2e96ef6a487cd3b6b4beea6020')

_sourcedirectory="$_projectname-$pkgver"

prepare() {
	cd "$srcdir/"
	mkdir -p "$srcdir/$_sourcedirectory/files/"
	mv "$pkgname-$pkgver-opam" "$srcdir/$_sourcedirectory/opam"
	mv "$pkgname-$pkgver-META.seq" "$srcdir/$_sourcedirectory/files/META.seq"
	mv "$pkgname-$pkgver-seq.install" "$srcdir/$_sourcedirectory/files/seq.install"
}

package() {
	cd "$srcdir/$_sourcedirectory/files/"
	opam-installer --libdir="$pkgdir$(ocamlfind -printconf destdir)"
}