[arch-commits] Commit in facile/repos (6 files)
Antonio Rojas
arojas at archlinux.org
Tue Nov 8 14:59:52 UTC 2016
Date: Tuesday, November 8, 2016 @ 14:59:51
Author: arojas
Revision: 280247
archrelease: copy trunk to testing-i686, testing-x86_64
Added:
facile/repos/testing-i686/
facile/repos/testing-i686/PKGBUILD
(from rev 280246, facile/trunk/PKGBUILD)
facile/repos/testing-i686/ocaml-facile-ocaml-4.patch
(from rev 280246, facile/trunk/ocaml-facile-ocaml-4.patch)
facile/repos/testing-x86_64/
facile/repos/testing-x86_64/PKGBUILD
(from rev 280246, facile/trunk/PKGBUILD)
facile/repos/testing-x86_64/ocaml-facile-ocaml-4.patch
(from rev 280246, facile/trunk/ocaml-facile-ocaml-4.patch)
-------------------------------------------+
testing-i686/PKGBUILD | 30 ++++++++++++++++++++++++++++
testing-i686/ocaml-facile-ocaml-4.patch | 25 +++++++++++++++++++++++
testing-x86_64/PKGBUILD | 30 ++++++++++++++++++++++++++++
testing-x86_64/ocaml-facile-ocaml-4.patch | 25 +++++++++++++++++++++++
4 files changed, 110 insertions(+)
Copied: facile/repos/testing-i686/PKGBUILD (from rev 280246, facile/trunk/PKGBUILD)
===================================================================
--- testing-i686/PKGBUILD (rev 0)
+++ testing-i686/PKGBUILD 2016-11-08 14:59:51 UTC (rev 280247)
@@ -0,0 +1,30 @@
+# $Id$
+# Maintainer: Tobias Powalowski <tpowa at archlinux.org>
+
+pkgname=facile
+pkgver=1.1.2
+pkgrel=1
+pkgdesc="A Functional Constraint Library"
+arch=(i686 x86_64)
+url="http://www.recherche.enac.fr/opti/facile/"
+license=("LGPL")
+makedepends=('ocaml')
+depends=()
+source=(http://opti.recherche.enac.fr/facile/distrib/$pkgname-$pkgver.tar.gz
+ ocaml-facile-ocaml-4.patch)
+md5sums=('1409fb5a725e491a6e8e60ad7484eeb1'
+ '1ffc2f08c9f1db8ef0d444ec06f82b79')
+
+build() {
+ cd "$srcdir/$pkgname-$pkgver"
+ # fix ocaml4
+# patch -Np1 -i ../ocaml-facile-ocaml-4.patch
+ ./configure
+ make
+}
+
+package() {
+ cd "$srcdir/$pkgname-$pkgver/src"
+ install -d "$pkgdir/usr/lib/ocaml/facile"
+ install -D -m 644 facile.cmxa facile.cmi facile.cma facile.a "$pkgdir/usr/lib/ocaml/facile"
+}
Copied: facile/repos/testing-i686/ocaml-facile-ocaml-4.patch (from rev 280246, facile/trunk/ocaml-facile-ocaml-4.patch)
===================================================================
--- testing-i686/ocaml-facile-ocaml-4.patch (rev 0)
+++ testing-i686/ocaml-facile-ocaml-4.patch 2016-11-08 14:59:51 UTC (rev 280247)
@@ -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
Copied: facile/repos/testing-x86_64/PKGBUILD (from rev 280246, facile/trunk/PKGBUILD)
===================================================================
--- testing-x86_64/PKGBUILD (rev 0)
+++ testing-x86_64/PKGBUILD 2016-11-08 14:59:51 UTC (rev 280247)
@@ -0,0 +1,30 @@
+# $Id$
+# Maintainer: Tobias Powalowski <tpowa at archlinux.org>
+
+pkgname=facile
+pkgver=1.1.2
+pkgrel=1
+pkgdesc="A Functional Constraint Library"
+arch=(i686 x86_64)
+url="http://www.recherche.enac.fr/opti/facile/"
+license=("LGPL")
+makedepends=('ocaml')
+depends=()
+source=(http://opti.recherche.enac.fr/facile/distrib/$pkgname-$pkgver.tar.gz
+ ocaml-facile-ocaml-4.patch)
+md5sums=('1409fb5a725e491a6e8e60ad7484eeb1'
+ '1ffc2f08c9f1db8ef0d444ec06f82b79')
+
+build() {
+ cd "$srcdir/$pkgname-$pkgver"
+ # fix ocaml4
+# patch -Np1 -i ../ocaml-facile-ocaml-4.patch
+ ./configure
+ make
+}
+
+package() {
+ cd "$srcdir/$pkgname-$pkgver/src"
+ install -d "$pkgdir/usr/lib/ocaml/facile"
+ install -D -m 644 facile.cmxa facile.cmi facile.cma facile.a "$pkgdir/usr/lib/ocaml/facile"
+}
Copied: facile/repos/testing-x86_64/ocaml-facile-ocaml-4.patch (from rev 280246, facile/trunk/ocaml-facile-ocaml-4.patch)
===================================================================
--- testing-x86_64/ocaml-facile-ocaml-4.patch (rev 0)
+++ testing-x86_64/ocaml-facile-ocaml-4.patch 2016-11-08 14:59:51 UTC (rev 280247)
@@ -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
More information about the arch-commits
mailing list