[arch-commits] Commit in facile/repos (6 files)
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 + +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.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 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 + +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-fa
[arch-commits] Commit in facile/repos (6 files)
Date: Tuesday, November 8, 2016 @ 15:00:37 Author: arojas Revision: 280249 archrelease: copy trunk to testing-i686, testing-x86_64 Added: facile/repos/testing-i686/PKGBUILD (from rev 280248, facile/trunk/PKGBUILD) facile/repos/testing-x86_64/PKGBUILD (from rev 280248, facile/trunk/PKGBUILD) Deleted: facile/repos/testing-i686/PKGBUILD facile/repos/testing-i686/ocaml-facile-ocaml-4.patch facile/repos/testing-x86_64/PKGBUILD facile/repos/testing-x86_64/ocaml-facile-ocaml-4.patch ---+ /PKGBUILD | 54 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 5 files changed, 54 insertions(+), 110 deletions(-) Deleted: testing-i686/PKGBUILD === --- testing-i686/PKGBUILD 2016-11-08 15:00:17 UTC (rev 280248) +++ testing-i686/PKGBUILD 2016-11-08 15:00:37 UTC (rev 280249) @@ -1,30 +0,0 @@ -# $Id$ -# Maintainer: Tobias Powalowski - -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/PKGBUILD (from rev 280248, facile/trunk/PKGBUILD) === --- testing-i686/PKGBUILD (rev 0) +++ testing-i686/PKGBUILD 2016-11-08 15:00:37 UTC (rev 280249) @@ -0,0 +1,27 @@ +# $Id$ +# Maintainer: Tobias Powalowski + +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) +md5sums=('1409fb5a725e491a6e8e60ad7484eeb1' + '1ffc2f08c9f1db8ef0d444ec06f82b79') + +build() { + cd "$srcdir/$pkgname-$pkgver" + ./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" +} Deleted: testing-i686/ocaml-facile-ocaml-4.patch === --- testing-i686/ocaml-facile-ocaml-4.patch 2016-11-08 15:00:17 UTC (rev 280248) +++ testing-i686/ocaml-facile-ocaml-4.patch 2016-11-08 15:00:37 UTC (rev 280249) @@ -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 Deleted: testing-x86_64/PKGBUILD === --- testing-x86_64/PKGBUILD 2016-11-08 15:00:17 UTC (rev 280248) +++ testing-x86_64/PKGBUILD 2016-11-08 15:00:37 UTC (rev 280249) @@ -1,30 +0,0 @@ -# $Id$ -# Maintainer: Tobias Powalowski - -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
[arch-commits] Commit in facile/repos (6 files)
Date: Monday, October 7, 2013 @ 08:58:58 Author: tpowa Revision: 195981 archrelease: copy trunk to staging-i686, staging-x86_64 Added: facile/repos/staging-i686/ facile/repos/staging-i686/PKGBUILD (from rev 195980, facile/trunk/PKGBUILD) facile/repos/staging-i686/ocaml-facile-ocaml-4.patch (from rev 195980, facile/trunk/ocaml-facile-ocaml-4.patch) facile/repos/staging-x86_64/ facile/repos/staging-x86_64/PKGBUILD (from rev 195980, facile/trunk/PKGBUILD) facile/repos/staging-x86_64/ocaml-facile-ocaml-4.patch (from rev 195980, facile/trunk/ocaml-facile-ocaml-4.patch) ---+ staging-i686/PKGBUILD | 30 staging-i686/ocaml-facile-ocaml-4.patch | 25 +++ staging-x86_64/PKGBUILD | 30 staging-x86_64/ocaml-facile-ocaml-4.patch | 25 +++ 4 files changed, 110 insertions(+) Copied: facile/repos/staging-i686/PKGBUILD (from rev 195980, facile/trunk/PKGBUILD) === --- staging-i686/PKGBUILD (rev 0) +++ staging-i686/PKGBUILD 2013-10-07 06:58:58 UTC (rev 195981) @@ -0,0 +1,30 @@ +# $Id$ +# Maintainer: Tobias Powalowski + +pkgname=facile +pkgver=1.1 +pkgrel=16 +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 +ocaml-facile-ocaml-4.patch) +md5sums=('ab673e1fc0859a42bcb639a02c2d7e9e' + '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/staging-i686/ocaml-facile-ocaml-4.patch (from rev 195980, facile/trunk/ocaml-facile-ocaml-4.patch) === --- staging-i686/ocaml-facile-ocaml-4.patch (rev 0) +++ staging-i686/ocaml-facile-ocaml-4.patch 2013-10-07 06:58:58 UTC (rev 195981) @@ -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 Copied: facile/repos/staging-x86_64/PKGBUILD (from rev 195980, facile/trunk/PKGBUILD) === --- staging-x86_64/PKGBUILD (rev 0) +++ staging-x86_64/PKGBUILD 2013-10-07 06:58:58 UTC (rev 195981) @@ -0,0 +1,30 @@ +# $Id$ +# Maintainer: Tobias Powalowski + +pkgname=facile +pkgver=1.1 +pkgrel=16 +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 +ocaml-facile-ocaml-4.patch) +md5sums=('ab673e1fc0859a42bcb639a02c2d7e9e' + '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/staging-x86_64/ocaml-facile-ocaml-4.patch (from rev 195980, facile/trunk/ocaml-facile-ocaml-4.patch) === --- staging-x86_64/ocaml-facile-ocaml-4.patch (rev 0) +++ staging-x86_64/ocaml-f
[arch-commits] Commit in facile/repos (6 files)
Date: Friday, September 7, 2012 @ 12:46:16 Author: tpowa Revision: 166401 archrelease: copy trunk to extra-i686, extra-x86_64 Added: facile/repos/extra-i686/PKGBUILD (from rev 166400, facile/trunk/PKGBUILD) facile/repos/extra-i686/ocaml-facile-ocaml-4.patch (from rev 166400, facile/trunk/ocaml-facile-ocaml-4.patch) facile/repos/extra-x86_64/PKGBUILD (from rev 166400, facile/trunk/PKGBUILD) facile/repos/extra-x86_64/ocaml-facile-ocaml-4.patch (from rev 166400, facile/trunk/ocaml-facile-ocaml-4.patch) Deleted: facile/repos/extra-i686/PKGBUILD facile/repos/extra-x86_64/PKGBUILD -+ extra-i686/PKGBUILD | 52 -- extra-i686/ocaml-facile-ocaml-4.patch | 25 ++ extra-x86_64/PKGBUILD | 52 -- extra-x86_64/ocaml-facile-ocaml-4.patch | 25 ++ 4 files changed, 108 insertions(+), 46 deletions(-) Deleted: extra-i686/PKGBUILD === --- extra-i686/PKGBUILD 2012-09-07 16:45:50 UTC (rev 166400) +++ extra-i686/PKGBUILD 2012-09-07 16:46:16 UTC (rev 166401) @@ -1,23 +0,0 @@ -# $Id$ -# Maintainer: Tobias Powalowski - -pkgname=facile -pkgver=1.1 -pkgrel=13 -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) -md5sums=('ab673e1fc0859a42bcb639a02c2d7e9e') - -build() { - cd $startdir/src/$pkgname-$pkgver - ./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 -} Copied: facile/repos/extra-i686/PKGBUILD (from rev 166400, facile/trunk/PKGBUILD) === --- extra-i686/PKGBUILD (rev 0) +++ extra-i686/PKGBUILD 2012-09-07 16:46:16 UTC (rev 166401) @@ -0,0 +1,29 @@ +# $Id$ +# Maintainer: Tobias Powalowski + +pkgname=facile +pkgver=1.1 +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 +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') Copied: facile/repos/extra-i686/ocaml-facile-ocaml-4.patch (from rev 166400, facile/trunk/ocaml-facile-ocaml-4.patch) === --- extra-i686/ocaml-facile-ocaml-4.patch (rev 0) +++ extra-i686/ocaml-facile-ocaml-4.patch 2012-09-07 16:46:16 UTC (rev 166401) @@ -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 Deleted: extra-x86_64/PKGBUILD === --- extra-x86_64/PKGBUILD 2012-09-07 16:45:50 UTC (rev 166400) +++ extra-x86_64/PKGBUILD 2012-09-07 16:46:16 UTC (rev 166401) @@ -1,23 +0,0 @@ -# $Id$ -# Maintainer: Tobias Powalowski - -pkgname=facile -pkgver=1.1 -pkgrel=13 -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.recherc