diff options
Diffstat (limited to 'community/camlp5-transitional/PKGBUILD')
-rw-r--r-- | community/camlp5-transitional/PKGBUILD | 37 |
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 +} |