diff options
author | Marek Kubica | 2015-06-08 21:11:34 +0200 |
---|---|---|
committer | Marek Kubica | 2015-06-08 21:11:34 +0200 |
commit | fb22fea022d6a70a22d2ac0f9f659e079a9ef9ab (patch) | |
tree | dc24a54923defbda49c413a751e5a2c7408624bc | |
download | aur-fb22fea022d6a70a22d2ac0f9f659e079a9ef9ab.tar.gz |
Initial import
-rw-r--r-- | .SRCINFO | 15 | ||||
-rw-r--r-- | PKGBUILD | 31 |
2 files changed, 46 insertions, 0 deletions
diff --git a/.SRCINFO b/.SRCINFO new file mode 100644 index 000000000000..4570a04e52d9 --- /dev/null +++ b/.SRCINFO @@ -0,0 +1,15 @@ +pkgbase = ocaml-typerex + pkgdesc = TypeRex is a powerful development environment for OCaml. + pkgver = 1.0.1 + pkgrel = 2 + url = http://www.typerex.org/ + arch = i686 + arch = x86_64 + license = GPLv3 + depends = emacs + depends = ocaml>=3.11.2 + source = http://www.typerex.org/pub/typerex-1.0.1.tar.gz + md5sums = 7a9d91b64041231d7a0fc9cf462f0327 + +pkgname = ocaml-typerex + diff --git a/PKGBUILD b/PKGBUILD new file mode 100644 index 000000000000..6cabe6567034 --- /dev/null +++ b/PKGBUILD @@ -0,0 +1,31 @@ +# Maintainer: Serge Zirukin <ftrvxmtrx@gmail.com> + +pkgname=ocaml-typerex +pkgver=1.0.1 +pkgrel=2 +pkgdesc="TypeRex is a powerful development environment for OCaml." +arch=("i686" "x86_64") +url=("http://www.typerex.org/") +license=("GPLv3") +depends=("emacs" "ocaml>=3.11.2") +source=("http://www.typerex.org/pub/typerex-${pkgver}.tar.gz") +md5sums=('7a9d91b64041231d7a0fc9cf462f0327') + +build() { + cd "$srcdir/${pkgname/ocaml-/}-${pkgver}" + + ./configure --prefix="${pkgdir}/usr" + make + sed "s|${pkgdir}[/]*|/|g" -i emacs.append +} + +package() { + cd "$srcdir/${pkgname/ocaml-/}-${pkgver}" + extra="${pkgdir}/usr/share" + + make install + install -d "${extra}/"{licenses,,doc}"/${pkgname}" + install -m 0644 -t "${extra}/licenses/${pkgname}" LICENSE* + install -m 0644 -t "${extra}/${pkgname}" emacs.append + install -m 0644 -t "${extra}/doc/${pkgname}" docs/user-manual/*.pdf +} |