summaryrefslogtreecommitdiff
path: root/extra/ocaml
diff options
context:
space:
mode:
authorNicolas Reynolds <fauno@kiwwwi.com.ar>2011-09-21 12:47:04 -0300
committerNicolas Reynolds <fauno@kiwwwi.com.ar>2011-09-21 12:47:04 -0300
commit79f56eaaa1e752a2f67072051b612acf5c648f69 (patch)
treea466c8fa3a070419d3a816b79a2d38ec80ad04ce /extra/ocaml
parent37ac99de3bc1df2e6c5e0cd8b6af631d589cb4ab (diff)
parentd739da01541d53414129d3171df221cfe2440fe5 (diff)
Merge branch 'master' of ssh://vparabola/home/parabola/abslibre-pre-mips64el
Conflicts: community/antiword/PKGBUILD community/apcupsd/PKGBUILD community/busybox/PKGBUILD community/chrpath/PKGBUILD community/driftnet/PKGBUILD community/emesene/PKGBUILD community/fdm/PKGBUILD community/fftw2/PKGBUILD community/gsynaptics/PKGBUILD community/gtk-rezlooks-engine/PKGBUILD community/httptunnel/PKGBUILD community/libnfnetlink/PKGBUILD community/libopenraw/PKGBUILD community/mashup/PKGBUILD community/pcb/PKGBUILD community/portaudio_cpp/PKGBUILD community/preload/PKGBUILD community/rlog/PKGBUILD community/scponly/PKGBUILD community/splint/PKGBUILD community/wmname/PKGBUILD community/xosd/PKGBUILD community/xxkb/PKGBUILD community/znc/PKGBUILD core/glibc/PKGBUILD core/libtool/PKGBUILD extra/at/PKGBUILD extra/autogen/PKGBUILD extra/bmp-musepack/PKGBUILD extra/capi4k-utils/PKGBUILD extra/cdrdao/PKGBUILD extra/chkrootkit/PKGBUILD extra/cmt/PKGBUILD extra/compface/PKGBUILD extra/dasher/PKGBUILD extra/dcfldd/PKGBUILD extra/dmapi/PKGBUILD extra/docker/PKGBUILD extra/dvd+rw-tools/PKGBUILD extra/dvdrtools/PKGBUILD extra/fcgi/PKGBUILD extra/festival/PKGBUILD extra/ffmpeg/PKGBUILD extra/gecko-sharp-2.0/PKGBUILD extra/gimp-gap/PKGBUILD extra/gmetadom/PKGBUILD extra/gnome-speech/PKGBUILD extra/gnome-vfsmm/PKGBUILD extra/gnutls/PKGBUILD extra/graphite/PKGBUILD extra/i8kutils/PKGBUILD extra/id3/PKGBUILD extra/java-access-bridge/PKGBUILD extra/kdelibs/PKGBUILD extra/koffice/PKGBUILD extra/ladspa/PKGBUILD extra/libcddb/PKGBUILD extra/libcroco/PKGBUILD extra/libdc1394/PKGBUILD extra/libdca/PKGBUILD extra/libgee/PKGBUILD extra/libglademm/PKGBUILD extra/libgnomecanvasmm/PKGBUILD extra/libsigsegv/PKGBUILD extra/libstdc++5/PKGBUILD extra/libwebkit/PKGBUILD extra/libytnef/PKGBUILD extra/lua/PKGBUILD extra/mcpp/PKGBUILD extra/metalog/PKGBUILD extra/mp3wrap/PKGBUILD extra/mt-st/PKGBUILD extra/naim/PKGBUILD extra/ocaml/PKGBUILD extra/oxine/PKGBUILD extra/php/PKGBUILD extra/poppler/PKGBUILD extra/pstoedit/PKGBUILD extra/qt/PKGBUILD extra/speex/PKGBUILD extra/sweep/PKGBUILD extra/t1lib/PKGBUILD extra/taglib-extras/PKGBUILD extra/unixodbc/PKGBUILD extra/wireshark/PKGBUILD extra/ypbind-mt/PKGBUILD gnome-unstable/caribou/PKGBUILD gnome-unstable/clutter/PKGBUILD gnome-unstable/cogl/PKGBUILD gnome-unstable/dconf/PKGBUILD gnome-unstable/empathy/PKGBUILD gnome-unstable/empathy/empathy.install gnome-unstable/eog/PKGBUILD gnome-unstable/evolution-data-server/PKGBUILD gnome-unstable/evolution/PKGBUILD gnome-unstable/folks/PKGBUILD gnome-unstable/gconf/PKGBUILD gnome-unstable/gdm/PKGBUILD gnome-unstable/gdm/fix_external_program_directories.patch gnome-unstable/glib-networking/PKGBUILD gnome-unstable/glib2/PKGBUILD gnome-unstable/gnome-color-manager/PKGBUILD gnome-unstable/gnome-contacts/PKGBUILD gnome-unstable/gnome-desktop/PKGBUILD gnome-unstable/gnome-keyring/PKGBUILD gnome-unstable/gnome-menus/PKGBUILD gnome-unstable/gnome-online-accounts/PKGBUILD gnome-unstable/gnome-panel/PKGBUILD gnome-unstable/gnome-power-manager/PKGBUILD gnome-unstable/gnome-screensaver/PKGBUILD gnome-unstable/gnome-session/PKGBUILD gnome-unstable/gnome-settings-daemon/PKGBUILD gnome-unstable/gnome-shell/PKGBUILD gnome-unstable/gnome-themes-standard/PKGBUILD gnome-unstable/gnome-utils/PKGBUILD gnome-unstable/gtk3/PKGBUILD gnome-unstable/gtkhtml4/PKGBUILD gnome-unstable/gtkmm3/PKGBUILD gnome-unstable/libgdata/PKGBUILD gnome-unstable/libgnome-keyring/PKGBUILD gnome-unstable/libsoup/PKGBUILD gnome-unstable/libwnck3/PKGBUILD gnome-unstable/mash/PKGBUILD gnome-unstable/mutter/PKGBUILD gnome-unstable/mx/PKGBUILD gnome-unstable/pulseaudio/PKGBUILD gnome-unstable/pygobject/PKGBUILD gnome-unstable/pygobject2/PKGBUILD gnome-unstable/seahorse/PKGBUILD gnome-unstable/sushi/PKGBUILD gnome-unstable/totem/PKGBUILD gnome-unstable/upower/PKGBUILD gnome-unstable/vala/PKGBUILD kde-unstable/kdebase-workspace/PKGBUILD multilib/lib32-glibc/PKGBUILD multilib/lib32-gtk/PKGBUILD multilib/lib32-libpng/PKGBUILD multilib/lib32-mpg123/PKGBUILD multilib/lib32-nspr/PKGBUILD multilib/lib32-nss/PKGBUILD multilib/lib32-nss/add_spi+cacert_ca_certs.patch multilib/lib32-openssl/PKGBUILD multilib/libtool-multilib/PKGBUILD multilib/wine/PKGBUILD testing/util-linux/PKGBUILD
Diffstat (limited to 'extra/ocaml')
-rw-r--r--extra/ocaml/PKGBUILD35
1 files changed, 27 insertions, 8 deletions
diff --git a/extra/ocaml/PKGBUILD b/extra/ocaml/PKGBUILD
index 97c35d6d9..a11606412 100644
--- a/extra/ocaml/PKGBUILD
+++ b/extra/ocaml/PKGBUILD
@@ -1,9 +1,10 @@
-# $Id: PKGBUILD 131871 2011-07-16 10:36:29Z tpowa $
+# $Id: PKGBUILD 138196 2011-09-18 13:56:45Z tpowa $
# Maintainer: Tobias Powalowski <tpowa@archlinux.org>
-pkgname=ocaml
+pkgbase='ocaml'
+pkgname=('ocaml' 'ocaml-compiler-libs')
pkgver=3.12.1
-pkgrel=1
+pkgrel=2
pkgdesc="A functional language with OO extensions"
arch=('i686' 'x86_64' 'mips64el')
license=('LGPL2' 'custom: QPL-1.0')
@@ -12,16 +13,12 @@ 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
- fix-ocaml-binutils-2.21.patch
fix-caml_int64_float_of_bits-n32.patch)
-options=('!makeflags' '!emptydirs')
-md5sums=('3ba7cc65123c3579f14e7c726d3ee782'
- '8c664a0a346424ea2ec6fc6f713170c6'
+md5sums=('814a047085f0f901ab7d8e3a4b7a9e65'
'e2c8bc316efe40532c5b9d7f9a1d8d62')
build() {
cd "${srcdir}/${pkgname}-${pkgver}"
- patch -Np1 -i "${srcdir}/fix-ocaml-binutils-2.21.patch"
patch -Np1 -i "${srcdir}/fix-caml_int64_float_of_bits-n32.patch"
./configure -prefix /usr
if [ "${CARCH}" == "mips64el" ] ; then
@@ -29,6 +26,10 @@ build() {
else
make world.opt
fi
+}
+
+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.
@@ -38,3 +39,21 @@ build() {
install -m755 -d "${pkgdir}/usr/share/licenses/${pkgname}"
install -m644 LICENSE "${pkgdir}/usr/share/licenses/${pkgname}/"
}
+
+package_ocaml-compiler-libs() {
+pkgdesc="Several modules used internally by the OCaml compiler"
+license=('custom: QPL-1.0')
+depends=('ocaml')
+optdepends=()
+
+ cd "${srcdir}/${pkgbase}-${pkgver}"
+
+ # Install compiler libraries
+ local compiler_libs="${pkgdir}/usr/lib/ocaml/compiler-libs"
+ mkdir -p "$compiler_libs"/{parsing,typing,utils}
+ cp parsing/*.{cmi,cmo,cmx,ml,mli,mll,o} "$compiler_libs"/parsing
+ cp typing/*.{cmi,cmo,cmx,ml,mli,o} "$compiler_libs"/typing
+ cp utils/*.{cmi,cmo,cmx,ml,mli,o} "$compiler_libs"/utils
+ # duplicated by installation
+ rm -f "$compiler_libs"/typing/outcometree.{cmi,mli}
+}