public inbox for gentoo-commits@lists.gentoo.org
 help / color / mirror / Atom feed
* [gentoo-commits] gentoo-x86 commit in dev-ml/facile: facile-1.1.ebuild ChangeLog
@ 2007-09-12 14:21 Raul Porcel (armin76)
  0 siblings, 0 replies; 20+ messages in thread
From: Raul Porcel (armin76) @ 2007-09-12 14:21 UTC (permalink / raw
  To: gentoo-commits

armin76     07/09/12 14:21:48

  Modified:             facile-1.1.ebuild ChangeLog
  Log:
  Add ~alpha/~ia64 wrt #192065
  (Portage version: 2.1.2.12)

Revision  Changes    Path
1.2                  dev-ml/facile/facile-1.1.ebuild

file : http://sources.gentoo.org/viewcvs.py/gentoo-x86/dev-ml/facile/facile-1.1.ebuild?rev=1.2&view=markup
plain: http://sources.gentoo.org/viewcvs.py/gentoo-x86/dev-ml/facile/facile-1.1.ebuild?rev=1.2&content-type=text/plain
diff : http://sources.gentoo.org/viewcvs.py/gentoo-x86/dev-ml/facile/facile-1.1.ebuild?r1=1.1&r2=1.2

Index: facile-1.1.ebuild
===================================================================
RCS file: /var/cvsroot/gentoo-x86/dev-ml/facile/facile-1.1.ebuild,v
retrieving revision 1.1
retrieving revision 1.2
diff -u -r1.1 -r1.2
--- facile-1.1.ebuild	10 Sep 2007 21:01:37 -0000	1.1
+++ facile-1.1.ebuild	12 Sep 2007 14:21:44 -0000	1.2
@@ -1,6 +1,6 @@
 # Copyright 1999-2007 Gentoo Foundation
 # Distributed under the terms of the GNU General Public License v2
-# $Header: /var/cvsroot/gentoo-x86/dev-ml/facile/facile-1.1.ebuild,v 1.1 2007/09/10 21:01:37 philantrop Exp $
+# $Header: /var/cvsroot/gentoo-x86/dev-ml/facile/facile-1.1.ebuild,v 1.2 2007/09/12 14:21:44 armin76 Exp $
 
 DESCRIPTION="FaCiLe is a constraint programming library on integer and integer set finite domains written in OCaml."
 HOMEPAGE="http://www.recherche.enac.fr/log/facile/"
@@ -10,7 +10,7 @@
 LICENSE="LGPL-2.1"
 SLOT="0"
 
-KEYWORDS="~amd64 ~x86"
+KEYWORDS="~alpha ~amd64 ~ia64 ~x86"
 IUSE=""
 
 DEPEND=">=dev-lang/ocaml-3.09.3-r1"



1.2                  dev-ml/facile/ChangeLog

file : http://sources.gentoo.org/viewcvs.py/gentoo-x86/dev-ml/facile/ChangeLog?rev=1.2&view=markup
plain: http://sources.gentoo.org/viewcvs.py/gentoo-x86/dev-ml/facile/ChangeLog?rev=1.2&content-type=text/plain
diff : http://sources.gentoo.org/viewcvs.py/gentoo-x86/dev-ml/facile/ChangeLog?r1=1.1&r2=1.2

Index: ChangeLog
===================================================================
RCS file: /var/cvsroot/gentoo-x86/dev-ml/facile/ChangeLog,v
retrieving revision 1.1
retrieving revision 1.2
diff -u -r1.1 -r1.2
--- ChangeLog	10 Sep 2007 21:01:37 -0000	1.1
+++ ChangeLog	12 Sep 2007 14:21:44 -0000	1.2
@@ -1,6 +1,9 @@
 # ChangeLog for dev-ml/facile
 # Copyright 1999-2007 Gentoo Foundation; Distributed under the GPL v2
-# $Header: /var/cvsroot/gentoo-x86/dev-ml/facile/ChangeLog,v 1.1 2007/09/10 21:01:37 philantrop Exp $
+# $Header: /var/cvsroot/gentoo-x86/dev-ml/facile/ChangeLog,v 1.2 2007/09/12 14:21:44 armin76 Exp $
+
+  12 Sep 2007; Raúl Porcel <armin76@gentoo.org> facile-1.1.ebuild:
+  Add ~alpha/~ia64 wrt #192065
 
 *facile-1.1 (10 Sep 2007)
 



-- 
gentoo-commits@gentoo.org mailing list



^ permalink raw reply	[flat|nested] 20+ messages in thread

* [gentoo-commits] gentoo-x86 commit in dev-ml/facile: facile-1.1.ebuild ChangeLog
@ 2007-09-22 15:27 Gysbert Wassenaar (nixnut)
  0 siblings, 0 replies; 20+ messages in thread
From: Gysbert Wassenaar (nixnut) @ 2007-09-22 15:27 UTC (permalink / raw
  To: gentoo-commits

nixnut      07/09/22 15:27:28

  Modified:             facile-1.1.ebuild ChangeLog
  Log:
  Added ~ppc wrt bug 192065
  (Portage version: 2.1.3.9)

Revision  Changes    Path
1.3                  dev-ml/facile/facile-1.1.ebuild

file : http://sources.gentoo.org/viewcvs.py/gentoo-x86/dev-ml/facile/facile-1.1.ebuild?rev=1.3&view=markup
plain: http://sources.gentoo.org/viewcvs.py/gentoo-x86/dev-ml/facile/facile-1.1.ebuild?rev=1.3&content-type=text/plain
diff : http://sources.gentoo.org/viewcvs.py/gentoo-x86/dev-ml/facile/facile-1.1.ebuild?r1=1.2&r2=1.3

Index: facile-1.1.ebuild
===================================================================
RCS file: /var/cvsroot/gentoo-x86/dev-ml/facile/facile-1.1.ebuild,v
retrieving revision 1.2
retrieving revision 1.3
diff -u -r1.2 -r1.3
--- facile-1.1.ebuild	12 Sep 2007 14:21:44 -0000	1.2
+++ facile-1.1.ebuild	22 Sep 2007 15:27:27 -0000	1.3
@@ -1,6 +1,6 @@
 # Copyright 1999-2007 Gentoo Foundation
 # Distributed under the terms of the GNU General Public License v2
-# $Header: /var/cvsroot/gentoo-x86/dev-ml/facile/facile-1.1.ebuild,v 1.2 2007/09/12 14:21:44 armin76 Exp $
+# $Header: /var/cvsroot/gentoo-x86/dev-ml/facile/facile-1.1.ebuild,v 1.3 2007/09/22 15:27:27 nixnut Exp $
 
 DESCRIPTION="FaCiLe is a constraint programming library on integer and integer set finite domains written in OCaml."
 HOMEPAGE="http://www.recherche.enac.fr/log/facile/"
@@ -10,7 +10,7 @@
 LICENSE="LGPL-2.1"
 SLOT="0"
 
-KEYWORDS="~alpha ~amd64 ~ia64 ~x86"
+KEYWORDS="~alpha ~amd64 ~ia64 ~ppc ~x86"
 IUSE=""
 
 DEPEND=">=dev-lang/ocaml-3.09.3-r1"



1.3                  dev-ml/facile/ChangeLog

file : http://sources.gentoo.org/viewcvs.py/gentoo-x86/dev-ml/facile/ChangeLog?rev=1.3&view=markup
plain: http://sources.gentoo.org/viewcvs.py/gentoo-x86/dev-ml/facile/ChangeLog?rev=1.3&content-type=text/plain
diff : http://sources.gentoo.org/viewcvs.py/gentoo-x86/dev-ml/facile/ChangeLog?r1=1.2&r2=1.3

Index: ChangeLog
===================================================================
RCS file: /var/cvsroot/gentoo-x86/dev-ml/facile/ChangeLog,v
retrieving revision 1.2
retrieving revision 1.3
diff -u -r1.2 -r1.3
--- ChangeLog	12 Sep 2007 14:21:44 -0000	1.2
+++ ChangeLog	22 Sep 2007 15:27:27 -0000	1.3
@@ -1,6 +1,9 @@
 # ChangeLog for dev-ml/facile
 # Copyright 1999-2007 Gentoo Foundation; Distributed under the GPL v2
-# $Header: /var/cvsroot/gentoo-x86/dev-ml/facile/ChangeLog,v 1.2 2007/09/12 14:21:44 armin76 Exp $
+# $Header: /var/cvsroot/gentoo-x86/dev-ml/facile/ChangeLog,v 1.3 2007/09/22 15:27:27 nixnut Exp $
+
+  22 Sep 2007; nixnut <nixnut@gentoo.org> facile-1.1.ebuild:
+  Added ~ppc wrt bug 192065
 
   12 Sep 2007; Raúl Porcel <armin76@gentoo.org> facile-1.1.ebuild:
   Add ~alpha/~ia64 wrt #192065



-- 
gentoo-commits@gentoo.org mailing list



^ permalink raw reply	[flat|nested] 20+ messages in thread

* [gentoo-commits] gentoo-x86 commit in dev-ml/facile: facile-1.1.ebuild ChangeLog
@ 2007-09-27 13:51 Raul Porcel (armin76)
  0 siblings, 0 replies; 20+ messages in thread
From: Raul Porcel (armin76) @ 2007-09-27 13:51 UTC (permalink / raw
  To: gentoo-commits

armin76     07/09/27 13:51:35

  Modified:             facile-1.1.ebuild ChangeLog
  Log:
  Add ~sparc wrt #192065
  (Portage version: 2.1.3.9)

Revision  Changes    Path
1.4                  dev-ml/facile/facile-1.1.ebuild

file : http://sources.gentoo.org/viewcvs.py/gentoo-x86/dev-ml/facile/facile-1.1.ebuild?rev=1.4&view=markup
plain: http://sources.gentoo.org/viewcvs.py/gentoo-x86/dev-ml/facile/facile-1.1.ebuild?rev=1.4&content-type=text/plain
diff : http://sources.gentoo.org/viewcvs.py/gentoo-x86/dev-ml/facile/facile-1.1.ebuild?r1=1.3&r2=1.4

Index: facile-1.1.ebuild
===================================================================
RCS file: /var/cvsroot/gentoo-x86/dev-ml/facile/facile-1.1.ebuild,v
retrieving revision 1.3
retrieving revision 1.4
diff -u -r1.3 -r1.4
--- facile-1.1.ebuild	22 Sep 2007 15:27:27 -0000	1.3
+++ facile-1.1.ebuild	27 Sep 2007 13:51:35 -0000	1.4
@@ -1,6 +1,6 @@
 # Copyright 1999-2007 Gentoo Foundation
 # Distributed under the terms of the GNU General Public License v2
-# $Header: /var/cvsroot/gentoo-x86/dev-ml/facile/facile-1.1.ebuild,v 1.3 2007/09/22 15:27:27 nixnut Exp $
+# $Header: /var/cvsroot/gentoo-x86/dev-ml/facile/facile-1.1.ebuild,v 1.4 2007/09/27 13:51:35 armin76 Exp $
 
 DESCRIPTION="FaCiLe is a constraint programming library on integer and integer set finite domains written in OCaml."
 HOMEPAGE="http://www.recherche.enac.fr/log/facile/"
@@ -10,7 +10,7 @@
 LICENSE="LGPL-2.1"
 SLOT="0"
 
-KEYWORDS="~alpha ~amd64 ~ia64 ~ppc ~x86"
+KEYWORDS="~alpha ~amd64 ~ia64 ~ppc ~sparc ~x86"
 IUSE=""
 
 DEPEND=">=dev-lang/ocaml-3.09.3-r1"



1.4                  dev-ml/facile/ChangeLog

file : http://sources.gentoo.org/viewcvs.py/gentoo-x86/dev-ml/facile/ChangeLog?rev=1.4&view=markup
plain: http://sources.gentoo.org/viewcvs.py/gentoo-x86/dev-ml/facile/ChangeLog?rev=1.4&content-type=text/plain
diff : http://sources.gentoo.org/viewcvs.py/gentoo-x86/dev-ml/facile/ChangeLog?r1=1.3&r2=1.4

Index: ChangeLog
===================================================================
RCS file: /var/cvsroot/gentoo-x86/dev-ml/facile/ChangeLog,v
retrieving revision 1.3
retrieving revision 1.4
diff -u -r1.3 -r1.4
--- ChangeLog	22 Sep 2007 15:27:27 -0000	1.3
+++ ChangeLog	27 Sep 2007 13:51:35 -0000	1.4
@@ -1,6 +1,9 @@
 # ChangeLog for dev-ml/facile
 # Copyright 1999-2007 Gentoo Foundation; Distributed under the GPL v2
-# $Header: /var/cvsroot/gentoo-x86/dev-ml/facile/ChangeLog,v 1.3 2007/09/22 15:27:27 nixnut Exp $
+# $Header: /var/cvsroot/gentoo-x86/dev-ml/facile/ChangeLog,v 1.4 2007/09/27 13:51:35 armin76 Exp $
+
+  27 Sep 2007; Raúl Porcel <armin76@gentoo.org> facile-1.1.ebuild:
+  Add ~sparc wrt #192065
 
   22 Sep 2007; nixnut <nixnut@gentoo.org> facile-1.1.ebuild:
   Added ~ppc wrt bug 192065



-- 
gentoo-commits@gentoo.org mailing list



^ permalink raw reply	[flat|nested] 20+ messages in thread

* [gentoo-commits] gentoo-x86 commit in dev-ml/facile: facile-1.1.ebuild ChangeLog
@ 2007-10-13 10:26 Markus Rothe (corsair)
  0 siblings, 0 replies; 20+ messages in thread
From: Markus Rothe (corsair) @ 2007-10-13 10:26 UTC (permalink / raw
  To: gentoo-commits

corsair     07/10/13 10:26:46

  Modified:             facile-1.1.ebuild ChangeLog
  Log:
  Added ~ppc64; bug #192065
  (Portage version: 2.1.3.9)

Revision  Changes    Path
1.5                  dev-ml/facile/facile-1.1.ebuild

file : http://sources.gentoo.org/viewcvs.py/gentoo-x86/dev-ml/facile/facile-1.1.ebuild?rev=1.5&view=markup
plain: http://sources.gentoo.org/viewcvs.py/gentoo-x86/dev-ml/facile/facile-1.1.ebuild?rev=1.5&content-type=text/plain
diff : http://sources.gentoo.org/viewcvs.py/gentoo-x86/dev-ml/facile/facile-1.1.ebuild?r1=1.4&r2=1.5

Index: facile-1.1.ebuild
===================================================================
RCS file: /var/cvsroot/gentoo-x86/dev-ml/facile/facile-1.1.ebuild,v
retrieving revision 1.4
retrieving revision 1.5
diff -u -r1.4 -r1.5
--- facile-1.1.ebuild	27 Sep 2007 13:51:35 -0000	1.4
+++ facile-1.1.ebuild	13 Oct 2007 10:26:45 -0000	1.5
@@ -1,6 +1,6 @@
 # Copyright 1999-2007 Gentoo Foundation
 # Distributed under the terms of the GNU General Public License v2
-# $Header: /var/cvsroot/gentoo-x86/dev-ml/facile/facile-1.1.ebuild,v 1.4 2007/09/27 13:51:35 armin76 Exp $
+# $Header: /var/cvsroot/gentoo-x86/dev-ml/facile/facile-1.1.ebuild,v 1.5 2007/10/13 10:26:45 corsair Exp $
 
 DESCRIPTION="FaCiLe is a constraint programming library on integer and integer set finite domains written in OCaml."
 HOMEPAGE="http://www.recherche.enac.fr/log/facile/"
@@ -10,7 +10,7 @@
 LICENSE="LGPL-2.1"
 SLOT="0"
 
-KEYWORDS="~alpha ~amd64 ~ia64 ~ppc ~sparc ~x86"
+KEYWORDS="~alpha ~amd64 ~ia64 ~ppc ~ppc64 ~sparc ~x86"
 IUSE=""
 
 DEPEND=">=dev-lang/ocaml-3.09.3-r1"



1.5                  dev-ml/facile/ChangeLog

file : http://sources.gentoo.org/viewcvs.py/gentoo-x86/dev-ml/facile/ChangeLog?rev=1.5&view=markup
plain: http://sources.gentoo.org/viewcvs.py/gentoo-x86/dev-ml/facile/ChangeLog?rev=1.5&content-type=text/plain
diff : http://sources.gentoo.org/viewcvs.py/gentoo-x86/dev-ml/facile/ChangeLog?r1=1.4&r2=1.5

Index: ChangeLog
===================================================================
RCS file: /var/cvsroot/gentoo-x86/dev-ml/facile/ChangeLog,v
retrieving revision 1.4
retrieving revision 1.5
diff -u -r1.4 -r1.5
--- ChangeLog	27 Sep 2007 13:51:35 -0000	1.4
+++ ChangeLog	13 Oct 2007 10:26:45 -0000	1.5
@@ -1,6 +1,9 @@
 # ChangeLog for dev-ml/facile
 # Copyright 1999-2007 Gentoo Foundation; Distributed under the GPL v2
-# $Header: /var/cvsroot/gentoo-x86/dev-ml/facile/ChangeLog,v 1.4 2007/09/27 13:51:35 armin76 Exp $
+# $Header: /var/cvsroot/gentoo-x86/dev-ml/facile/ChangeLog,v 1.5 2007/10/13 10:26:45 corsair Exp $
+
+  13 Oct 2007; Markus Rothe <corsair@gentoo.org> facile-1.1.ebuild:
+  Added ~ppc64; bug #192065
 
   27 Sep 2007; Raúl Porcel <armin76@gentoo.org> facile-1.1.ebuild:
   Add ~sparc wrt #192065



-- 
gentoo-commits@gentoo.org mailing list



^ permalink raw reply	[flat|nested] 20+ messages in thread

* [gentoo-commits] gentoo-x86 commit in dev-ml/facile: facile-1.1.ebuild ChangeLog
@ 2007-10-23 12:21 Roy Marples (uberlord)
  0 siblings, 0 replies; 20+ messages in thread
From: Roy Marples (uberlord) @ 2007-10-23 12:21 UTC (permalink / raw
  To: gentoo-commits

uberlord    07/10/23 12:21:18

  Modified:             facile-1.1.ebuild ChangeLog
  Log:
  Fix building on non GNU platforms and keyword ~x86-fbsd, #192065
  (Portage version: 2.1.3.15)

Revision  Changes    Path
1.6                  dev-ml/facile/facile-1.1.ebuild

file : http://sources.gentoo.org/viewcvs.py/gentoo-x86/dev-ml/facile/facile-1.1.ebuild?rev=1.6&view=markup
plain: http://sources.gentoo.org/viewcvs.py/gentoo-x86/dev-ml/facile/facile-1.1.ebuild?rev=1.6&content-type=text/plain
diff : http://sources.gentoo.org/viewcvs.py/gentoo-x86/dev-ml/facile/facile-1.1.ebuild?r1=1.5&r2=1.6

Index: facile-1.1.ebuild
===================================================================
RCS file: /var/cvsroot/gentoo-x86/dev-ml/facile/facile-1.1.ebuild,v
retrieving revision 1.5
retrieving revision 1.6
diff -u -r1.5 -r1.6
--- facile-1.1.ebuild	13 Oct 2007 10:26:45 -0000	1.5
+++ facile-1.1.ebuild	23 Oct 2007 12:21:18 -0000	1.6
@@ -1,6 +1,8 @@
 # Copyright 1999-2007 Gentoo Foundation
 # Distributed under the terms of the GNU General Public License v2
-# $Header: /var/cvsroot/gentoo-x86/dev-ml/facile/facile-1.1.ebuild,v 1.5 2007/10/13 10:26:45 corsair Exp $
+# $Header: /var/cvsroot/gentoo-x86/dev-ml/facile/facile-1.1.ebuild,v 1.6 2007/10/23 12:21:18 uberlord Exp $
+
+inherit eutils
 
 DESCRIPTION="FaCiLe is a constraint programming library on integer and integer set finite domains written in OCaml."
 HOMEPAGE="http://www.recherche.enac.fr/log/facile/"
@@ -16,6 +18,14 @@
 DEPEND=">=dev-lang/ocaml-3.09.3-r1"
 RDEPEND="${DEPEND}"
 
+src_unpack() {
+	unpack ${A}
+	cd "${S}"
+
+	# Fix building on FreeBSD
+	epatch "${FILESDIR}/${P}"-make.patch
+}
+
 src_compile(){
 	# This is a custom configure script and it does not support standard options
 	./configure --faciledir ${D}$(ocamlc -where)/facile/



1.6                  dev-ml/facile/ChangeLog

file : http://sources.gentoo.org/viewcvs.py/gentoo-x86/dev-ml/facile/ChangeLog?rev=1.6&view=markup
plain: http://sources.gentoo.org/viewcvs.py/gentoo-x86/dev-ml/facile/ChangeLog?rev=1.6&content-type=text/plain
diff : http://sources.gentoo.org/viewcvs.py/gentoo-x86/dev-ml/facile/ChangeLog?r1=1.5&r2=1.6

Index: ChangeLog
===================================================================
RCS file: /var/cvsroot/gentoo-x86/dev-ml/facile/ChangeLog,v
retrieving revision 1.5
retrieving revision 1.6
diff -u -r1.5 -r1.6
--- ChangeLog	13 Oct 2007 10:26:45 -0000	1.5
+++ ChangeLog	23 Oct 2007 12:21:18 -0000	1.6
@@ -1,6 +1,10 @@
 # ChangeLog for dev-ml/facile
 # Copyright 1999-2007 Gentoo Foundation; Distributed under the GPL v2
-# $Header: /var/cvsroot/gentoo-x86/dev-ml/facile/ChangeLog,v 1.5 2007/10/13 10:26:45 corsair Exp $
+# $Header: /var/cvsroot/gentoo-x86/dev-ml/facile/ChangeLog,v 1.6 2007/10/23 12:21:18 uberlord Exp $
+
+  23 Oct 2007; Roy Marples <uberlord@gentoo.org>
+  +files/facile-1.1-make.patch, facile-1.1.ebuild:
+  Fix building on non GNU platforms and keyword ~x86-fbsd, #192065
 
   13 Oct 2007; Markus Rothe <corsair@gentoo.org> facile-1.1.ebuild:
   Added ~ppc64; bug #192065



-- 
gentoo-commits@gentoo.org mailing list



^ permalink raw reply	[flat|nested] 20+ messages in thread

* [gentoo-commits] gentoo-x86 commit in dev-ml/facile: facile-1.1.ebuild ChangeLog
@ 2007-10-23 21:17 Jeroen Roovers (jer)
  0 siblings, 0 replies; 20+ messages in thread
From: Jeroen Roovers (jer) @ 2007-10-23 21:17 UTC (permalink / raw
  To: gentoo-commits

jer         07/10/23 21:17:52

  Modified:             facile-1.1.ebuild ChangeLog
  Log:
  Marked ~hppa (bug #196551). Added src_test (because it works).
  (Portage version: 2.1.3.15)

Revision  Changes    Path
1.7                  dev-ml/facile/facile-1.1.ebuild

file : http://sources.gentoo.org/viewcvs.py/gentoo-x86/dev-ml/facile/facile-1.1.ebuild?rev=1.7&view=markup
plain: http://sources.gentoo.org/viewcvs.py/gentoo-x86/dev-ml/facile/facile-1.1.ebuild?rev=1.7&content-type=text/plain
diff : http://sources.gentoo.org/viewcvs.py/gentoo-x86/dev-ml/facile/facile-1.1.ebuild?r1=1.6&r2=1.7

Index: facile-1.1.ebuild
===================================================================
RCS file: /var/cvsroot/gentoo-x86/dev-ml/facile/facile-1.1.ebuild,v
retrieving revision 1.6
retrieving revision 1.7
diff -u -r1.6 -r1.7
--- facile-1.1.ebuild	23 Oct 2007 12:21:18 -0000	1.6
+++ facile-1.1.ebuild	23 Oct 2007 21:17:52 -0000	1.7
@@ -1,6 +1,6 @@
 # Copyright 1999-2007 Gentoo Foundation
 # Distributed under the terms of the GNU General Public License v2
-# $Header: /var/cvsroot/gentoo-x86/dev-ml/facile/facile-1.1.ebuild,v 1.6 2007/10/23 12:21:18 uberlord Exp $
+# $Header: /var/cvsroot/gentoo-x86/dev-ml/facile/facile-1.1.ebuild,v 1.7 2007/10/23 21:17:52 jer Exp $
 
 inherit eutils
 
@@ -12,7 +12,7 @@
 LICENSE="LGPL-2.1"
 SLOT="0"
 
-KEYWORDS="~alpha ~amd64 ~ia64 ~ppc ~ppc64 ~sparc ~x86"
+KEYWORDS="~alpha ~amd64 ~hppa ~ia64 ~ppc ~ppc64 ~sparc ~x86"
 IUSE=""
 
 DEPEND=">=dev-lang/ocaml-3.09.3-r1"
@@ -28,10 +28,14 @@
 
 src_compile(){
 	# This is a custom configure script and it does not support standard options
-	./configure --faciledir ${D}$(ocamlc -where)/facile/
+	./configure --faciledir "${D}"$(ocamlc -where)/facile/
 	emake || die "Compilation failed"
 }
 
+src_test() {
+	emake check || die "emake check failed"
+}
+
 src_install(){
 	dodir $(ocamlc -where)
 	emake install || die "Installation failed"



1.7                  dev-ml/facile/ChangeLog

file : http://sources.gentoo.org/viewcvs.py/gentoo-x86/dev-ml/facile/ChangeLog?rev=1.7&view=markup
plain: http://sources.gentoo.org/viewcvs.py/gentoo-x86/dev-ml/facile/ChangeLog?rev=1.7&content-type=text/plain
diff : http://sources.gentoo.org/viewcvs.py/gentoo-x86/dev-ml/facile/ChangeLog?r1=1.6&r2=1.7

Index: ChangeLog
===================================================================
RCS file: /var/cvsroot/gentoo-x86/dev-ml/facile/ChangeLog,v
retrieving revision 1.6
retrieving revision 1.7
diff -u -r1.6 -r1.7
--- ChangeLog	23 Oct 2007 12:21:18 -0000	1.6
+++ ChangeLog	23 Oct 2007 21:17:52 -0000	1.7
@@ -1,6 +1,9 @@
 # ChangeLog for dev-ml/facile
 # Copyright 1999-2007 Gentoo Foundation; Distributed under the GPL v2
-# $Header: /var/cvsroot/gentoo-x86/dev-ml/facile/ChangeLog,v 1.6 2007/10/23 12:21:18 uberlord Exp $
+# $Header: /var/cvsroot/gentoo-x86/dev-ml/facile/ChangeLog,v 1.7 2007/10/23 21:17:52 jer Exp $
+
+  23 Oct 2007; Jeroen Roovers <jer@gentoo.org> facile-1.1.ebuild:
+  Marked ~hppa (bug #196551). Added src_test (because it works).
 
   23 Oct 2007; Roy Marples <uberlord@gentoo.org>
   +files/facile-1.1-make.patch, facile-1.1.ebuild:



-- 
gentoo-commits@gentoo.org mailing list



^ permalink raw reply	[flat|nested] 20+ messages in thread

* [gentoo-commits] gentoo-x86 commit in dev-ml/facile: facile-1.1.ebuild ChangeLog
@ 2008-01-06 18:11 Alexis Ballier (aballier)
  0 siblings, 0 replies; 20+ messages in thread
From: Alexis Ballier (aballier) @ 2008-01-06 18:11 UTC (permalink / raw
  To: gentoo-commits

aballier    08/01/06 18:11:08

  Modified:             facile-1.1.ebuild ChangeLog
  Log:
  allow to build without ocamlopt, dont install license
  (Portage version: 2.1.4_rc14)

Revision  Changes    Path
1.8                  dev-ml/facile/facile-1.1.ebuild

file : http://sources.gentoo.org/viewcvs.py/gentoo-x86/dev-ml/facile/facile-1.1.ebuild?rev=1.8&view=markup
plain: http://sources.gentoo.org/viewcvs.py/gentoo-x86/dev-ml/facile/facile-1.1.ebuild?rev=1.8&content-type=text/plain
diff : http://sources.gentoo.org/viewcvs.py/gentoo-x86/dev-ml/facile/facile-1.1.ebuild?r1=1.7&r2=1.8

Index: facile-1.1.ebuild
===================================================================
RCS file: /var/cvsroot/gentoo-x86/dev-ml/facile/facile-1.1.ebuild,v
retrieving revision 1.7
retrieving revision 1.8
diff -u -r1.7 -r1.8
--- facile-1.1.ebuild	23 Oct 2007 21:17:52 -0000	1.7
+++ facile-1.1.ebuild	6 Jan 2008 18:11:08 -0000	1.8
@@ -1,9 +1,11 @@
-# Copyright 1999-2007 Gentoo Foundation
+# Copyright 1999-2008 Gentoo Foundation
 # Distributed under the terms of the GNU General Public License v2
-# $Header: /var/cvsroot/gentoo-x86/dev-ml/facile/facile-1.1.ebuild,v 1.7 2007/10/23 21:17:52 jer Exp $
+# $Header: /var/cvsroot/gentoo-x86/dev-ml/facile/facile-1.1.ebuild,v 1.8 2008/01/06 18:11:08 aballier Exp $
 
 inherit eutils
 
+EAPI="1"
+
 DESCRIPTION="FaCiLe is a constraint programming library on integer and integer set finite domains written in OCaml."
 HOMEPAGE="http://www.recherche.enac.fr/log/facile/"
 SRC_URI="http://www.recherche.enac.fr/log/facile/distrib/${P}.tar.gz"
@@ -13,10 +15,20 @@
 SLOT="0"
 
 KEYWORDS="~alpha ~amd64 ~hppa ~ia64 ~ppc ~ppc64 ~sparc ~x86"
-IUSE=""
+IUSE="+ocamlopt"
 
-DEPEND=">=dev-lang/ocaml-3.09.3-r1"
-RDEPEND="${DEPEND}"
+RDEPEND=">=dev-lang/ocaml-3.09.3-r1"
+DEPEND="${RDEPEND}
+	 sys-apps/sed"
+
+pkg_setup() {
+	if use ocamlopt && ! built_with_use --missing true dev-lang/ocaml ocamlopt; then
+		eerror "In order to build ${PN} with native code support from ocaml"
+		eerror "You first need to have a native code ocaml compiler."
+		eerror "You need to install dev-lang/ocaml with ocamlopt useflag on."
+		die "Please install ocaml with ocamlopt useflag"
+	fi
+}
 
 src_unpack() {
 	unpack ${A}
@@ -24,6 +36,16 @@
 
 	# Fix building on FreeBSD
 	epatch "${FILESDIR}/${P}"-make.patch
+	# Disable building native code objects if we dont have/want ocamlopt
+	if ! use ocamlopt; then
+		sed -i -e 's/\.opt//' src/Makefile || die "failed to change native code compiler to bytecode ones"
+		sed -i -e 's/ facile\.cmxa//' src/Makefile || die "failed to remove native code objects"
+		sed -i -e 's/\.opt/.out/g' \
+			-e 's: src/facile\.cmxa::'\
+			-e 's: src/facile\.a::'\
+			-e 's:^.*facile\.cmxa::'\
+			-e 's:^.*facile\.a::' Makefile || die "failed to remove native code objects"
+	fi
 }
 
 src_compile(){
@@ -39,5 +61,5 @@
 src_install(){
 	dodir $(ocamlc -where)
 	emake install || die "Installation failed"
-	dodoc LICENSE README || die "installing docs failed"
+	dodoc README || die "installing docs failed"
 }



1.8                  dev-ml/facile/ChangeLog

file : http://sources.gentoo.org/viewcvs.py/gentoo-x86/dev-ml/facile/ChangeLog?rev=1.8&view=markup
plain: http://sources.gentoo.org/viewcvs.py/gentoo-x86/dev-ml/facile/ChangeLog?rev=1.8&content-type=text/plain
diff : http://sources.gentoo.org/viewcvs.py/gentoo-x86/dev-ml/facile/ChangeLog?r1=1.7&r2=1.8

Index: ChangeLog
===================================================================
RCS file: /var/cvsroot/gentoo-x86/dev-ml/facile/ChangeLog,v
retrieving revision 1.7
retrieving revision 1.8
diff -u -r1.7 -r1.8
--- ChangeLog	23 Oct 2007 21:17:52 -0000	1.7
+++ ChangeLog	6 Jan 2008 18:11:08 -0000	1.8
@@ -1,6 +1,9 @@
 # ChangeLog for dev-ml/facile
-# Copyright 1999-2007 Gentoo Foundation; Distributed under the GPL v2
-# $Header: /var/cvsroot/gentoo-x86/dev-ml/facile/ChangeLog,v 1.7 2007/10/23 21:17:52 jer Exp $
+# Copyright 1999-2008 Gentoo Foundation; Distributed under the GPL v2
+# $Header: /var/cvsroot/gentoo-x86/dev-ml/facile/ChangeLog,v 1.8 2008/01/06 18:11:08 aballier Exp $
+
+  06 Jan 2008; Alexis Ballier <aballier@gentoo.org> facile-1.1.ebuild:
+  allow to build without ocamlopt, dont install license
 
   23 Oct 2007; Jeroen Roovers <jer@gentoo.org> facile-1.1.ebuild:
   Marked ~hppa (bug #196551). Added src_test (because it works).



-- 
gentoo-commits@lists.gentoo.org mailing list



^ permalink raw reply	[flat|nested] 20+ messages in thread

* [gentoo-commits] gentoo-x86 commit in dev-ml/facile: facile-1.1.ebuild ChangeLog
@ 2008-01-28 17:07 Jeroen Roovers (jer)
  0 siblings, 0 replies; 20+ messages in thread
From: Jeroen Roovers (jer) @ 2008-01-28 17:07 UTC (permalink / raw
  To: gentoo-commits

jer         08/01/28 17:07:02

  Modified:             facile-1.1.ebuild ChangeLog
  Log:
  Stable for HPPA (bug #207634).
  (Portage version: 2.1.4)

Revision  Changes    Path
1.9                  dev-ml/facile/facile-1.1.ebuild

file : http://sources.gentoo.org/viewcvs.py/gentoo-x86/dev-ml/facile/facile-1.1.ebuild?rev=1.9&view=markup
plain: http://sources.gentoo.org/viewcvs.py/gentoo-x86/dev-ml/facile/facile-1.1.ebuild?rev=1.9&content-type=text/plain
diff : http://sources.gentoo.org/viewcvs.py/gentoo-x86/dev-ml/facile/facile-1.1.ebuild?r1=1.8&r2=1.9

Index: facile-1.1.ebuild
===================================================================
RCS file: /var/cvsroot/gentoo-x86/dev-ml/facile/facile-1.1.ebuild,v
retrieving revision 1.8
retrieving revision 1.9
diff -u -r1.8 -r1.9
--- facile-1.1.ebuild	6 Jan 2008 18:11:08 -0000	1.8
+++ facile-1.1.ebuild	28 Jan 2008 17:07:01 -0000	1.9
@@ -1,6 +1,6 @@
 # Copyright 1999-2008 Gentoo Foundation
 # Distributed under the terms of the GNU General Public License v2
-# $Header: /var/cvsroot/gentoo-x86/dev-ml/facile/facile-1.1.ebuild,v 1.8 2008/01/06 18:11:08 aballier Exp $
+# $Header: /var/cvsroot/gentoo-x86/dev-ml/facile/facile-1.1.ebuild,v 1.9 2008/01/28 17:07:01 jer Exp $
 
 inherit eutils
 
@@ -14,7 +14,7 @@
 LICENSE="LGPL-2.1"
 SLOT="0"
 
-KEYWORDS="~alpha ~amd64 ~hppa ~ia64 ~ppc ~ppc64 ~sparc ~x86"
+KEYWORDS="~alpha ~amd64 hppa ~ia64 ~ppc ~ppc64 ~sparc ~x86"
 IUSE="+ocamlopt"
 
 RDEPEND=">=dev-lang/ocaml-3.09.3-r1"



1.9                  dev-ml/facile/ChangeLog

file : http://sources.gentoo.org/viewcvs.py/gentoo-x86/dev-ml/facile/ChangeLog?rev=1.9&view=markup
plain: http://sources.gentoo.org/viewcvs.py/gentoo-x86/dev-ml/facile/ChangeLog?rev=1.9&content-type=text/plain
diff : http://sources.gentoo.org/viewcvs.py/gentoo-x86/dev-ml/facile/ChangeLog?r1=1.8&r2=1.9

Index: ChangeLog
===================================================================
RCS file: /var/cvsroot/gentoo-x86/dev-ml/facile/ChangeLog,v
retrieving revision 1.8
retrieving revision 1.9
diff -u -r1.8 -r1.9
--- ChangeLog	6 Jan 2008 18:11:08 -0000	1.8
+++ ChangeLog	28 Jan 2008 17:07:01 -0000	1.9
@@ -1,6 +1,9 @@
 # ChangeLog for dev-ml/facile
 # Copyright 1999-2008 Gentoo Foundation; Distributed under the GPL v2
-# $Header: /var/cvsroot/gentoo-x86/dev-ml/facile/ChangeLog,v 1.8 2008/01/06 18:11:08 aballier Exp $
+# $Header: /var/cvsroot/gentoo-x86/dev-ml/facile/ChangeLog,v 1.9 2008/01/28 17:07:01 jer Exp $
+
+  28 Jan 2008; Jeroen Roovers <jer@gentoo.org> facile-1.1.ebuild:
+  Stable for HPPA (bug #207634).
 
   06 Jan 2008; Alexis Ballier <aballier@gentoo.org> facile-1.1.ebuild:
   allow to build without ocamlopt, dont install license



-- 
gentoo-commits@lists.gentoo.org mailing list



^ permalink raw reply	[flat|nested] 20+ messages in thread

* [gentoo-commits] gentoo-x86 commit in dev-ml/facile: facile-1.1.ebuild ChangeLog
@ 2008-01-28 19:22 Wulf Krueger (philantrop)
  0 siblings, 0 replies; 20+ messages in thread
From: Wulf Krueger (philantrop) @ 2008-01-28 19:22 UTC (permalink / raw
  To: gentoo-commits

philantrop    08/01/28 19:22:35

  Modified:             facile-1.1.ebuild ChangeLog
  Log:
  Marked stable on amd64 as per bug 207634.
  (Portage version: 2.1.4)

Revision  Changes    Path
1.10                 dev-ml/facile/facile-1.1.ebuild

file : http://sources.gentoo.org/viewcvs.py/gentoo-x86/dev-ml/facile/facile-1.1.ebuild?rev=1.10&view=markup
plain: http://sources.gentoo.org/viewcvs.py/gentoo-x86/dev-ml/facile/facile-1.1.ebuild?rev=1.10&content-type=text/plain
diff : http://sources.gentoo.org/viewcvs.py/gentoo-x86/dev-ml/facile/facile-1.1.ebuild?r1=1.9&r2=1.10

Index: facile-1.1.ebuild
===================================================================
RCS file: /var/cvsroot/gentoo-x86/dev-ml/facile/facile-1.1.ebuild,v
retrieving revision 1.9
retrieving revision 1.10
diff -u -r1.9 -r1.10
--- facile-1.1.ebuild	28 Jan 2008 17:07:01 -0000	1.9
+++ facile-1.1.ebuild	28 Jan 2008 19:22:34 -0000	1.10
@@ -1,6 +1,6 @@
 # Copyright 1999-2008 Gentoo Foundation
 # Distributed under the terms of the GNU General Public License v2
-# $Header: /var/cvsroot/gentoo-x86/dev-ml/facile/facile-1.1.ebuild,v 1.9 2008/01/28 17:07:01 jer Exp $
+# $Header: /var/cvsroot/gentoo-x86/dev-ml/facile/facile-1.1.ebuild,v 1.10 2008/01/28 19:22:34 philantrop Exp $
 
 inherit eutils
 
@@ -14,7 +14,7 @@
 LICENSE="LGPL-2.1"
 SLOT="0"
 
-KEYWORDS="~alpha ~amd64 hppa ~ia64 ~ppc ~ppc64 ~sparc ~x86"
+KEYWORDS="~alpha amd64 hppa ~ia64 ~ppc ~ppc64 ~sparc ~x86"
 IUSE="+ocamlopt"
 
 RDEPEND=">=dev-lang/ocaml-3.09.3-r1"



1.10                 dev-ml/facile/ChangeLog

file : http://sources.gentoo.org/viewcvs.py/gentoo-x86/dev-ml/facile/ChangeLog?rev=1.10&view=markup
plain: http://sources.gentoo.org/viewcvs.py/gentoo-x86/dev-ml/facile/ChangeLog?rev=1.10&content-type=text/plain
diff : http://sources.gentoo.org/viewcvs.py/gentoo-x86/dev-ml/facile/ChangeLog?r1=1.9&r2=1.10

Index: ChangeLog
===================================================================
RCS file: /var/cvsroot/gentoo-x86/dev-ml/facile/ChangeLog,v
retrieving revision 1.9
retrieving revision 1.10
diff -u -r1.9 -r1.10
--- ChangeLog	28 Jan 2008 17:07:01 -0000	1.9
+++ ChangeLog	28 Jan 2008 19:22:34 -0000	1.10
@@ -1,6 +1,9 @@
 # ChangeLog for dev-ml/facile
 # Copyright 1999-2008 Gentoo Foundation; Distributed under the GPL v2
-# $Header: /var/cvsroot/gentoo-x86/dev-ml/facile/ChangeLog,v 1.9 2008/01/28 17:07:01 jer Exp $
+# $Header: /var/cvsroot/gentoo-x86/dev-ml/facile/ChangeLog,v 1.10 2008/01/28 19:22:34 philantrop Exp $
+
+  28 Jan 2008; Wulf C. Krueger <philantrop@gentoo.org> facile-1.1.ebuild:
+  Marked stable on amd64 as per bug 207634.
 
   28 Jan 2008; Jeroen Roovers <jer@gentoo.org> facile-1.1.ebuild:
   Stable for HPPA (bug #207634).



-- 
gentoo-commits@lists.gentoo.org mailing list



^ permalink raw reply	[flat|nested] 20+ messages in thread

* [gentoo-commits] gentoo-x86 commit in dev-ml/facile: facile-1.1.ebuild ChangeLog
@ 2008-01-29 12:06 Brent Baude (ranger)
  0 siblings, 0 replies; 20+ messages in thread
From: Brent Baude (ranger) @ 2008-01-29 12:06 UTC (permalink / raw
  To: gentoo-commits

ranger      08/01/29 12:06:19

  Modified:             facile-1.1.ebuild ChangeLog
  Log:
  Marking facile-1.1 ppc64 for bug 207634
  (Portage version: 2.1.3.19)

Revision  Changes    Path
1.11                 dev-ml/facile/facile-1.1.ebuild

file : http://sources.gentoo.org/viewcvs.py/gentoo-x86/dev-ml/facile/facile-1.1.ebuild?rev=1.11&view=markup
plain: http://sources.gentoo.org/viewcvs.py/gentoo-x86/dev-ml/facile/facile-1.1.ebuild?rev=1.11&content-type=text/plain
diff : http://sources.gentoo.org/viewcvs.py/gentoo-x86/dev-ml/facile/facile-1.1.ebuild?r1=1.10&r2=1.11

Index: facile-1.1.ebuild
===================================================================
RCS file: /var/cvsroot/gentoo-x86/dev-ml/facile/facile-1.1.ebuild,v
retrieving revision 1.10
retrieving revision 1.11
diff -u -r1.10 -r1.11
--- facile-1.1.ebuild	28 Jan 2008 19:22:34 -0000	1.10
+++ facile-1.1.ebuild	29 Jan 2008 12:06:19 -0000	1.11
@@ -1,6 +1,6 @@
 # Copyright 1999-2008 Gentoo Foundation
 # Distributed under the terms of the GNU General Public License v2
-# $Header: /var/cvsroot/gentoo-x86/dev-ml/facile/facile-1.1.ebuild,v 1.10 2008/01/28 19:22:34 philantrop Exp $
+# $Header: /var/cvsroot/gentoo-x86/dev-ml/facile/facile-1.1.ebuild,v 1.11 2008/01/29 12:06:19 ranger Exp $
 
 inherit eutils
 
@@ -14,7 +14,7 @@
 LICENSE="LGPL-2.1"
 SLOT="0"
 
-KEYWORDS="~alpha amd64 hppa ~ia64 ~ppc ~ppc64 ~sparc ~x86"
+KEYWORDS="~alpha amd64 hppa ~ia64 ~ppc ppc64 ~sparc ~x86"
 IUSE="+ocamlopt"
 
 RDEPEND=">=dev-lang/ocaml-3.09.3-r1"



1.11                 dev-ml/facile/ChangeLog

file : http://sources.gentoo.org/viewcvs.py/gentoo-x86/dev-ml/facile/ChangeLog?rev=1.11&view=markup
plain: http://sources.gentoo.org/viewcvs.py/gentoo-x86/dev-ml/facile/ChangeLog?rev=1.11&content-type=text/plain
diff : http://sources.gentoo.org/viewcvs.py/gentoo-x86/dev-ml/facile/ChangeLog?r1=1.10&r2=1.11

Index: ChangeLog
===================================================================
RCS file: /var/cvsroot/gentoo-x86/dev-ml/facile/ChangeLog,v
retrieving revision 1.10
retrieving revision 1.11
diff -u -r1.10 -r1.11
--- ChangeLog	28 Jan 2008 19:22:34 -0000	1.10
+++ ChangeLog	29 Jan 2008 12:06:19 -0000	1.11
@@ -1,6 +1,9 @@
 # ChangeLog for dev-ml/facile
 # Copyright 1999-2008 Gentoo Foundation; Distributed under the GPL v2
-# $Header: /var/cvsroot/gentoo-x86/dev-ml/facile/ChangeLog,v 1.10 2008/01/28 19:22:34 philantrop Exp $
+# $Header: /var/cvsroot/gentoo-x86/dev-ml/facile/ChangeLog,v 1.11 2008/01/29 12:06:19 ranger Exp $
+
+  29 Jan 2008; Brent Baude <ranger@gentoo.org> facile-1.1.ebuild:
+  Marking facile-1.1 ppc64 for bug 207634
 
   28 Jan 2008; Wulf C. Krueger <philantrop@gentoo.org> facile-1.1.ebuild:
   Marked stable on amd64 as per bug 207634.



-- 
gentoo-commits@lists.gentoo.org mailing list



^ permalink raw reply	[flat|nested] 20+ messages in thread

* [gentoo-commits] gentoo-x86 commit in dev-ml/facile: facile-1.1.ebuild ChangeLog
@ 2008-01-29 14:53 Raul Porcel (armin76)
  0 siblings, 0 replies; 20+ messages in thread
From: Raul Porcel (armin76) @ 2008-01-29 14:53 UTC (permalink / raw
  To: gentoo-commits

armin76     08/01/29 14:53:31

  Modified:             facile-1.1.ebuild ChangeLog
  Log:
  alpha/ia64/sparc stable wrt #207634
  (Portage version: 2.1.3.19)

Revision  Changes    Path
1.12                 dev-ml/facile/facile-1.1.ebuild

file : http://sources.gentoo.org/viewcvs.py/gentoo-x86/dev-ml/facile/facile-1.1.ebuild?rev=1.12&view=markup
plain: http://sources.gentoo.org/viewcvs.py/gentoo-x86/dev-ml/facile/facile-1.1.ebuild?rev=1.12&content-type=text/plain
diff : http://sources.gentoo.org/viewcvs.py/gentoo-x86/dev-ml/facile/facile-1.1.ebuild?r1=1.11&r2=1.12

Index: facile-1.1.ebuild
===================================================================
RCS file: /var/cvsroot/gentoo-x86/dev-ml/facile/facile-1.1.ebuild,v
retrieving revision 1.11
retrieving revision 1.12
diff -u -r1.11 -r1.12
--- facile-1.1.ebuild	29 Jan 2008 12:06:19 -0000	1.11
+++ facile-1.1.ebuild	29 Jan 2008 14:53:30 -0000	1.12
@@ -1,6 +1,6 @@
 # Copyright 1999-2008 Gentoo Foundation
 # Distributed under the terms of the GNU General Public License v2
-# $Header: /var/cvsroot/gentoo-x86/dev-ml/facile/facile-1.1.ebuild,v 1.11 2008/01/29 12:06:19 ranger Exp $
+# $Header: /var/cvsroot/gentoo-x86/dev-ml/facile/facile-1.1.ebuild,v 1.12 2008/01/29 14:53:30 armin76 Exp $
 
 inherit eutils
 
@@ -14,7 +14,7 @@
 LICENSE="LGPL-2.1"
 SLOT="0"
 
-KEYWORDS="~alpha amd64 hppa ~ia64 ~ppc ppc64 ~sparc ~x86"
+KEYWORDS="alpha amd64 hppa ia64 ~ppc ppc64 sparc ~x86"
 IUSE="+ocamlopt"
 
 RDEPEND=">=dev-lang/ocaml-3.09.3-r1"



1.12                 dev-ml/facile/ChangeLog

file : http://sources.gentoo.org/viewcvs.py/gentoo-x86/dev-ml/facile/ChangeLog?rev=1.12&view=markup
plain: http://sources.gentoo.org/viewcvs.py/gentoo-x86/dev-ml/facile/ChangeLog?rev=1.12&content-type=text/plain
diff : http://sources.gentoo.org/viewcvs.py/gentoo-x86/dev-ml/facile/ChangeLog?r1=1.11&r2=1.12

Index: ChangeLog
===================================================================
RCS file: /var/cvsroot/gentoo-x86/dev-ml/facile/ChangeLog,v
retrieving revision 1.11
retrieving revision 1.12
diff -u -r1.11 -r1.12
--- ChangeLog	29 Jan 2008 12:06:19 -0000	1.11
+++ ChangeLog	29 Jan 2008 14:53:30 -0000	1.12
@@ -1,6 +1,9 @@
 # ChangeLog for dev-ml/facile
 # Copyright 1999-2008 Gentoo Foundation; Distributed under the GPL v2
-# $Header: /var/cvsroot/gentoo-x86/dev-ml/facile/ChangeLog,v 1.11 2008/01/29 12:06:19 ranger Exp $
+# $Header: /var/cvsroot/gentoo-x86/dev-ml/facile/ChangeLog,v 1.12 2008/01/29 14:53:30 armin76 Exp $
+
+  29 Jan 2008; Raúl Porcel <armin76@gentoo.org> facile-1.1.ebuild:
+  alpha/ia64/sparc stable wrt #207634
 
   29 Jan 2008; Brent Baude <ranger@gentoo.org> facile-1.1.ebuild:
   Marking facile-1.1 ppc64 for bug 207634



-- 
gentoo-commits@lists.gentoo.org mailing list



^ permalink raw reply	[flat|nested] 20+ messages in thread

* [gentoo-commits] gentoo-x86 commit in dev-ml/facile: facile-1.1.ebuild ChangeLog
@ 2008-01-30  7:37 Christian Faulhammer (opfer)
  0 siblings, 0 replies; 20+ messages in thread
From: Christian Faulhammer (opfer) @ 2008-01-30  7:37 UTC (permalink / raw
  To: gentoo-commits

opfer       08/01/30 07:37:20

  Modified:             facile-1.1.ebuild ChangeLog
  Log:
  stable x86, bug 207634
  (Portage version: 2.1.3.19, RepoMan options: --force)

Revision  Changes    Path
1.13                 dev-ml/facile/facile-1.1.ebuild

file : http://sources.gentoo.org/viewcvs.py/gentoo-x86/dev-ml/facile/facile-1.1.ebuild?rev=1.13&view=markup
plain: http://sources.gentoo.org/viewcvs.py/gentoo-x86/dev-ml/facile/facile-1.1.ebuild?rev=1.13&content-type=text/plain
diff : http://sources.gentoo.org/viewcvs.py/gentoo-x86/dev-ml/facile/facile-1.1.ebuild?r1=1.12&r2=1.13

Index: facile-1.1.ebuild
===================================================================
RCS file: /var/cvsroot/gentoo-x86/dev-ml/facile/facile-1.1.ebuild,v
retrieving revision 1.12
retrieving revision 1.13
diff -u -r1.12 -r1.13
--- facile-1.1.ebuild	29 Jan 2008 14:53:30 -0000	1.12
+++ facile-1.1.ebuild	30 Jan 2008 07:37:19 -0000	1.13
@@ -1,6 +1,6 @@
 # Copyright 1999-2008 Gentoo Foundation
 # Distributed under the terms of the GNU General Public License v2
-# $Header: /var/cvsroot/gentoo-x86/dev-ml/facile/facile-1.1.ebuild,v 1.12 2008/01/29 14:53:30 armin76 Exp $
+# $Header: /var/cvsroot/gentoo-x86/dev-ml/facile/facile-1.1.ebuild,v 1.13 2008/01/30 07:37:19 opfer Exp $
 
 inherit eutils
 
@@ -14,7 +14,7 @@
 LICENSE="LGPL-2.1"
 SLOT="0"
 
-KEYWORDS="alpha amd64 hppa ia64 ~ppc ppc64 sparc ~x86"
+KEYWORDS="alpha amd64 hppa ia64 ~ppc ppc64 sparc x86"
 IUSE="+ocamlopt"
 
 RDEPEND=">=dev-lang/ocaml-3.09.3-r1"



1.13                 dev-ml/facile/ChangeLog

file : http://sources.gentoo.org/viewcvs.py/gentoo-x86/dev-ml/facile/ChangeLog?rev=1.13&view=markup
plain: http://sources.gentoo.org/viewcvs.py/gentoo-x86/dev-ml/facile/ChangeLog?rev=1.13&content-type=text/plain
diff : http://sources.gentoo.org/viewcvs.py/gentoo-x86/dev-ml/facile/ChangeLog?r1=1.12&r2=1.13

Index: ChangeLog
===================================================================
RCS file: /var/cvsroot/gentoo-x86/dev-ml/facile/ChangeLog,v
retrieving revision 1.12
retrieving revision 1.13
diff -u -r1.12 -r1.13
--- ChangeLog	29 Jan 2008 14:53:30 -0000	1.12
+++ ChangeLog	30 Jan 2008 07:37:19 -0000	1.13
@@ -1,6 +1,9 @@
 # ChangeLog for dev-ml/facile
 # Copyright 1999-2008 Gentoo Foundation; Distributed under the GPL v2
-# $Header: /var/cvsroot/gentoo-x86/dev-ml/facile/ChangeLog,v 1.12 2008/01/29 14:53:30 armin76 Exp $
+# $Header: /var/cvsroot/gentoo-x86/dev-ml/facile/ChangeLog,v 1.13 2008/01/30 07:37:19 opfer Exp $
+
+  30 Jan 2008; Christian Faulhammer <opfer@gentoo.org> facile-1.1.ebuild:
+  stable x86, bug 207634
 
   29 Jan 2008; Raúl Porcel <armin76@gentoo.org> facile-1.1.ebuild:
   alpha/ia64/sparc stable wrt #207634



-- 
gentoo-commits@lists.gentoo.org mailing list



^ permalink raw reply	[flat|nested] 20+ messages in thread

* [gentoo-commits] gentoo-x86 commit in dev-ml/facile: facile-1.1.ebuild ChangeLog
@ 2008-01-31  2:00 Brent Baude (ranger)
  0 siblings, 0 replies; 20+ messages in thread
From: Brent Baude (ranger) @ 2008-01-31  2:00 UTC (permalink / raw
  To: gentoo-commits

ranger      08/01/31 02:00:09

  Modified:             facile-1.1.ebuild ChangeLog
  Log:
  ppc stable for 207634
  (Portage version: 2.1.3.19)

Revision  Changes    Path
1.14                 dev-ml/facile/facile-1.1.ebuild

file : http://sources.gentoo.org/viewcvs.py/gentoo-x86/dev-ml/facile/facile-1.1.ebuild?rev=1.14&view=markup
plain: http://sources.gentoo.org/viewcvs.py/gentoo-x86/dev-ml/facile/facile-1.1.ebuild?rev=1.14&content-type=text/plain
diff : http://sources.gentoo.org/viewcvs.py/gentoo-x86/dev-ml/facile/facile-1.1.ebuild?r1=1.13&r2=1.14

Index: facile-1.1.ebuild
===================================================================
RCS file: /var/cvsroot/gentoo-x86/dev-ml/facile/facile-1.1.ebuild,v
retrieving revision 1.13
retrieving revision 1.14
diff -u -r1.13 -r1.14
--- facile-1.1.ebuild	30 Jan 2008 07:37:19 -0000	1.13
+++ facile-1.1.ebuild	31 Jan 2008 02:00:09 -0000	1.14
@@ -1,6 +1,6 @@
 # Copyright 1999-2008 Gentoo Foundation
 # Distributed under the terms of the GNU General Public License v2
-# $Header: /var/cvsroot/gentoo-x86/dev-ml/facile/facile-1.1.ebuild,v 1.13 2008/01/30 07:37:19 opfer Exp $
+# $Header: /var/cvsroot/gentoo-x86/dev-ml/facile/facile-1.1.ebuild,v 1.14 2008/01/31 02:00:09 ranger Exp $
 
 inherit eutils
 
@@ -14,7 +14,7 @@
 LICENSE="LGPL-2.1"
 SLOT="0"
 
-KEYWORDS="alpha amd64 hppa ia64 ~ppc ppc64 sparc x86"
+KEYWORDS="alpha amd64 hppa ia64 ppc ppc64 sparc x86"
 IUSE="+ocamlopt"
 
 RDEPEND=">=dev-lang/ocaml-3.09.3-r1"



1.14                 dev-ml/facile/ChangeLog

file : http://sources.gentoo.org/viewcvs.py/gentoo-x86/dev-ml/facile/ChangeLog?rev=1.14&view=markup
plain: http://sources.gentoo.org/viewcvs.py/gentoo-x86/dev-ml/facile/ChangeLog?rev=1.14&content-type=text/plain
diff : http://sources.gentoo.org/viewcvs.py/gentoo-x86/dev-ml/facile/ChangeLog?r1=1.13&r2=1.14

Index: ChangeLog
===================================================================
RCS file: /var/cvsroot/gentoo-x86/dev-ml/facile/ChangeLog,v
retrieving revision 1.13
retrieving revision 1.14
diff -u -r1.13 -r1.14
--- ChangeLog	30 Jan 2008 07:37:19 -0000	1.13
+++ ChangeLog	31 Jan 2008 02:00:09 -0000	1.14
@@ -1,6 +1,9 @@
 # ChangeLog for dev-ml/facile
 # Copyright 1999-2008 Gentoo Foundation; Distributed under the GPL v2
-# $Header: /var/cvsroot/gentoo-x86/dev-ml/facile/ChangeLog,v 1.13 2008/01/30 07:37:19 opfer Exp $
+# $Header: /var/cvsroot/gentoo-x86/dev-ml/facile/ChangeLog,v 1.14 2008/01/31 02:00:09 ranger Exp $
+
+  31 Jan 2008; Brent Baude <ranger@gentoo.org> facile-1.1.ebuild:
+  Marking facile-1.1 ppc for bug 207634
 
   30 Jan 2008; Christian Faulhammer <opfer@gentoo.org> facile-1.1.ebuild:
   stable x86, bug 207634



-- 
gentoo-commits@lists.gentoo.org mailing list



^ permalink raw reply	[flat|nested] 20+ messages in thread

* [gentoo-commits] gentoo-x86 commit in dev-ml/facile: facile-1.1.ebuild ChangeLog
@ 2009-01-21 23:27 Alexis Ballier (aballier)
  0 siblings, 0 replies; 20+ messages in thread
From: Alexis Ballier (aballier) @ 2009-01-21 23:27 UTC (permalink / raw
  To: gentoo-commits

aballier    09/01/21 23:27:52

  Modified:             facile-1.1.ebuild ChangeLog
  Log:
  keyword ~x86-fbsd
  (Portage version: 2.2_rc23/cvs/Linux x86_64)

Revision  Changes    Path
1.15                 dev-ml/facile/facile-1.1.ebuild

file : http://sources.gentoo.org/viewcvs.py/gentoo-x86/dev-ml/facile/facile-1.1.ebuild?rev=1.15&view=markup
plain: http://sources.gentoo.org/viewcvs.py/gentoo-x86/dev-ml/facile/facile-1.1.ebuild?rev=1.15&content-type=text/plain
diff : http://sources.gentoo.org/viewcvs.py/gentoo-x86/dev-ml/facile/facile-1.1.ebuild?r1=1.14&r2=1.15

Index: facile-1.1.ebuild
===================================================================
RCS file: /var/cvsroot/gentoo-x86/dev-ml/facile/facile-1.1.ebuild,v
retrieving revision 1.14
retrieving revision 1.15
diff -u -r1.14 -r1.15
--- facile-1.1.ebuild	31 Jan 2008 02:00:09 -0000	1.14
+++ facile-1.1.ebuild	21 Jan 2009 23:27:52 -0000	1.15
@@ -1,6 +1,6 @@
-# Copyright 1999-2008 Gentoo Foundation
+# Copyright 1999-2009 Gentoo Foundation
 # Distributed under the terms of the GNU General Public License v2
-# $Header: /var/cvsroot/gentoo-x86/dev-ml/facile/facile-1.1.ebuild,v 1.14 2008/01/31 02:00:09 ranger Exp $
+# $Header: /var/cvsroot/gentoo-x86/dev-ml/facile/facile-1.1.ebuild,v 1.15 2009/01/21 23:27:52 aballier Exp $
 
 inherit eutils
 
@@ -14,7 +14,7 @@
 LICENSE="LGPL-2.1"
 SLOT="0"
 
-KEYWORDS="alpha amd64 hppa ia64 ppc ppc64 sparc x86"
+KEYWORDS="alpha amd64 hppa ia64 ppc ppc64 sparc x86 ~x86-fbsd"
 IUSE="+ocamlopt"
 
 RDEPEND=">=dev-lang/ocaml-3.09.3-r1"



1.15                 dev-ml/facile/ChangeLog

file : http://sources.gentoo.org/viewcvs.py/gentoo-x86/dev-ml/facile/ChangeLog?rev=1.15&view=markup
plain: http://sources.gentoo.org/viewcvs.py/gentoo-x86/dev-ml/facile/ChangeLog?rev=1.15&content-type=text/plain
diff : http://sources.gentoo.org/viewcvs.py/gentoo-x86/dev-ml/facile/ChangeLog?r1=1.14&r2=1.15

Index: ChangeLog
===================================================================
RCS file: /var/cvsroot/gentoo-x86/dev-ml/facile/ChangeLog,v
retrieving revision 1.14
retrieving revision 1.15
diff -u -r1.14 -r1.15
--- ChangeLog	31 Jan 2008 02:00:09 -0000	1.14
+++ ChangeLog	21 Jan 2009 23:27:52 -0000	1.15
@@ -1,6 +1,9 @@
 # ChangeLog for dev-ml/facile
-# Copyright 1999-2008 Gentoo Foundation; Distributed under the GPL v2
-# $Header: /var/cvsroot/gentoo-x86/dev-ml/facile/ChangeLog,v 1.14 2008/01/31 02:00:09 ranger Exp $
+# Copyright 1999-2009 Gentoo Foundation; Distributed under the GPL v2
+# $Header: /var/cvsroot/gentoo-x86/dev-ml/facile/ChangeLog,v 1.15 2009/01/21 23:27:52 aballier Exp $
+
+  21 Jan 2009; Alexis Ballier <aballier@gentoo.org> facile-1.1.ebuild:
+  keyword ~x86-fbsd
 
   31 Jan 2008; Brent Baude <ranger@gentoo.org> facile-1.1.ebuild:
   Marking facile-1.1 ppc for bug 207634






^ permalink raw reply	[flat|nested] 20+ messages in thread

* [gentoo-commits] gentoo-x86 commit in dev-ml/facile: facile-1.1.ebuild ChangeLog
@ 2009-09-28 16:31 Petteri Raty (betelgeuse)
  0 siblings, 0 replies; 20+ messages in thread
From: Petteri Raty (betelgeuse) @ 2009-09-28 16:31 UTC (permalink / raw
  To: gentoo-commits

betelgeuse    09/09/28 16:31:52

  Modified:             facile-1.1.ebuild ChangeLog
  Log:
  Migrate to EAPI 2 in order to nuke built_with_use.
  (Portage version: 2.2_rc40/cvs/Linux i686)

Revision  Changes    Path
1.16                 dev-ml/facile/facile-1.1.ebuild

file : http://sources.gentoo.org/viewcvs.py/gentoo-x86/dev-ml/facile/facile-1.1.ebuild?rev=1.16&view=markup
plain: http://sources.gentoo.org/viewcvs.py/gentoo-x86/dev-ml/facile/facile-1.1.ebuild?rev=1.16&content-type=text/plain
diff : http://sources.gentoo.org/viewcvs.py/gentoo-x86/dev-ml/facile/facile-1.1.ebuild?r1=1.15&r2=1.16

Index: facile-1.1.ebuild
===================================================================
RCS file: /var/cvsroot/gentoo-x86/dev-ml/facile/facile-1.1.ebuild,v
retrieving revision 1.15
retrieving revision 1.16
diff -u -r1.15 -r1.16
--- facile-1.1.ebuild	21 Jan 2009 23:27:52 -0000	1.15
+++ facile-1.1.ebuild	28 Sep 2009 16:31:52 -0000	1.16
@@ -1,10 +1,10 @@
 # Copyright 1999-2009 Gentoo Foundation
 # Distributed under the terms of the GNU General Public License v2
-# $Header: /var/cvsroot/gentoo-x86/dev-ml/facile/facile-1.1.ebuild,v 1.15 2009/01/21 23:27:52 aballier Exp $
+# $Header: /var/cvsroot/gentoo-x86/dev-ml/facile/facile-1.1.ebuild,v 1.16 2009/09/28 16:31:52 betelgeuse Exp $
 
-inherit eutils
+EAPI="2"
 
-EAPI="1"
+inherit eutils
 
 DESCRIPTION="FaCiLe is a constraint programming library on integer and integer set finite domains written in OCaml."
 HOMEPAGE="http://www.recherche.enac.fr/log/facile/"
@@ -17,23 +17,11 @@
 KEYWORDS="alpha amd64 hppa ia64 ppc ppc64 sparc x86 ~x86-fbsd"
 IUSE="+ocamlopt"
 
-RDEPEND=">=dev-lang/ocaml-3.09.3-r1"
+RDEPEND=">=dev-lang/ocaml-3.10.2[ocamlopt?]"
 DEPEND="${RDEPEND}
 	 sys-apps/sed"
 
-pkg_setup() {
-	if use ocamlopt && ! built_with_use --missing true dev-lang/ocaml ocamlopt; then
-		eerror "In order to build ${PN} with native code support from ocaml"
-		eerror "You first need to have a native code ocaml compiler."
-		eerror "You need to install dev-lang/ocaml with ocamlopt useflag on."
-		die "Please install ocaml with ocamlopt useflag"
-	fi
-}
-
-src_unpack() {
-	unpack ${A}
-	cd "${S}"
-
+src_prepare() {
 	# Fix building on FreeBSD
 	epatch "${FILESDIR}/${P}"-make.patch
 	# Disable building native code objects if we dont have/want ocamlopt
@@ -48,10 +36,9 @@
 	fi
 }
 
-src_compile(){
+src_configure(){
 	# This is a custom configure script and it does not support standard options
 	./configure --faciledir "${D}"$(ocamlc -where)/facile/
-	emake || die "Compilation failed"
 }
 
 src_test() {



1.16                 dev-ml/facile/ChangeLog

file : http://sources.gentoo.org/viewcvs.py/gentoo-x86/dev-ml/facile/ChangeLog?rev=1.16&view=markup
plain: http://sources.gentoo.org/viewcvs.py/gentoo-x86/dev-ml/facile/ChangeLog?rev=1.16&content-type=text/plain
diff : http://sources.gentoo.org/viewcvs.py/gentoo-x86/dev-ml/facile/ChangeLog?r1=1.15&r2=1.16

Index: ChangeLog
===================================================================
RCS file: /var/cvsroot/gentoo-x86/dev-ml/facile/ChangeLog,v
retrieving revision 1.15
retrieving revision 1.16
diff -u -r1.15 -r1.16
--- ChangeLog	21 Jan 2009 23:27:52 -0000	1.15
+++ ChangeLog	28 Sep 2009 16:31:52 -0000	1.16
@@ -1,6 +1,9 @@
 # ChangeLog for dev-ml/facile
 # Copyright 1999-2009 Gentoo Foundation; Distributed under the GPL v2
-# $Header: /var/cvsroot/gentoo-x86/dev-ml/facile/ChangeLog,v 1.15 2009/01/21 23:27:52 aballier Exp $
+# $Header: /var/cvsroot/gentoo-x86/dev-ml/facile/ChangeLog,v 1.16 2009/09/28 16:31:52 betelgeuse Exp $
+
+  28 Sep 2009; Petteri Räty <betelgeuse@gentoo.org> facile-1.1.ebuild:
+  Migrate to EAPI 2 in order to nuke built_with_use.
 
   21 Jan 2009; Alexis Ballier <aballier@gentoo.org> facile-1.1.ebuild:
   keyword ~x86-fbsd






^ permalink raw reply	[flat|nested] 20+ messages in thread

* [gentoo-commits] gentoo-x86 commit in dev-ml/facile: facile-1.1.ebuild ChangeLog
@ 2009-09-28 16:34 Petteri Raty (betelgeuse)
  0 siblings, 0 replies; 20+ messages in thread
From: Petteri Raty (betelgeuse) @ 2009-09-28 16:34 UTC (permalink / raw
  To: gentoo-commits

betelgeuse    09/09/28 16:34:05

  Modified:             facile-1.1.ebuild ChangeLog
  Log:
  Shorten DESCRIPTION to under 100 characters in order to make repoman happy.
  (Portage version: 2.2_rc40/cvs/Linux i686)

Revision  Changes    Path
1.17                 dev-ml/facile/facile-1.1.ebuild

file : http://sources.gentoo.org/viewcvs.py/gentoo-x86/dev-ml/facile/facile-1.1.ebuild?rev=1.17&view=markup
plain: http://sources.gentoo.org/viewcvs.py/gentoo-x86/dev-ml/facile/facile-1.1.ebuild?rev=1.17&content-type=text/plain
diff : http://sources.gentoo.org/viewcvs.py/gentoo-x86/dev-ml/facile/facile-1.1.ebuild?r1=1.16&r2=1.17

Index: facile-1.1.ebuild
===================================================================
RCS file: /var/cvsroot/gentoo-x86/dev-ml/facile/facile-1.1.ebuild,v
retrieving revision 1.16
retrieving revision 1.17
diff -u -r1.16 -r1.17
--- facile-1.1.ebuild	28 Sep 2009 16:31:52 -0000	1.16
+++ facile-1.1.ebuild	28 Sep 2009 16:34:05 -0000	1.17
@@ -1,12 +1,12 @@
 # Copyright 1999-2009 Gentoo Foundation
 # Distributed under the terms of the GNU General Public License v2
-# $Header: /var/cvsroot/gentoo-x86/dev-ml/facile/facile-1.1.ebuild,v 1.16 2009/09/28 16:31:52 betelgeuse Exp $
+# $Header: /var/cvsroot/gentoo-x86/dev-ml/facile/facile-1.1.ebuild,v 1.17 2009/09/28 16:34:05 betelgeuse Exp $
 
 EAPI="2"
 
 inherit eutils
 
-DESCRIPTION="FaCiLe is a constraint programming library on integer and integer set finite domains written in OCaml."
+DESCRIPTION="A constraint programming library on integer and integer set finite domains written in OCaml."
 HOMEPAGE="http://www.recherche.enac.fr/log/facile/"
 SRC_URI="http://www.recherche.enac.fr/log/facile/distrib/${P}.tar.gz"
 RESTRICT="mirror"



1.17                 dev-ml/facile/ChangeLog

file : http://sources.gentoo.org/viewcvs.py/gentoo-x86/dev-ml/facile/ChangeLog?rev=1.17&view=markup
plain: http://sources.gentoo.org/viewcvs.py/gentoo-x86/dev-ml/facile/ChangeLog?rev=1.17&content-type=text/plain
diff : http://sources.gentoo.org/viewcvs.py/gentoo-x86/dev-ml/facile/ChangeLog?r1=1.16&r2=1.17

Index: ChangeLog
===================================================================
RCS file: /var/cvsroot/gentoo-x86/dev-ml/facile/ChangeLog,v
retrieving revision 1.16
retrieving revision 1.17
diff -u -r1.16 -r1.17
--- ChangeLog	28 Sep 2009 16:31:52 -0000	1.16
+++ ChangeLog	28 Sep 2009 16:34:05 -0000	1.17
@@ -1,6 +1,10 @@
 # ChangeLog for dev-ml/facile
 # Copyright 1999-2009 Gentoo Foundation; Distributed under the GPL v2
-# $Header: /var/cvsroot/gentoo-x86/dev-ml/facile/ChangeLog,v 1.16 2009/09/28 16:31:52 betelgeuse Exp $
+# $Header: /var/cvsroot/gentoo-x86/dev-ml/facile/ChangeLog,v 1.17 2009/09/28 16:34:05 betelgeuse Exp $
+
+  28 Sep 2009; Petteri Räty <betelgeuse@gentoo.org> facile-1.1.ebuild:
+  Shorten DESCRIPTION to under 100 characters in order to make repoman
+  happy.
 
   28 Sep 2009; Petteri Räty <betelgeuse@gentoo.org> facile-1.1.ebuild:
   Migrate to EAPI 2 in order to nuke built_with_use.






^ permalink raw reply	[flat|nested] 20+ messages in thread

* [gentoo-commits] gentoo-x86 commit in dev-ml/facile: facile-1.1.ebuild ChangeLog
@ 2011-01-03 21:12 Andreas HAttel (dilfridge)
  0 siblings, 0 replies; 20+ messages in thread
From: Andreas HAttel (dilfridge) @ 2011-01-03 21:12 UTC (permalink / raw
  To: gentoo-commits

dilfridge    11/01/03 21:12:19

  Modified:             facile-1.1.ebuild ChangeLog
  Log:
  Removed RESTRICT=mirror since there is no reason for it
  
  (Portage version: 2.1.9.26/cvs/Linux i686)

Revision  Changes    Path
1.18                 dev-ml/facile/facile-1.1.ebuild

file : http://sources.gentoo.org/viewvc.cgi/gentoo-x86/dev-ml/facile/facile-1.1.ebuild?rev=1.18&view=markup
plain: http://sources.gentoo.org/viewvc.cgi/gentoo-x86/dev-ml/facile/facile-1.1.ebuild?rev=1.18&content-type=text/plain
diff : http://sources.gentoo.org/viewvc.cgi/gentoo-x86/dev-ml/facile/facile-1.1.ebuild?r1=1.17&r2=1.18

Index: facile-1.1.ebuild
===================================================================
RCS file: /var/cvsroot/gentoo-x86/dev-ml/facile/facile-1.1.ebuild,v
retrieving revision 1.17
retrieving revision 1.18
diff -u -r1.17 -r1.18
--- facile-1.1.ebuild	28 Sep 2009 16:34:05 -0000	1.17
+++ facile-1.1.ebuild	3 Jan 2011 21:12:19 -0000	1.18
@@ -1,6 +1,6 @@
-# Copyright 1999-2009 Gentoo Foundation
+# Copyright 1999-2011 Gentoo Foundation
 # Distributed under the terms of the GNU General Public License v2
-# $Header: /var/cvsroot/gentoo-x86/dev-ml/facile/facile-1.1.ebuild,v 1.17 2009/09/28 16:34:05 betelgeuse Exp $
+# $Header: /var/cvsroot/gentoo-x86/dev-ml/facile/facile-1.1.ebuild,v 1.18 2011/01/03 21:12:19 dilfridge Exp $
 
 EAPI="2"
 
@@ -9,7 +9,6 @@
 DESCRIPTION="A constraint programming library on integer and integer set finite domains written in OCaml."
 HOMEPAGE="http://www.recherche.enac.fr/log/facile/"
 SRC_URI="http://www.recherche.enac.fr/log/facile/distrib/${P}.tar.gz"
-RESTRICT="mirror"
 
 LICENSE="LGPL-2.1"
 SLOT="0"



1.18                 dev-ml/facile/ChangeLog

file : http://sources.gentoo.org/viewvc.cgi/gentoo-x86/dev-ml/facile/ChangeLog?rev=1.18&view=markup
plain: http://sources.gentoo.org/viewvc.cgi/gentoo-x86/dev-ml/facile/ChangeLog?rev=1.18&content-type=text/plain
diff : http://sources.gentoo.org/viewvc.cgi/gentoo-x86/dev-ml/facile/ChangeLog?r1=1.17&r2=1.18

Index: ChangeLog
===================================================================
RCS file: /var/cvsroot/gentoo-x86/dev-ml/facile/ChangeLog,v
retrieving revision 1.17
retrieving revision 1.18
diff -u -r1.17 -r1.18
--- ChangeLog	28 Sep 2009 16:34:05 -0000	1.17
+++ ChangeLog	3 Jan 2011 21:12:19 -0000	1.18
@@ -1,6 +1,9 @@
 # ChangeLog for dev-ml/facile
-# Copyright 1999-2009 Gentoo Foundation; Distributed under the GPL v2
-# $Header: /var/cvsroot/gentoo-x86/dev-ml/facile/ChangeLog,v 1.17 2009/09/28 16:34:05 betelgeuse Exp $
+# Copyright 1999-2011 Gentoo Foundation; Distributed under the GPL v2
+# $Header: /var/cvsroot/gentoo-x86/dev-ml/facile/ChangeLog,v 1.18 2011/01/03 21:12:19 dilfridge Exp $
+
+  03 Jan 2011; Andreas K. Huettel <dilfridge@gentoo.org> facile-1.1.ebuild:
+  Removed RESTRICT=mirror since there is no reason for it
 
   28 Sep 2009; Petteri Räty <betelgeuse@gentoo.org> facile-1.1.ebuild:
   Shorten DESCRIPTION to under 100 characters in order to make repoman






^ permalink raw reply	[flat|nested] 20+ messages in thread

* [gentoo-commits] gentoo-x86 commit in dev-ml/facile: facile-1.1.ebuild ChangeLog
@ 2012-10-10 13:04 Alexis Ballier (aballier)
  0 siblings, 0 replies; 20+ messages in thread
From: Alexis Ballier (aballier) @ 2012-10-10 13:04 UTC (permalink / raw
  To: gentoo-commits

aballier    12/10/10 13:04:33

  Modified:             facile-1.1.ebuild ChangeLog
  Log:
  fix build with ocaml4
  
  (Portage version: 2.2.0_alpha136/cvs/Linux x86_64)

Revision  Changes    Path
1.19                 dev-ml/facile/facile-1.1.ebuild

file : http://sources.gentoo.org/viewvc.cgi/gentoo-x86/dev-ml/facile/facile-1.1.ebuild?rev=1.19&view=markup
plain: http://sources.gentoo.org/viewvc.cgi/gentoo-x86/dev-ml/facile/facile-1.1.ebuild?rev=1.19&content-type=text/plain
diff : http://sources.gentoo.org/viewvc.cgi/gentoo-x86/dev-ml/facile/facile-1.1.ebuild?r1=1.18&r2=1.19

Index: facile-1.1.ebuild
===================================================================
RCS file: /var/cvsroot/gentoo-x86/dev-ml/facile/facile-1.1.ebuild,v
retrieving revision 1.18
retrieving revision 1.19
diff -u -r1.18 -r1.19
--- facile-1.1.ebuild	3 Jan 2011 21:12:19 -0000	1.18
+++ facile-1.1.ebuild	10 Oct 2012 13:04:33 -0000	1.19
@@ -1,6 +1,6 @@
-# Copyright 1999-2011 Gentoo Foundation
+# Copyright 1999-2012 Gentoo Foundation
 # Distributed under the terms of the GNU General Public License v2
-# $Header: /var/cvsroot/gentoo-x86/dev-ml/facile/facile-1.1.ebuild,v 1.18 2011/01/03 21:12:19 dilfridge Exp $
+# $Header: /var/cvsroot/gentoo-x86/dev-ml/facile/facile-1.1.ebuild,v 1.19 2012/10/10 13:04:33 aballier Exp $
 
 EAPI="2"
 
@@ -23,6 +23,7 @@
 src_prepare() {
 	# Fix building on FreeBSD
 	epatch "${FILESDIR}/${P}"-make.patch
+	has_version '>=dev-lang/ocaml-4' && epatch "${FILESDIR}/${P}-ocaml4.patch"
 	# Disable building native code objects if we dont have/want ocamlopt
 	if ! use ocamlopt; then
 		sed -i -e 's/\.opt//' src/Makefile || die "failed to change native code compiler to bytecode ones"



1.19                 dev-ml/facile/ChangeLog

file : http://sources.gentoo.org/viewvc.cgi/gentoo-x86/dev-ml/facile/ChangeLog?rev=1.19&view=markup
plain: http://sources.gentoo.org/viewvc.cgi/gentoo-x86/dev-ml/facile/ChangeLog?rev=1.19&content-type=text/plain
diff : http://sources.gentoo.org/viewvc.cgi/gentoo-x86/dev-ml/facile/ChangeLog?r1=1.18&r2=1.19

Index: ChangeLog
===================================================================
RCS file: /var/cvsroot/gentoo-x86/dev-ml/facile/ChangeLog,v
retrieving revision 1.18
retrieving revision 1.19
diff -u -r1.18 -r1.19
--- ChangeLog	3 Jan 2011 21:12:19 -0000	1.18
+++ ChangeLog	10 Oct 2012 13:04:33 -0000	1.19
@@ -1,6 +1,10 @@
 # ChangeLog for dev-ml/facile
-# Copyright 1999-2011 Gentoo Foundation; Distributed under the GPL v2
-# $Header: /var/cvsroot/gentoo-x86/dev-ml/facile/ChangeLog,v 1.18 2011/01/03 21:12:19 dilfridge Exp $
+# Copyright 1999-2012 Gentoo Foundation; Distributed under the GPL v2
+# $Header: /var/cvsroot/gentoo-x86/dev-ml/facile/ChangeLog,v 1.19 2012/10/10 13:04:33 aballier Exp $
+
+  10 Oct 2012; Alexis Ballier <aballier@gentoo.org> facile-1.1.ebuild,
+  +files/facile-1.1-ocaml4.patch:
+  fix build with ocaml4
 
   03 Jan 2011; Andreas K. Huettel <dilfridge@gentoo.org> facile-1.1.ebuild:
   Removed RESTRICT=mirror since there is no reason for it





^ permalink raw reply	[flat|nested] 20+ messages in thread

* [gentoo-commits] gentoo-x86 commit in dev-ml/facile: facile-1.1.ebuild ChangeLog
@ 2013-08-19 13:26 Alexis Ballier (aballier)
  0 siblings, 0 replies; 20+ messages in thread
From: Alexis Ballier (aballier) @ 2013-08-19 13:26 UTC (permalink / raw
  To: gentoo-commits

aballier    13/08/19 13:26:14

  Modified:             facile-1.1.ebuild ChangeLog
  Log:
  eapi5, define subslot for ocaml rev deps, add := dep on ocaml
  
  (Portage version: 2.2.0/cvs/Linux x86_64, signed Manifest commit with key 160F534A)

Revision  Changes    Path
1.20                 dev-ml/facile/facile-1.1.ebuild

file : http://sources.gentoo.org/viewvc.cgi/gentoo-x86/dev-ml/facile/facile-1.1.ebuild?rev=1.20&view=markup
plain: http://sources.gentoo.org/viewvc.cgi/gentoo-x86/dev-ml/facile/facile-1.1.ebuild?rev=1.20&content-type=text/plain
diff : http://sources.gentoo.org/viewvc.cgi/gentoo-x86/dev-ml/facile/facile-1.1.ebuild?r1=1.19&r2=1.20

Index: facile-1.1.ebuild
===================================================================
RCS file: /var/cvsroot/gentoo-x86/dev-ml/facile/facile-1.1.ebuild,v
retrieving revision 1.19
retrieving revision 1.20
diff -u -r1.19 -r1.20
--- facile-1.1.ebuild	10 Oct 2012 13:04:33 -0000	1.19
+++ facile-1.1.ebuild	19 Aug 2013 13:26:14 -0000	1.20
@@ -1,8 +1,8 @@
-# Copyright 1999-2012 Gentoo Foundation
+# Copyright 1999-2013 Gentoo Foundation
 # Distributed under the terms of the GNU General Public License v2
-# $Header: /var/cvsroot/gentoo-x86/dev-ml/facile/facile-1.1.ebuild,v 1.19 2012/10/10 13:04:33 aballier Exp $
+# $Header: /var/cvsroot/gentoo-x86/dev-ml/facile/facile-1.1.ebuild,v 1.20 2013/08/19 13:26:14 aballier Exp $
 
-EAPI="2"
+EAPI=5
 
 inherit eutils
 
@@ -11,12 +11,12 @@
 SRC_URI="http://www.recherche.enac.fr/log/facile/distrib/${P}.tar.gz"
 
 LICENSE="LGPL-2.1"
-SLOT="0"
+SLOT="0/${PV}"
 
 KEYWORDS="alpha amd64 hppa ia64 ppc ppc64 sparc x86 ~x86-fbsd"
 IUSE="+ocamlopt"
 
-RDEPEND=">=dev-lang/ocaml-3.10.2[ocamlopt?]"
+RDEPEND=">=dev-lang/ocaml-3.10.2:=[ocamlopt?]"
 DEPEND="${RDEPEND}
 	 sys-apps/sed"
 
@@ -38,15 +38,15 @@
 
 src_configure(){
 	# This is a custom configure script and it does not support standard options
-	./configure --faciledir "${D}"$(ocamlc -where)/facile/
+	./configure --faciledir "${D}"$(ocamlc -where)/facile/ || die
 }
 
 src_test() {
-	emake check || die "emake check failed"
+	emake check
 }
 
 src_install(){
 	dodir $(ocamlc -where)
-	emake install || die "Installation failed"
-	dodoc README || die "installing docs failed"
+	emake install
+	dodoc README
 }



1.20                 dev-ml/facile/ChangeLog

file : http://sources.gentoo.org/viewvc.cgi/gentoo-x86/dev-ml/facile/ChangeLog?rev=1.20&view=markup
plain: http://sources.gentoo.org/viewvc.cgi/gentoo-x86/dev-ml/facile/ChangeLog?rev=1.20&content-type=text/plain
diff : http://sources.gentoo.org/viewvc.cgi/gentoo-x86/dev-ml/facile/ChangeLog?r1=1.19&r2=1.20

Index: ChangeLog
===================================================================
RCS file: /var/cvsroot/gentoo-x86/dev-ml/facile/ChangeLog,v
retrieving revision 1.19
retrieving revision 1.20
diff -u -r1.19 -r1.20
--- ChangeLog	10 Oct 2012 13:04:33 -0000	1.19
+++ ChangeLog	19 Aug 2013 13:26:14 -0000	1.20
@@ -1,6 +1,9 @@
 # ChangeLog for dev-ml/facile
-# Copyright 1999-2012 Gentoo Foundation; Distributed under the GPL v2
-# $Header: /var/cvsroot/gentoo-x86/dev-ml/facile/ChangeLog,v 1.19 2012/10/10 13:04:33 aballier Exp $
+# Copyright 1999-2013 Gentoo Foundation; Distributed under the GPL v2
+# $Header: /var/cvsroot/gentoo-x86/dev-ml/facile/ChangeLog,v 1.20 2013/08/19 13:26:14 aballier Exp $
+
+  19 Aug 2013; Alexis Ballier <aballier@gentoo.org> facile-1.1.ebuild:
+  eapi5, define subslot for ocaml rev deps, add := dep on ocaml
 
   10 Oct 2012; Alexis Ballier <aballier@gentoo.org> facile-1.1.ebuild,
   +files/facile-1.1-ocaml4.patch:





^ permalink raw reply	[flat|nested] 20+ messages in thread

* [gentoo-commits] gentoo-x86 commit in dev-ml/facile: facile-1.1.ebuild ChangeLog
@ 2014-08-10 20:42 Sergei Trofimovich (slyfox)
  0 siblings, 0 replies; 20+ messages in thread
From: Sergei Trofimovich (slyfox) @ 2014-08-10 20:42 UTC (permalink / raw
  To: gentoo-commits

slyfox      14/08/10 20:42:43

  Modified:             facile-1.1.ebuild ChangeLog
  Log:
  QA: drop trailing '.' from DESCRIPTION
  
  (Portage version: 2.2.11_p9/cvs/Linux x86_64, signed Manifest commit with key 611FF3AA)

Revision  Changes    Path
1.21                 dev-ml/facile/facile-1.1.ebuild

file : http://sources.gentoo.org/viewvc.cgi/gentoo-x86/dev-ml/facile/facile-1.1.ebuild?rev=1.21&view=markup
plain: http://sources.gentoo.org/viewvc.cgi/gentoo-x86/dev-ml/facile/facile-1.1.ebuild?rev=1.21&content-type=text/plain
diff : http://sources.gentoo.org/viewvc.cgi/gentoo-x86/dev-ml/facile/facile-1.1.ebuild?r1=1.20&r2=1.21

Index: facile-1.1.ebuild
===================================================================
RCS file: /var/cvsroot/gentoo-x86/dev-ml/facile/facile-1.1.ebuild,v
retrieving revision 1.20
retrieving revision 1.21
diff -u -r1.20 -r1.21
--- facile-1.1.ebuild	19 Aug 2013 13:26:14 -0000	1.20
+++ facile-1.1.ebuild	10 Aug 2014 20:42:43 -0000	1.21
@@ -1,12 +1,12 @@
-# Copyright 1999-2013 Gentoo Foundation
+# Copyright 1999-2014 Gentoo Foundation
 # Distributed under the terms of the GNU General Public License v2
-# $Header: /var/cvsroot/gentoo-x86/dev-ml/facile/facile-1.1.ebuild,v 1.20 2013/08/19 13:26:14 aballier Exp $
+# $Header: /var/cvsroot/gentoo-x86/dev-ml/facile/facile-1.1.ebuild,v 1.21 2014/08/10 20:42:43 slyfox Exp $
 
 EAPI=5
 
 inherit eutils
 
-DESCRIPTION="A constraint programming library on integer and integer set finite domains written in OCaml."
+DESCRIPTION="A constraint programming library on integer and integer set finite domains written in OCaml"
 HOMEPAGE="http://www.recherche.enac.fr/log/facile/"
 SRC_URI="http://www.recherche.enac.fr/log/facile/distrib/${P}.tar.gz"
 



1.21                 dev-ml/facile/ChangeLog

file : http://sources.gentoo.org/viewvc.cgi/gentoo-x86/dev-ml/facile/ChangeLog?rev=1.21&view=markup
plain: http://sources.gentoo.org/viewvc.cgi/gentoo-x86/dev-ml/facile/ChangeLog?rev=1.21&content-type=text/plain
diff : http://sources.gentoo.org/viewvc.cgi/gentoo-x86/dev-ml/facile/ChangeLog?r1=1.20&r2=1.21

Index: ChangeLog
===================================================================
RCS file: /var/cvsroot/gentoo-x86/dev-ml/facile/ChangeLog,v
retrieving revision 1.20
retrieving revision 1.21
diff -u -r1.20 -r1.21
--- ChangeLog	19 Aug 2013 13:26:14 -0000	1.20
+++ ChangeLog	10 Aug 2014 20:42:43 -0000	1.21
@@ -1,6 +1,9 @@
 # ChangeLog for dev-ml/facile
-# Copyright 1999-2013 Gentoo Foundation; Distributed under the GPL v2
-# $Header: /var/cvsroot/gentoo-x86/dev-ml/facile/ChangeLog,v 1.20 2013/08/19 13:26:14 aballier Exp $
+# Copyright 1999-2014 Gentoo Foundation; Distributed under the GPL v2
+# $Header: /var/cvsroot/gentoo-x86/dev-ml/facile/ChangeLog,v 1.21 2014/08/10 20:42:43 slyfox Exp $
+
+  10 Aug 2014; Sergei Trofimovich <slyfox@gentoo.org> facile-1.1.ebuild:
+  QA: drop trailing '.' from DESCRIPTION
 
   19 Aug 2013; Alexis Ballier <aballier@gentoo.org> facile-1.1.ebuild:
   eapi5, define subslot for ocaml rev deps, add := dep on ocaml
@@ -80,4 +83,3 @@
   18 Jul 2007; Emanuele A. Bagnaschi <zephyrus@mirach.it> +metadata.xml,
   facile-1.1.ebuild:
   Added Changelog and metadata. Fixed LICENSE.
-





^ permalink raw reply	[flat|nested] 20+ messages in thread

end of thread, other threads:[~2014-08-11 20:20 UTC | newest]

Thread overview: 20+ messages (download: mbox.gz follow: Atom feed
-- links below jump to the message on this page --
2009-09-28 16:31 [gentoo-commits] gentoo-x86 commit in dev-ml/facile: facile-1.1.ebuild ChangeLog Petteri Raty (betelgeuse)
  -- strict thread matches above, loose matches on Subject: below --
2014-08-10 20:42 Sergei Trofimovich (slyfox)
2013-08-19 13:26 Alexis Ballier (aballier)
2012-10-10 13:04 Alexis Ballier (aballier)
2011-01-03 21:12 Andreas HAttel (dilfridge)
2009-09-28 16:34 Petteri Raty (betelgeuse)
2009-01-21 23:27 Alexis Ballier (aballier)
2008-01-31  2:00 Brent Baude (ranger)
2008-01-30  7:37 Christian Faulhammer (opfer)
2008-01-29 14:53 Raul Porcel (armin76)
2008-01-29 12:06 Brent Baude (ranger)
2008-01-28 19:22 Wulf Krueger (philantrop)
2008-01-28 17:07 Jeroen Roovers (jer)
2008-01-06 18:11 Alexis Ballier (aballier)
2007-10-23 21:17 Jeroen Roovers (jer)
2007-10-23 12:21 Roy Marples (uberlord)
2007-10-13 10:26 Markus Rothe (corsair)
2007-09-27 13:51 Raul Porcel (armin76)
2007-09-22 15:27 Gysbert Wassenaar (nixnut)
2007-09-12 14:21 Raul Porcel (armin76)

This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox