[arch-commits] Commit in facile/trunk (PKGBUILD ocaml-facile-ocaml-4.patch)
Date: Tuesday, November 8, 2016 @ 15:00:17
Author: arojas
Revision: 280248
No longer needed
Modified:
facile/trunk/PKGBUILD
Deleted:
facile/trunk/ocaml-facile-ocaml-4.patch
+
PKGBUILD |5 +
ocaml-facile-ocaml-4.patch | 25 -
2 files changed, 1 insertion(+), 29 deletions(-)
Modified: PKGBUILD
===
--- PKGBUILD2016-11-08 14:59:51 UTC (rev 280247)
+++ PKGBUILD2016-11-08 15:00:17 UTC (rev 280248)
@@ -10,15 +10,12 @@
license=("LGPL")
makedepends=('ocaml')
depends=()
-source=(http://opti.recherche.enac.fr/facile/distrib/$pkgname-$pkgver.tar.gz
-ocaml-facile-ocaml-4.patch)
+source=(http://opti.recherche.enac.fr/facile/distrib/$pkgname-$pkgver.tar.gz)
md5sums=('1409fb5a725e491a6e8e60ad7484eeb1'
'1ffc2f08c9f1db8ef0d444ec06f82b79')
build() {
cd "$srcdir/$pkgname-$pkgver"
- # fix ocaml4
-# patch -Np1 -i ../ocaml-facile-ocaml-4.patch
./configure
make
}
Deleted: ocaml-facile-ocaml-4.patch
===
--- ocaml-facile-ocaml-4.patch 2016-11-08 14:59:51 UTC (rev 280247)
+++ ocaml-facile-ocaml-4.patch 2016-11-08 15:00:17 UTC (rev 280248)
@@ -1,25 +0,0 @@
-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.0 +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.mli2004-09-08 10:51:02.0 +0100
-+++ facile-1.1/src/fcl_data.mli2012-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
[arch-commits] Commit in facile/trunk (PKGBUILD ocaml-facile-ocaml-4.patch)
Date: Friday, September 7, 2012 @ 12:45:50
Author: tpowa
Revision: 166400
upgpkg: facile 1.1-14
rebuild against ocaml4
Added:
facile/trunk/ocaml-facile-ocaml-4.patch
Modified:
facile/trunk/PKGBUILD
+
PKGBUILD | 10 --
ocaml-facile-ocaml-4.patch | 25 +
2 files changed, 33 insertions(+), 2 deletions(-)
Modified: PKGBUILD
===
--- PKGBUILD2012-09-07 16:43:18 UTC (rev 166399)
+++ PKGBUILD2012-09-07 16:45:50 UTC (rev 166400)
@@ -3,21 +3,27 @@
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')
Added: ocaml-facile-ocaml-4.patch
===
--- ocaml-facile-ocaml-4.patch (rev 0)
+++ ocaml-facile-ocaml-4.patch 2012-09-07 16:45:50 UTC (rev 166400)
@@ -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.0 +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.mli2004-09-08 10:51:02.0 +0100
facile-1.1/src/fcl_data.mli2012-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
