[arch-commits] Commit in facile/trunk (PKGBUILD)

2020-09-30 Thread Antonio Rojas via arch-commits 
Date: Wednesday, September 30, 2020 @ 14:01:30
  Author: arojas
Revision: 397004

ocaml 4.11.1 rebuild (FS#68056)

Modified:
  facile/trunk/PKGBUILD

--+
 PKGBUILD |2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

Modified: PKGBUILD
===
--- PKGBUILD2020-09-30 13:19:49 UTC (rev 397003)
+++ PKGBUILD2020-09-30 14:01:30 UTC (rev 397004)
@@ -2,7 +2,7 @@
 
 pkgname=facile
 pkgver=1.1.3
-pkgrel=11
+pkgrel=12
 pkgdesc="A Functional Constraint Library"
 arch=(x86_64)
 url="http://www.recherche.enac.fr/opti/facile/";

[arch-commits] Commit in facile/trunk (PKGBUILD)

2020-08-29 Thread Jürgen Hötzel via arch-commits 
Date: Saturday, August 29, 2020 @ 12:57:13
  Author: juergen
Revision: 394874

OCaml 4.11.0 rebuild

Modified:
  facile/trunk/PKGBUILD

--+
 PKGBUILD |2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

Modified: PKGBUILD
===
--- PKGBUILD2020-08-29 12:54:20 UTC (rev 394873)
+++ PKGBUILD2020-08-29 12:57:13 UTC (rev 394874)
@@ -2,7 +2,7 @@
 
 pkgname=facile
 pkgver=1.1.3
-pkgrel=10
+pkgrel=11
 pkgdesc="A Functional Constraint Library"
 arch=(x86_64)
 url="http://www.recherche.enac.fr/opti/facile/";

[arch-commits] Commit in facile/trunk (PKGBUILD)

2020-05-18 Thread Jürgen Hötzel via arch-commits 
Date: Monday, May 18, 2020 @ 17:20:42
  Author: juergen
Revision: 385466

Rebuild/Update to OCaml 4.10.0

Modified:
  facile/trunk/PKGBUILD

--+
 PKGBUILD |2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

Modified: PKGBUILD
===
--- PKGBUILD2020-05-18 17:19:59 UTC (rev 385465)
+++ PKGBUILD2020-05-18 17:20:42 UTC (rev 385466)
@@ -2,7 +2,7 @@
 
 pkgname=facile
 pkgver=1.1.3
-pkgrel=9
+pkgrel=10
 pkgdesc="A Functional Constraint Library"
 arch=(x86_64)
 url="http://www.recherche.enac.fr/opti/facile/";

[arch-commits] Commit in facile/trunk (PKGBUILD)

2020-03-21 Thread Felix Yan via arch-commits 
Date: Saturday, March 21, 2020 @ 18:45:03
  Author: felixonmars
Revision: 378290

upgpkg: facile 1.1.3-9: rebuild with ocaml 4.09.1

Modified:
  facile/trunk/PKGBUILD

--+
 PKGBUILD |2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

Modified: PKGBUILD
===
--- PKGBUILD2020-03-21 18:44:07 UTC (rev 378289)
+++ PKGBUILD2020-03-21 18:45:03 UTC (rev 378290)
@@ -2,7 +2,7 @@
 
 pkgname=facile
 pkgver=1.1.3
-pkgrel=8
+pkgrel=9
 pkgdesc="A Functional Constraint Library"
 arch=(x86_64)
 url="http://www.recherche.enac.fr/opti/facile/";

[arch-commits] Commit in facile/trunk (PKGBUILD)

2020-03-19 Thread Antonio Rojas via arch-commits 
Date: Thursday, March 19, 2020 @ 14:24:14
  Author: arojas
Revision: 377922

ocaml 4.09.1 rebuild

Modified:
  facile/trunk/PKGBUILD

--+
 PKGBUILD |2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

Modified: PKGBUILD
===
--- PKGBUILD2020-03-19 14:17:18 UTC (rev 377921)
+++ PKGBUILD2020-03-19 14:24:14 UTC (rev 377922)
@@ -2,7 +2,7 @@
 
 pkgname=facile
 pkgver=1.1.3
-pkgrel=7
+pkgrel=8
 pkgdesc="A Functional Constraint Library"
 arch=(x86_64)
 url="http://www.recherche.enac.fr/opti/facile/";

[arch-commits] Commit in facile/trunk (PKGBUILD)

2019-10-12 Thread Antonio Rojas via arch-commits 
Date: Saturday, October 12, 2019 @ 17:09:14
  Author: arojas
Revision: 364687

Update source URL (FS#64109)

Modified:
  facile/trunk/PKGBUILD

--+
 PKGBUILD |2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

Modified: PKGBUILD
===
--- PKGBUILD2019-10-12 16:41:39 UTC (rev 364686)
+++ PKGBUILD2019-10-12 17:09:14 UTC (rev 364687)
@@ -9,7 +9,7 @@
 license=("LGPL")
 makedepends=('ocaml-compiler-libs')
 depends=()
-source=(http://opti.recherche.enac.fr/facile/distrib/$pkgname-$pkgver.tar.gz)
+source=(http://facile.recherche.enac.fr/distrib/$pkgname-$pkgver.tar.gz)
 md5sums=('172c4fbea636a8fa575b988390639d8d')
 
 build() {

[arch-commits] Commit in facile/trunk (PKGBUILD)

2019-10-12 Thread Antonio Rojas via arch-commits 
Date: Saturday, October 12, 2019 @ 09:10:42
  Author: arojas
Revision: 364670

ocaml 4.09 rebuild

Modified:
  facile/trunk/PKGBUILD

--+
 PKGBUILD |2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

Modified: PKGBUILD
===
--- PKGBUILD2019-10-11 23:44:00 UTC (rev 364669)
+++ PKGBUILD2019-10-12 09:10:42 UTC (rev 364670)
@@ -2,7 +2,7 @@
 
 pkgname=facile
 pkgver=1.1.3
-pkgrel=6
+pkgrel=7
 pkgdesc="A Functional Constraint Library"
 arch=(x86_64)
 url="http://www.recherche.enac.fr/opti/facile/";

[arch-commits] Commit in facile/trunk (PKGBUILD)

2019-08-25 Thread Antonio Rojas via arch-commits 
Date: Sunday, August 25, 2019 @ 11:29:36
  Author: arojas
Revision: 361150

ocaml 4.08 rebuild

Modified:
  facile/trunk/PKGBUILD

--+
 PKGBUILD |2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

Modified: PKGBUILD
===
--- PKGBUILD2019-08-25 09:56:07 UTC (rev 361149)
+++ PKGBUILD2019-08-25 11:29:36 UTC (rev 361150)
@@ -2,7 +2,7 @@
 
 pkgname=facile
 pkgver=1.1.3
-pkgrel=5
+pkgrel=6
 pkgdesc="A Functional Constraint Library"
 arch=(x86_64)
 url="http://www.recherche.enac.fr/opti/facile/";

[arch-commits] Commit in facile/trunk (PKGBUILD)

2018-11-29 Thread Antonio Rojas via arch-commits 
Date: Thursday, November 29, 2018 @ 10:06:16
  Author: arojas
Revision: 340601

ocaml 4.07 rebuild

Modified:
  facile/trunk/PKGBUILD

--+
 PKGBUILD |2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

Modified: PKGBUILD
===
--- PKGBUILD2018-11-29 10:01:28 UTC (rev 340600)
+++ PKGBUILD2018-11-29 10:06:16 UTC (rev 340601)
@@ -2,7 +2,7 @@
 
 pkgname=facile
 pkgver=1.1.3
-pkgrel=4
+pkgrel=5
 pkgdesc="A Functional Constraint Library"
 arch=(x86_64)
 url="http://www.recherche.enac.fr/opti/facile/";

[arch-commits] Commit in facile/trunk (PKGBUILD)

2018-08-17 Thread Antonio Rojas via arch-commits 
Date: Friday, August 17, 2018 @ 11:30:18
  Author: arojas
Revision: 331651

Rebuild with ocaml 4.07

Modified:
  facile/trunk/PKGBUILD

--+
 PKGBUILD |2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

Modified: PKGBUILD
===
--- PKGBUILD2018-08-17 10:58:58 UTC (rev 331650)
+++ PKGBUILD2018-08-17 11:30:18 UTC (rev 331651)
@@ -3,7 +3,7 @@
 
 pkgname=facile
 pkgver=1.1.3
-pkgrel=3
+pkgrel=4
 pkgdesc="A Functional Constraint Library"
 arch=(x86_64)
 url="http://www.recherche.enac.fr/opti/facile/";

[arch-commits] Commit in facile/trunk (PKGBUILD)

2018-01-24 Thread Antonio Rojas via arch-commits 
Date: Wednesday, January 24, 2018 @ 19:40:23
  Author: arojas
Revision: 315415

ocaml 4.06 rebuild

Modified:
  facile/trunk/PKGBUILD

--+
 PKGBUILD |4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

Modified: PKGBUILD
===
--- PKGBUILD2018-01-24 19:15:22 UTC (rev 315414)
+++ PKGBUILD2018-01-24 19:40:23 UTC (rev 315415)
@@ -3,12 +3,12 @@
 
 pkgname=facile
 pkgver=1.1.3
-pkgrel=2
+pkgrel=3
 pkgdesc="A Functional Constraint Library"
 arch=(x86_64)
 url="http://www.recherche.enac.fr/opti/facile/";
 license=("LGPL")
-makedepends=('ocaml')
+makedepends=('ocaml-compiler-libs')
 depends=()
 source=(http://opti.recherche.enac.fr/facile/distrib/$pkgname-$pkgver.tar.gz)
 md5sums=('172c4fbea636a8fa575b988390639d8d')

[arch-commits] Commit in facile/trunk (PKGBUILD)

2017-07-17 Thread Antonio Rojas 
Date: Monday, July 17, 2017 @ 15:50:40
  Author: arojas
Revision: 300699

Rebuild with ocaml 4.05

Modified:
  facile/trunk/PKGBUILD

--+
 PKGBUILD |2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

Modified: PKGBUILD
===
--- PKGBUILD2017-07-17 15:06:50 UTC (rev 300698)
+++ PKGBUILD2017-07-17 15:50:40 UTC (rev 300699)
@@ -3,7 +3,7 @@
 
 pkgname=facile
 pkgver=1.1.3
-pkgrel=1
+pkgrel=2
 pkgdesc="A Functional Constraint Library"
 arch=(i686 x86_64)
 url="http://www.recherche.enac.fr/opti/facile/";

[arch-commits] Commit in facile/trunk (PKGBUILD)

2017-07-12 Thread Antonio Rojas 
Date: Wednesday, July 12, 2017 @ 17:38:14
  Author: arojas
Revision: 300167

PIE rebuild

Modified:
  facile/trunk/PKGBUILD

--+
 PKGBUILD |6 +++---
 1 file changed, 3 insertions(+), 3 deletions(-)

Modified: PKGBUILD
===
--- PKGBUILD2017-07-12 17:37:00 UTC (rev 300166)
+++ PKGBUILD2017-07-12 17:38:14 UTC (rev 300167)
@@ -2,8 +2,8 @@
 # Maintainer: Tobias Powalowski 
 
 pkgname=facile
-pkgver=1.1.2
-pkgrel=2
+pkgver=1.1.3
+pkgrel=1
 pkgdesc="A Functional Constraint Library"
 arch=(i686 x86_64)
 url="http://www.recherche.enac.fr/opti/facile/";
@@ -11,7 +11,7 @@
 makedepends=('ocaml')
 depends=()
 source=(http://opti.recherche.enac.fr/facile/distrib/$pkgname-$pkgver.tar.gz)
-md5sums=('1409fb5a725e491a6e8e60ad7484eeb1')
+md5sums=('172c4fbea636a8fa575b988390639d8d')
 
 build() {
   cd "$srcdir/$pkgname-$pkgver"

[arch-commits] Commit in facile/trunk (PKGBUILD)

2016-11-18 Thread Antonio Rojas 
Date: Friday, November 18, 2016 @ 20:46:50
  Author: arojas
Revision: 281260

ocaml 4.04 rebuild

Modified:
  facile/trunk/PKGBUILD

--+
 PKGBUILD |5 ++---
 1 file changed, 2 insertions(+), 3 deletions(-)

Modified: PKGBUILD
===
--- PKGBUILD2016-11-18 20:36:52 UTC (rev 281259)
+++ PKGBUILD2016-11-18 20:46:50 UTC (rev 281260)
@@ -3,7 +3,7 @@
 
 pkgname=facile
 pkgver=1.1.2
-pkgrel=1
+pkgrel=2
 pkgdesc="A Functional Constraint Library"
 arch=(i686 x86_64)
 url="http://www.recherche.enac.fr/opti/facile/";
@@ -11,8 +11,7 @@
 makedepends=('ocaml')
 depends=()
 source=(http://opti.recherche.enac.fr/facile/distrib/$pkgname-$pkgver.tar.gz)
-md5sums=('1409fb5a725e491a6e8e60ad7484eeb1'
- '1ffc2f08c9f1db8ef0d444ec06f82b79')
+md5sums=('1409fb5a725e491a6e8e60ad7484eeb1')
 
 build() {
   cd "$srcdir/$pkgname-$pkgver"

[arch-commits] Commit in facile/trunk (PKGBUILD ocaml-facile-ocaml-4.patch)

2016-11-08 Thread Antonio Rojas 
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)

2016-11-08 Thread Antonio Rojas 
Date: Tuesday, November 8, 2016 @ 14:59:10
  Author: arojas
Revision: 280246

ocaml 4.03 rebuild

Modified:
  facile/trunk/PKGBUILD

--+
 PKGBUILD |   10 +-
 1 file changed, 5 insertions(+), 5 deletions(-)

Modified: PKGBUILD
===
--- PKGBUILD2016-11-08 12:44:43 UTC (rev 280245)
+++ PKGBUILD2016-11-08 14:59:10 UTC (rev 280246)
@@ -2,8 +2,8 @@
 # Maintainer: Tobias Powalowski 
 
 pkgname=facile
-pkgver=1.1
-pkgrel=20
+pkgver=1.1.2
+pkgrel=1
 pkgdesc="A Functional Constraint Library"
 arch=(i686 x86_64)
 url="http://www.recherche.enac.fr/opti/facile/";
@@ -10,15 +10,15 @@
 license=("LGPL")
 makedepends=('ocaml')
 depends=()
-source=(http://www.recherche.enac.fr/opti/facile/distrib/$pkgname-$pkgver.tar.gz
+source=(http://opti.recherche.enac.fr/facile/distrib/$pkgname-$pkgver.tar.gz
 ocaml-facile-ocaml-4.patch)
-md5sums=('ab673e1fc0859a42bcb639a02c2d7e9e'
+md5sums=('1409fb5a725e491a6e8e60ad7484eeb1'
  '1ffc2f08c9f1db8ef0d444ec06f82b79')
 
 build() {
   cd "$srcdir/$pkgname-$pkgver"
   # fix ocaml4
-  patch -Np1 -i ../ocaml-facile-ocaml-4.patch
+#  patch -Np1 -i ../ocaml-facile-ocaml-4.patch
   ./configure
   make
 }

[arch-commits] Commit in facile/trunk (PKGBUILD)

2015-09-12 Thread Antonio Rojas 
Date: Saturday, September 12, 2015 @ 10:36:29
  Author: arojas
Revision: 245988

ocaml 4.02.3 rebuild

Modified:
  facile/trunk/PKGBUILD

--+
 PKGBUILD |2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

Modified: PKGBUILD
===
--- PKGBUILD2015-09-12 07:03:21 UTC (rev 245987)
+++ PKGBUILD2015-09-12 08:36:29 UTC (rev 245988)
@@ -3,7 +3,7 @@
 
 pkgname=facile
 pkgver=1.1
-pkgrel=19
+pkgrel=20
 pkgdesc="A Functional Constraint Library"
 arch=(i686 x86_64)
 url="http://www.recherche.enac.fr/opti/facile/";

[arch-commits] Commit in facile/trunk (PKGBUILD)

2015-03-26 Thread Antonio Rojas 
Date: Thursday, March 26, 2015 @ 23:35:11
  Author: arojas
Revision: 234994

Rebuild to fix missing library (FS#42454)

Modified:
  facile/trunk/PKGBUILD

--+
 PKGBUILD |2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

Modified: PKGBUILD
===
--- PKGBUILD2015-03-26 22:28:22 UTC (rev 234993)
+++ PKGBUILD2015-03-26 22:35:11 UTC (rev 234994)
@@ -3,7 +3,7 @@
 
 pkgname=facile
 pkgver=1.1
-pkgrel=18
+pkgrel=19
 pkgdesc="A Functional Constraint Library"
 arch=(i686 x86_64)
 url="http://www.recherche.enac.fr/opti/facile/";

[arch-commits] Commit in facile/trunk (PKGBUILD)

2014-09-09 Thread Tobias Powalowski 
Date: Tuesday, September 9, 2014 @ 16:08:41
  Author: tpowa
Revision: 221337

upgpkg: facile 1.1-18

rebuild against ocaml-4.02.0-1

Modified:
  facile/trunk/PKGBUILD

--+
 PKGBUILD |2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

Modified: PKGBUILD
===
--- PKGBUILD2014-09-09 14:08:26 UTC (rev 221336)
+++ PKGBUILD2014-09-09 14:08:41 UTC (rev 221337)
@@ -3,7 +3,7 @@
 
 pkgname=facile
 pkgver=1.1
-pkgrel=16
+pkgrel=18
 pkgdesc="A Functional Constraint Library"
 arch=(i686 x86_64)
 url="http://www.recherche.enac.fr/opti/facile/";

[arch-commits] Commit in facile/trunk (PKGBUILD)

2013-10-06 Thread Tobias Powalowski 
Date: Monday, October 7, 2013 @ 08:58:31
  Author: tpowa
Revision: 195980

upgpkg: facile 1.1-16

rebuild against ocaml 4.01

Modified:
  facile/trunk/PKGBUILD

--+
 PKGBUILD |2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

Modified: PKGBUILD
===
--- PKGBUILD2013-10-07 06:56:13 UTC (rev 195979)
+++ PKGBUILD2013-10-07 06:58:31 UTC (rev 195980)
@@ -3,7 +3,7 @@
 
 pkgname=facile
 pkgver=1.1
-pkgrel=15
+pkgrel=16
 pkgdesc="A Functional Constraint Library"
 arch=(i686 x86_64)
 url="http://www.recherche.enac.fr/opti/facile/";

[arch-commits] Commit in facile/trunk (PKGBUILD)

2013-02-06 Thread Eric Bélanger 
Date: Thursday, February 7, 2013 @ 06:31:54
  Author: eric
Revision: 177539

Use array for license field

Modified:
  facile/trunk/PKGBUILD

--+
 PKGBUILD |2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

Modified: PKGBUILD
===
--- PKGBUILD2013-02-07 05:30:23 UTC (rev 177538)
+++ PKGBUILD2013-02-07 05:31:54 UTC (rev 177539)
@@ -7,7 +7,7 @@
 pkgdesc="A Functional Constraint Library"
 arch=(i686 x86_64)
 url="http://www.recherche.enac.fr/opti/facile/";
-license="LGPL"
+license=("LGPL")
 makedepends=('ocaml')
 depends=()
 
source=(http://www.recherche.enac.fr/opti/facile/distrib/$pkgname-$pkgver.tar.gz

[arch-commits] Commit in facile/trunk (PKGBUILD)

2013-02-06 Thread Eric Bélanger 
Date: Thursday, February 7, 2013 @ 06:29:19
  Author: eric
Revision: 177536

Remove $startdir, Add package function

Modified:
  facile/trunk/PKGBUILD

--+
 PKGBUILD |   19 ++-
 1 file changed, 10 insertions(+), 9 deletions(-)

Modified: PKGBUILD
===
--- PKGBUILD2013-02-07 02:40:42 UTC (rev 177535)
+++ PKGBUILD2013-02-07 05:29:19 UTC (rev 177536)
@@ -12,18 +12,19 @@
 depends=()
 
source=(http://www.recherche.enac.fr/opti/facile/distrib/$pkgname-$pkgver.tar.gz
 ocaml-facile-ocaml-4.patch)
+md5sums=('ab673e1fc0859a42bcb639a02c2d7e9e'
+ '1ffc2f08c9f1db8ef0d444ec06f82b79')
 
-md5sums=('ab673e1fc0859a42bcb639a02c2d7e9e')
-
 build() {
-  cd $startdir/src/$pkgname-$pkgver
+  cd "$srcdir/$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
+  make
 }
-md5sums=('ab673e1fc0859a42bcb639a02c2d7e9e'
- '1ffc2f08c9f1db8ef0d444ec06f82b79')
+
+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"
+}

[arch-commits] Commit in facile/trunk (PKGBUILD)

2012-10-12 Thread Tobias Powalowski 
Date: Friday, October 12, 2012 @ 09:05:48
  Author: tpowa
Revision: 168477

upgpkg: facile 1.1-15

rebuild against new ocaml

Modified:
  facile/trunk/PKGBUILD

--+
 PKGBUILD |2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

Modified: PKGBUILD
===
--- PKGBUILD2012-10-12 12:47:54 UTC (rev 168476)
+++ PKGBUILD2012-10-12 13:05:48 UTC (rev 168477)
@@ -3,7 +3,7 @@
 
 pkgname=facile
 pkgver=1.1
-pkgrel=14
+pkgrel=15
 pkgdesc="A Functional Constraint Library"
 arch=(i686 x86_64)
 url="http://www.recherche.enac.fr/opti/facile/";

[arch-commits] Commit in facile/trunk (PKGBUILD ocaml-facile-ocaml-4.patch)

2012-09-07 Thread Tobias Powalowski 
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

[arch-commits] Commit in facile/trunk (PKGBUILD)

2011-08-16 Thread Tobias Powalowski 
Date: Wednesday, August 17, 2011 @ 02:52:54
  Author: tpowa
Revision: 135658

upgpkg: facile 1.1-13

rebuild against latest ocaml

Modified:
  facile/trunk/PKGBUILD

--+
 PKGBUILD |2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

Modified: PKGBUILD
===
--- PKGBUILD2011-08-17 06:43:27 UTC (rev 135657)
+++ PKGBUILD2011-08-17 06:52:54 UTC (rev 135658)
@@ -3,7 +3,7 @@
 
 pkgname=facile
 pkgver=1.1
-pkgrel=12
+pkgrel=13
 pkgdesc="A Functional Constraint Library"
 arch=(i686 x86_64)
 url="http://www.recherche.enac.fr/opti/facile/";

[arch-commits] Commit in facile/trunk (PKGBUILD)

2010-08-19 Thread Tobias Powalowski 
Date: Thursday, August 19, 2010 @ 10:40:05
  Author: tpowa
Revision: 88117

upgpkg: facile 1.1-12
rebuild against latest ocaml

Modified:
  facile/trunk/PKGBUILD

--+
 PKGBUILD |2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

Modified: PKGBUILD
===
--- PKGBUILD2010-08-19 14:32:44 UTC (rev 88116)
+++ PKGBUILD2010-08-19 14:40:05 UTC (rev 88117)
@@ -3,7 +3,7 @@
 
 pkgname=facile
 pkgver=1.1
-pkgrel=11
+pkgrel=12
 pkgdesc="A Functional Constraint Library"
 arch=(i686 x86_64)
 url="http://www.recherche.enac.fr/opti/facile/";

[arch-commits] Commit in facile/trunk (PKGBUILD)

2010-02-01 Thread Pierre Schmitz 
Date: Monday, February 1, 2010 @ 21:22:57
  Author: pierre
Revision: 66912

upgpkg: facile 1.1-11
ocaml rebuild

Modified:
  facile/trunk/PKGBUILD

--+
 PKGBUILD |2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

Modified: PKGBUILD
===
--- PKGBUILD2010-02-02 01:31:22 UTC (rev 66911)
+++ PKGBUILD2010-02-02 02:22:57 UTC (rev 66912)
@@ -3,7 +3,7 @@
 
 pkgname=facile
 pkgver=1.1
-pkgrel=10
+pkgrel=11
 pkgdesc="A Functional Constraint Library"
 arch=(i686 x86_64)
 url="http://www.recherche.enac.fr/opti/facile/";