diff options
author | root <root@rshg054.dnsready.net> | 2012-09-09 00:11:39 +0000 |
---|---|---|
committer | root <root@rshg054.dnsready.net> | 2012-09-09 00:11:39 +0000 |
commit | dda96ce532ef99400e2b7703a0f538771b36b624 (patch) | |
tree | bcffb5a34db2fb09c3ca6eb1dfe557292566ddb6 /extra/facile | |
parent | c85b504e8916411d424cd3fc654ff879237d529e (diff) |
Sun Sep 9 00:11:39 UTC 2012
Diffstat (limited to 'extra/facile')
-rw-r--r-- | extra/facile/PKGBUILD | 12 | ||||
-rw-r--r-- | extra/facile/ocaml-facile-ocaml-4.patch | 25 |
2 files changed, 34 insertions, 3 deletions
diff --git a/extra/facile/PKGBUILD b/extra/facile/PKGBUILD index dc128d465..9de25cd83 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) 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 |