summarylogtreecommitdiffstats
diff options
context:
space:
mode:
authorMarek Kubica2015-06-08 21:11:34 +0200
committerMarek Kubica2015-06-08 21:11:34 +0200
commitfb22fea022d6a70a22d2ac0f9f659e079a9ef9ab (patch)
treedc24a54923defbda49c413a751e5a2c7408624bc
downloadaur-fb22fea022d6a70a22d2ac0f9f659e079a9ef9ab.tar.gz
Initial import
-rw-r--r--.SRCINFO15
-rw-r--r--PKGBUILD31
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
+}