diff options
| author | Britney Fransen <brfransen@gmail.com> | 2016-01-29 21:25:39 (GMT) |
|---|---|---|
| committer | Britney Fransen <brfransen@gmail.com> | 2016-01-29 21:25:39 (GMT) |
| commit | aa576d022474df1cd2394a4a18eddca8c8771f54 (patch) | |
| tree | a978b1d3c5baaaf5a40f0a088bfd8270f00bbd13 /abs/extra/ocaml/PKGBUILD | |
| parent | 84f2fc5bdd5a29c41849b75d9ff5cb5c0f72d622 (diff) | |
| download | linhes_pkgbuild-aa576d022474df1cd2394a4a18eddca8c8771f54.zip linhes_pkgbuild-aa576d022474df1cd2394a4a18eddca8c8771f54.tar.gz linhes_pkgbuild-aa576d022474df1cd2394a4a18eddca8c8771f54.tar.bz2 | |
ocaml: update to 4.02.3
Diffstat (limited to 'abs/extra/ocaml/PKGBUILD')
| -rw-r--r-- | abs/extra/ocaml/PKGBUILD | 20 |
1 files changed, 10 insertions, 10 deletions
diff --git a/abs/extra/ocaml/PKGBUILD b/abs/extra/ocaml/PKGBUILD index e7ad5ec..f1b1343 100644 --- a/abs/extra/ocaml/PKGBUILD +++ b/abs/extra/ocaml/PKGBUILD @@ -1,30 +1,31 @@ -# $Id: PKGBUILD 143814 2011-11-29 13:33:35Z stephane $ +# $Id$ # Maintainer: Tobias Powalowski <tpowa@archlinux.org> pkgbase='ocaml' pkgname=('ocaml' 'ocaml-compiler-libs') -pkgver=3.12.1 -pkgrel=3 +pkgver=4.02.3 +pkgrel=2 pkgdesc="A functional language with OO extensions" arch=('i686' 'x86_64') -license=('LGPL2' 'custom: QPL-1.0') +license=('LGPL2.1' 'custom: QPL-1.0') url="http://caml.inria.fr/" depends=('gdbm') -makedepends=('tk' 'ncurses>=5.6-7' 'libx11') +makedepends=('tk>=8.6.0' 'ncurses>=5.6-7' 'libx11') optdepends=('ncurses: advanced ncurses features' 'tk: advanced tk features') -source=(http://caml.inria.fr/distrib/ocaml-3.12/${pkgname}-${pkgver}.tar.gz) -options=('!makeflags' '!emptydirs') +source=(http://caml.inria.fr/distrib/ocaml-4.02/${pkgname}-${pkgver}.tar.gz) +md5sums=('ef1a324608c97031cbd92a442d685ab7') +options=('!makeflags' '!emptydirs' 'staticlibs') build() { cd "${srcdir}/${pkgname}-${pkgver}" - ./configure -prefix /usr + ./configure -prefix /usr -x11include /usr/include make world.opt } package_ocaml() { cd "${srcdir}/${pkgbase}-${pkgver}" make PREFIX="${pkgdir}/usr" MANDIR="${pkgdir}/usr/share/man" install - + # Save >10MB with this one, makepkg only strips debug symbols. #find "${pkgdir}/usr/lib" -type f -name '*.so.*' -exec strip --strip-unneeded {} \; @@ -54,4 +55,3 @@ optdepends=() install -m755 -d "${pkgdir}/usr/share/licenses/${pkgname}" install -m644 LICENSE "${pkgdir}/usr/share/licenses/${pkgname}/" } -md5sums=('814a047085f0f901ab7d8e3a4b7a9e65') |