summaryrefslogtreecommitdiff
path: root/community/camlp5-transitional/PKGBUILD
diff options
context:
space:
mode:
Diffstat (limited to 'community/camlp5-transitional/PKGBUILD')
-rw-r--r--community/camlp5-transitional/PKGBUILD37
1 files changed, 37 insertions, 0 deletions
diff --git a/community/camlp5-transitional/PKGBUILD b/community/camlp5-transitional/PKGBUILD
new file mode 100644
index 000000000..270fd8a97
--- /dev/null
+++ b/community/camlp5-transitional/PKGBUILD
@@ -0,0 +1,37 @@
+# Maintainer: Thomas Dziedzic < gostrc at gmail >
+# Contributor: George Giorgidze <giorgidze@gmail.com>
+# Contributor: Massimiliano Brocchini <brocchini@netseven.it>
+
+pkgname=camlp5-transitional
+pkgver=6.02.0
+pkgrel=1
+pkgdesc='Camlp5 is a preprocessor-pretty-printer of OCaml.'
+arch=('i686' 'x86_64')
+url='http://pauillac.inria.fr/~ddr/camlp5/'
+license=('BSD')
+depends=('sh')
+makedepends=('ocaml')
+conflicts=('camlp5')
+source=("http://pauillac.inria.fr/~ddr/camlp5/distrib/src/camlp5-${pkgver}.tgz")
+md5sums=('78ee9ea1b4f8e05af3f85fcbe14a7379')
+options=('!makeflags')
+
+build() {
+ cd camlp5-${pkgver}
+
+ ./configure \
+ -prefix '/usr' \
+ -mandir '/usr/share/man' \
+ -transitional
+
+ make world.opt
+}
+
+package() {
+ cd camlp5-${pkgver}
+
+ make DESTDIR=${pkgdir} install
+
+ install -D -m644 LICENSE \
+ ${pkgdir}/usr/share/licenses/${pkgname}/LICENSE
+}