diff options
| author | J5lx | 2015-06-09 17:07:18 +0200 |
|---|---|---|
| committer | J5lx | 2015-06-09 17:07:18 +0200 |
| commit | bd3eeccce115b6c139dc9b664662a11ebb1c6b54 (patch) | |
| tree | 9c319a2bda8ae4758af0af33f5b1b3028cc8a8c1 | |
| download | aur-bd3eeccce115b6c139dc9b664662a11ebb1c6b54.tar.gz | |
Initial import
| -rw-r--r-- | .SRCINFO | 16 | ||||
| -rw-r--r-- | PKGBUILD | 30 |
2 files changed, 46 insertions, 0 deletions
diff --git a/.SRCINFO b/.SRCINFO new file mode 100644 index 000000000000..769d8cd0747d --- /dev/null +++ b/.SRCINFO @@ -0,0 +1,16 @@ +pkgbase = ocaml-cmdliner + pkgdesc = An OCaml module for declarative definition of command line interfaces. + pkgver = 0.9.7 + pkgrel = 1 + url = http://erratique.ch/software/cmdliner + arch = i686 + arch = x86_64 + license = BSD + makedepends = ocaml-findlib + makedepends = opam + depends = ocaml + source = http://erratique.ch/software/cmdliner/releases/cmdliner-0.9.7.tbz + md5sums = 46d7553b95f623f811df2a844fb448fb + +pkgname = ocaml-cmdliner + diff --git a/PKGBUILD b/PKGBUILD new file mode 100644 index 000000000000..4184ea544e99 --- /dev/null +++ b/PKGBUILD @@ -0,0 +1,30 @@ +# Maintainer: Jakob Gahde <j5lx@fmail.co.uk> +# Contributor: Serge Zirukin <ftrvxmtrx@gmail.com> +# Contributor: Sergei Lebedev <superbobry@gmail.com> + +_pkgname=cmdliner +pkgname=ocaml-${_pkgname} +pkgver=0.9.7 +pkgrel=1 +pkgdesc="An OCaml module for declarative definition of command line interfaces." +arch=('i686' 'x86_64') +url="http://erratique.ch/software/${_pkgname}" +license=('BSD') +depends=('ocaml') +makedepends=('ocaml-findlib' 'opam') +source=(http://erratique.ch/software/${_pkgname}/releases/${_pkgname}-${pkgver}.tbz) +md5sums=('46d7553b95f623f811df2a844fb448fb') + +build() { + cd "${srcdir}/${_pkgname}-${pkgver}" + + ocaml pkg/build.ml native=true native-dynlink=true +} + +package() { + cd "${srcdir}/${_pkgname}-${pkgver}" + + opam-installer --prefix=$pkgdir/usr \ + --libdir=$pkgdir$(ocamlc -where) \ + --docdir=$pkgdir/usr/share/doc +} |