summaryrefslogtreecommitdiff
path: root/extra/facile
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/facile
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/facile')
-rw-r--r--extra/facile/PKGBUILD12
-rw-r--r--extra/facile/ocaml-facile-ocaml-4.patch25
2 files changed, 34 insertions, 3 deletions
diff --git a/extra/facile/PKGBUILD b/extra/facile/PKGBUILD
index 6d48f77bd..0261aaf7d 100644
--- a/extra/facile/PKGBUILD
+++ b/extra/facile/PKGBUILD
@@ -1,23 +1,29 @@
-# $Id: PKGBUILD 135660 2011-08-17 06:53:34Z tpowa $
+# $Id: PKGBUILD 166401 2012-09-07 16:46:16Z tpowa $
# Maintainer: Tobias Powalowski <tpowa@archlinux.org>
pkgname=facile
pkgver=1.1
-pkgrel=13
+pkgrel=14
pkgdesc="A Functional Constraint Library"
arch=(i686 x86_64 'mips64el')
url="http://www.recherche.enac.fr/opti/facile/"
license="LGPL"
makedepends=('ocaml')
depends=()
-source=(http://www.recherche.enac.fr/opti/facile/distrib/$pkgname-$pkgver.tar.gz)
+source=(http://www.recherche.enac.fr/opti/facile/distrib/$pkgname-$pkgver.tar.gz
+ ocaml-facile-ocaml-4.patch)
+
md5sums=('ab673e1fc0859a42bcb639a02c2d7e9e')
build() {
cd $startdir/src/$pkgname-$pkgver
+ # fix ocaml4
+ patch -Np1 -i ../ocaml-facile-ocaml-4.patch
./configure
make || return 1
mkdir -p $startdir/pkg/usr/lib/ocaml/facile
cd src
install -D -m 644 facile.cmxa facile.cmi facile.cma facile.a $startdir/pkg/usr/lib/ocaml/facile
}
+md5sums=('ab673e1fc0859a42bcb639a02c2d7e9e'
+ '1ffc2f08c9f1db8ef0d444ec06f82b79')
diff --git a/extra/facile/ocaml-facile-ocaml-4.patch b/extra/facile/ocaml-facile-ocaml-4.patch
new file mode 100644
index 000000000..6006a16ba
--- /dev/null
+++ b/extra/facile/ocaml-facile-ocaml-4.patch
@@ -0,0 +1,25 @@
+diff -ur facile-1.1.old/src/facile.mli facile-1.1/src/facile.mli
+--- facile-1.1.old/src/facile.mli 2004-09-08 10:51:02.000000000 +0100
++++ facile-1.1/src/facile.mli 2012-06-10 21:06:41.553916954 +0100
+@@ -127,7 +127,7 @@
+ module Hashtbl :
+ sig
+ type ('a, 'b) t
+- val create : int -> ('a, 'b) t
++ val create : ?random:bool -> int -> ('a, 'b) t
+ val get : ('a, 'b) t -> ('a, 'b) Hashtbl.t
+ val add : ('a, 'b) t -> 'a -> 'b -> unit
+ val find : ('a, 'b) t -> 'a -> 'b
+Binary files facile-1.1.old/src/fcl_data.cmi and facile-1.1/src/fcl_data.cmi differ
+diff -ur facile-1.1.old/src/fcl_data.mli facile-1.1/src/fcl_data.mli
+--- facile-1.1.old/src/fcl_data.mli 2004-09-08 10:51:02.000000000 +0100
++++ facile-1.1/src/fcl_data.mli 2012-06-10 21:06:25.841590828 +0100
+@@ -23,7 +23,7 @@
+
+ module Hashtbl : sig
+ type ('a, 'b) t
+- val create : int -> ('a, 'b) t
++ val create : ?random:bool -> int -> ('a, 'b) t
+ val get : ('a, 'b) t -> ('a, 'b) Hashtbl.t
+ val add : ('a, 'b) t -> 'a -> 'b -> unit
+ val find : ('a, 'b) t -> 'a -> 'b