summaryrefslogtreecommitdiff
path: root/extra/ocaml
diff options
context:
space:
mode:
authorNicolás Reynolds <fauno@kiwwwi.com.ar>2012-09-10 15:50:09 -0300
committerNicolás Reynolds <fauno@kiwwwi.com.ar>2012-09-10 15:50:09 -0300
commit678a7a4fb762d6669c9c2105b78d107aeebe163e (patch)
treeff00f3107491221d314e82982159160e1fa15778 /extra/ocaml
parentf5cfd603b3511e75e414558f6cc9c10f8af0b750 (diff)
parent2a4c41bf2946fad65b14cf1b4ea284ebce0f11f3 (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/PKGBUILD13
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')