* [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