Advertisement
Guest User

Jocaml 3.12.1 PKGBUILD

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