summaryrefslogtreecommitdiff
path: root/extra/ocaml
diff options
context:
space:
mode:
authorNicolás Reynolds <fauno@kiwwwi.com.ar>2013-01-20 15:38:15 -0300
committerNicolás Reynolds <fauno@kiwwwi.com.ar>2013-01-20 15:38:15 -0300
commitc28258d27bd9d58760eb647f912bb98a536aa753 (patch)
tree261e61872b291c02790e5483c769710942547731 /extra/ocaml
parenteefed5e3db847eccce0207f89c7430b9ec4994b7 (diff)
parent949fa4e5ed405aaddcebff7e21008f03cdffa580 (diff)
Merge branch 'master' of ssh://vparabola/home/parabola/abslibre-pre-mips64el
Conflicts: community/erlang/PKGBUILD community/fcitx-mozc/PKGBUILD community/geda-gaf/PKGBUILD community/mplayer2/PKGBUILD community/parcellite/PKGBUILD community/python2-pytables/PKGBUILD community/ruby-gtk2/PKGBUILD core/kbd/PKGBUILD core/systemd/PKGBUILD extra/calligra/PKGBUILD extra/dmapi/PKGBUILD extra/gstreamer0.10-ugly/PKGBUILD extra/gvfs/PKGBUILD extra/libcdio/PKGBUILD extra/libtorrent-rasterbar/PKGBUILD extra/llvm/PKGBUILD extra/nx/PKGBUILD extra/ocaml/PKGBUILD extra/php-xcache/PKGBUILD extra/qtwebkit/PKGBUILD extra/vcdimager/PKGBUILD extra/w3m/PKGBUILD extra/xorg-bdftopcf/PKGBUILD extra/xorg-xcalc/PKGBUILD extra/xorg-xconsole/PKGBUILD extra/xorg-xedit/PKGBUILD extra/xorg-xmag/PKGBUILD extra/xorg-xmessage/PKGBUILD extra/xorg-xvidtune/PKGBUILD libre/unzip-libre/PKGBUILD social/opentracker/PKGBUILD
Diffstat (limited to 'extra/ocaml')
-rw-r--r--extra/ocaml/PKGBUILD11
-rw-r--r--extra/ocaml/tk8.6-build.patch20
2 files changed, 26 insertions, 5 deletions
diff --git a/extra/ocaml/PKGBUILD b/extra/ocaml/PKGBUILD
index 874c0381a..d16369f13 100644
--- a/extra/ocaml/PKGBUILD
+++ b/extra/ocaml/PKGBUILD
@@ -1,4 +1,4 @@
-# $Id: PKGBUILD 173841 2012-12-25 00:34:23Z foutrelis $
+# $Id: PKGBUILD 175505 2013-01-17 15:01:31Z tpowa $
# Maintainer: Tobias Powalowski <tpowa@archlinux.org>
pkgbase='ocaml'
@@ -6,7 +6,7 @@ pkgname=('ocaml')
# Needs optimized build.
[ "$CARCH" = "mips64el" ] || pkgname+=('ocaml-compiler-libs')
pkgver=4.00.1
-pkgrel=2
+pkgrel=3
pkgdesc="A functional language with OO extensions"
arch=('i686' 'x86_64' 'mips64el')
license=('LGPL2' 'custom: QPL-1.0')
@@ -15,7 +15,8 @@ depends=('gdbm')
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-4.00/${pkgname}-${pkgver}.tar.gz
- fix-caml_int64_float_of_bits-n32.patch)
+ fix-caml_int64_float_of_bits-n32.patch
+ tk8.6-build.patch)
options=('!makeflags' '!emptydirs')
build() {
@@ -31,6 +32,8 @@ build() {
package_ocaml() {
cd "${srcdir}/${pkgbase}-${pkgver}"
+ # fix https://bugs.archlinux.org/task/33302
+ patch -Np2 -i ../tk8.6-build.patch
make PREFIX="${pkgdir}/usr" MANDIR="${pkgdir}/usr/share/man" install
# Save >10MB with this one, makepkg only strips debug symbols.
@@ -62,5 +65,3 @@ optdepends=()
install -m755 -d "${pkgdir}/usr/share/licenses/${pkgname}"
install -m644 LICENSE "${pkgdir}/usr/share/licenses/${pkgname}/"
}
-md5sums=('91124a8eb12a57f1e56c02fe3db0f9e7'
- 'e2c8bc316efe40532c5b9d7f9a1d8d62')
diff --git a/extra/ocaml/tk8.6-build.patch b/extra/ocaml/tk8.6-build.patch
new file mode 100644
index 000000000..439a930f0
--- /dev/null
+++ b/extra/ocaml/tk8.6-build.patch
@@ -0,0 +1,20 @@
+--- src/ocaml-4.00.1/configure 2012-06-26 08:33:50.000000000 -0700
++++ p/src/ocaml-4.00.1/configure 2013-01-05 17:06:54.877900143 -0800
+@@ -804,6 +804,9 @@
+ echo "ARCMD=ar" >> Makefile
+
+
++bytecccompopts="$bytecccompopts -DUSE_INTERP_RESULT"
++nativecccompopts="$nativecccompopts -DUSE_INTERP_RESULT"
++
+ # Do #! scripts work?
+
+ if (SHELL=/bin/sh; export SHELL; (./sharpbang || ./sharpbang2) >/dev/null); then
+@@ -1450,6 +1453,7 @@
+ if test -n "$tcl_version" && test "x$tcl_version" != "xnone"; then
+ echo "tcl.h and tk.h version $tcl_version found with \"$tk_defs\"."
+ case $tcl_version in
++ 8.6) tclmaj=8 tclmin=6 tkmaj=8 tkmin=6 ;;
+ 8.5) tclmaj=8 tclmin=5 tkmaj=8 tkmin=5 ;;
+ 8.4) tclmaj=8 tclmin=4 tkmaj=8 tkmin=4 ;;
+ 8.3) tclmaj=8 tclmin=3 tkmaj=8 tkmin=3 ;;