Advertisement
Not a member of Pastebin yet?
Sign Up,
it unlocks many cool features!
- # Contributor: Benjamin Andresen <bandresen@gmail.com>
- # Based on the ocaml package by Tobias Powalowski <tpowa@archlinux.org>
- pkgname=jocaml
- pkgver=3.12.1
- pkgrel=1
- pkgdesc="JoCaml is Objective Caml plus (&) the join calculus, that is, OCaml extended for concurrent and distributed programming."
- arch=('i686' 'x86_64')
- license=('GPL2' 'custom: QPL-1.0')
- url="http://caml.inria.fr/"
- depends=('gdbm' 'ocaml')
- makedepends=('ncurses>=5.6-7' 'ocaml>=3.12.1')
- optdepends=('ncurses=5.6-7: advanced ncurses features' 'tk: advanced tk features')
- source=(http://jocaml.inria.fr/pub/distri/jocaml-3.12/$pkgname-$pkgver.tar.gz)
- options=('!makeflags' '!emptydirs')
- md5sums=('149ad310f4602c338d56464b893020e8')
- build() {
- cd $srcdir/$pkgname-$pkgver
- # force it to use preinstalled ocaml as companion
- ./configure -prefix /usr -ocamllib /usr/lib/ocaml
- echo $pkgver > VERSION
- make world.opt || return 1
- make PREFIX=$pkgdir/usr install || return 1
- # Save >10MB with this one, makepkg only strips debug symbols.
- find ${startdir}/pkg/usr/lib -type f -name '*.so.*' -exec strip --strip-unneeded {} \;
- # delete superfluous files to avoid duplication with the required ocaml package
- find ${startdir}/pkg/usr/bin -type f -name 'ocaml*' -exec rm {} \;
- # install license
- install -D -m 644 $startdir/src/$pkgname-$pkgver/LICENSE $startdir/pkg/usr/share/licenses/$pkgname/LICENSE
- }
Advertisement
Add Comment
Please, Sign In to add comment
Advertisement