diff options
author | Nicolás Reynolds <fauno@kiwwwi.com.ar> | 2012-09-10 15:50:09 -0300 |
---|---|---|
committer | Nicolás Reynolds <fauno@kiwwwi.com.ar> | 2012-09-10 15:50:09 -0300 |
commit | 678a7a4fb762d6669c9c2105b78d107aeebe163e (patch) | |
tree | ff00f3107491221d314e82982159160e1fa15778 /extra/ocaml | |
parent | f5cfd603b3511e75e414558f6cc9c10f8af0b750 (diff) | |
parent | 2a4c41bf2946fad65b14cf1b4ea284ebce0f11f3 (diff) |
Merge branch 'master' of ssh://vparabola/home/parabola/abslibre-pre-mips64el
Conflicts:
community-staging/haskell-stm/PKGBUILD
community-staging/haskell-syb/PKGBUILD
community/cantata/PKGBUILD
community/linux-tools/PKGBUILD
community/python-pymongo/PKGBUILD
core/less/PKGBUILD
extra/alsa-plugins/PKGBUILD
extra/avfs/PKGBUILD
extra/cups/PKGBUILD
extra/icedtea-web/PKGBUILD
extra/kdeadmin/PKGBUILD
extra/kdemultimedia-mplayerthumbs/PKGBUILD
extra/kdepim/PKGBUILD
extra/libreoffice/PKGBUILD
extra/mysql/PKGBUILD
extra/ocaml/PKGBUILD
extra/sqlite/PKGBUILD
extra/vim/PKGBUILD
gnome-unstable/at-spi2-atk/PKGBUILD
gnome-unstable/at-spi2-core/PKGBUILD
gnome-unstable/atk/PKGBUILD
gnome-unstable/glib2/PKGBUILD
gnome-unstable/gobject-introspection/PKGBUILD
multilib/lib32-alsa-lib/PKGBUILD
multilib/lib32-alsa-plugins/PKGBUILD
multilib/lib32-fontconfig/PKGBUILD
staging/ghc/PKGBUILD
staging/ghc/build.mk
staging/haskell-http/PKGBUILD
staging/haskell-mtl/PKGBUILD
staging/haskell-network/PKGBUILD
staging/haskell-parsec/PKGBUILD
staging/haskell-random/PKGBUILD
staging/haskell-text/PKGBUILD
staging/haskell-transformers/PKGBUILD
staging/haskell-zlib/PKGBUILD
testing/coreutils/PKGBUILD
testing/coreutils/coreutils.install
testing/dhcpcd/PKGBUILD
testing/kactivities/PKGBUILD
testing/kdeaccessibility-jovie/PKGBUILD
testing/kdeaccessibility-kaccessible/PKGBUILD
testing/kdeaccessibility-kmag/PKGBUILD
testing/kdeaccessibility-kmousetool/PKGBUILD
testing/kdeaccessibility-kmouth/PKGBUILD
testing/kdeadmin/PKGBUILD
testing/kdeartwork/PKGBUILD
testing/kdebase-konsole/PKGBUILD
testing/kdebase-workspace/PKGBUILD
testing/kdebase/PKGBUILD
testing/kdebindings-kimono/PKGBUILD
testing/kdebindings-korundum/PKGBUILD
testing/kdebindings-kross/PKGBUILD
testing/kdebindings-perlkde/PKGBUILD
testing/kdebindings-perlqt/PKGBUILD
testing/kdebindings-python/PKGBUILD
testing/kdebindings-qtruby/PKGBUILD
testing/kdebindings-qyoto/PKGBUILD
testing/kdebindings-smokegen/PKGBUILD
testing/kdebindings-smokekde/PKGBUILD
testing/kdebindings-smokeqt/PKGBUILD
testing/kdeedu-analitza/PKGBUILD
testing/kdeedu-blinken/PKGBUILD
testing/kdeedu-cantor/PKGBUILD
testing/kdeedu-kalgebra/PKGBUILD
testing/kdeedu-kalzium/PKGBUILD
testing/kdeedu-kanagram/PKGBUILD
testing/kdeedu-kbruch/PKGBUILD
testing/kdeedu-kgeography/PKGBUILD
testing/kdeedu-khangman/PKGBUILD
testing/kdeedu-kig/PKGBUILD
testing/kdeedu-kiten/PKGBUILD
testing/kdeedu-klettres/PKGBUILD
testing/kdeedu-kmplot/PKGBUILD
testing/kdeedu-kstars/PKGBUILD
testing/kdeedu-ktouch/PKGBUILD
testing/kdeedu-kturtle/PKGBUILD
testing/kdeedu-kwordquiz/PKGBUILD
testing/kdeedu-marble/PKGBUILD
testing/kdeedu-pairs/PKGBUILD
testing/kdeedu-parley/PKGBUILD
testing/kdeedu-rocs/PKGBUILD
testing/kdeedu-step/PKGBUILD
testing/kdegames/PKGBUILD
testing/kdegraphics-gwenview/PKGBUILD
testing/kdegraphics-kamera/PKGBUILD
testing/kdegraphics-kcolorchooser/PKGBUILD
testing/kdegraphics-kgamma/PKGBUILD
testing/kdegraphics-kolourpaint/PKGBUILD
testing/kdegraphics-kruler/PKGBUILD
testing/kdegraphics-ksaneplugin/PKGBUILD
testing/kdegraphics-ksnapshot/PKGBUILD
testing/kdegraphics-mobipocket/PKGBUILD
testing/kdegraphics-okular/PKGBUILD
testing/kdegraphics-strigi-analyzer/PKGBUILD
testing/kdegraphics-svgpart/PKGBUILD
testing/kdegraphics-thumbnailers/PKGBUILD
testing/kdemultimedia-audiocd-kio/PKGBUILD
testing/kdemultimedia-dragonplayer/PKGBUILD
testing/kdemultimedia-ffmpegthumbs/PKGBUILD
testing/kdemultimedia-juk/PKGBUILD
testing/kdemultimedia-kmix/PKGBUILD
testing/kdemultimedia-kscd/PKGBUILD
testing/kdemultimedia-mplayerthumbs/PKGBUILD
testing/kdenetwork/PKGBUILD
testing/kdepim-runtime/PKGBUILD
testing/kdepim/PKGBUILD
testing/kdepimlibs/PKGBUILD
testing/kdeplasma-addons/PKGBUILD
testing/kdesdk-kate/PKGBUILD
testing/kdesdk/PKGBUILD
testing/kdetoys/PKGBUILD
testing/kdeutils-filelight/PKGBUILD
testing/kdeutils-kcalc/PKGBUILD
testing/kdeutils-kcharselect/PKGBUILD
testing/kdeutils-kdf/PKGBUILD
testing/kdeutils-kfloppy/PKGBUILD
testing/kdeutils-kgpg/PKGBUILD
testing/kdeutils-kremotecontrol/PKGBUILD
testing/kdeutils-ktimer/PKGBUILD
testing/kdeutils-kwallet/PKGBUILD
testing/kdeutils-superkaramba/PKGBUILD
testing/kdeutils-sweeper/PKGBUILD
testing/kdewebdev/PKGBUILD
testing/kmod/PKGBUILD
testing/libkcddb/PKGBUILD
testing/libkcompactdisc/PKGBUILD
testing/libkdcraw/PKGBUILD
testing/libkdeedu/PKGBUILD
testing/libkexiv2/PKGBUILD
testing/libkipi/PKGBUILD
testing/libksane/PKGBUILD
testing/libmpc/PKGBUILD
testing/nepomuk-core/PKGBUILD
testing/procps-ng/PKGBUILD
testing/sudo/PKGBUILD
testing/sysvinit/PKGBUILD
testing/util-linux/PKGBUILD
testing/util-linux/util-linux.install
Diffstat (limited to 'extra/ocaml')
-rw-r--r-- | extra/ocaml/PKGBUILD | 13 |
1 files changed, 7 insertions, 6 deletions
diff --git a/extra/ocaml/PKGBUILD b/extra/ocaml/PKGBUILD index b431666a5..ca2ac44f4 100644 --- a/extra/ocaml/PKGBUILD +++ b/extra/ocaml/PKGBUILD @@ -1,12 +1,12 @@ -# $Id: PKGBUILD 143814 2011-11-29 13:33:35Z stephane $ +# $Id: PKGBUILD 166395 2012-09-07 16:07:57Z tpowa $ # Maintainer: Tobias Powalowski <tpowa@archlinux.org> pkgbase='ocaml' pkgname=('ocaml') # Needs optimized build. [ "$CARCH" = "mips64el" ] || pkgname+=('ocaml-compiler-libs') -pkgver=3.12.1 -pkgrel=3 +pkgver=4.00.0 +pkgrel=1 pkgdesc="A functional language with OO extensions" arch=('i686' 'x86_64' 'mips64el') license=('LGPL2' 'custom: QPL-1.0') @@ -14,10 +14,9 @@ url="http://caml.inria.fr/" depends=('gdbm') makedepends=('tk' '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 +source=(http://caml.inria.fr/distrib/ocaml-4.00/${pkgname}-${pkgver}.tar.gz) fix-caml_int64_float_of_bits-n32.patch) -md5sums=('814a047085f0f901ab7d8e3a4b7a9e65' - 'e2c8bc316efe40532c5b9d7f9a1d8d62') +options=('!makeflags' '!emptydirs') build() { cd "${srcdir}/${pkgname}-${pkgver}" @@ -63,3 +62,5 @@ optdepends=() install -m755 -d "${pkgdir}/usr/share/licenses/${pkgname}" install -m644 LICENSE "${pkgdir}/usr/share/licenses/${pkgname}/" } +md5sums=('fa11560a45793bd9fa45c1295a6f4a91' + 'e2c8bc316efe40532c5b9d7f9a1d8d62') |