* [gentoo-commits] repo/gentoo:master commit in: dev-ml/dose3/files/, dev-ml/dose3/
@ 2015-09-14 15:50 Alexis Ballier
0 siblings, 0 replies; 3+ messages in thread
From: Alexis Ballier @ 2015-09-14 15:50 UTC (permalink / raw
To: gentoo-commits
commit: 2d3422fdb37800217b663d8999ee0a380b462267
Author: Alexis Ballier <aballier <AT> gentoo <DOT> org>
AuthorDate: Mon Sep 14 15:48:30 2015 +0000
Commit: Alexis Ballier <aballier <AT> gentoo <DOT> org>
CommitDate: Mon Sep 14 15:50:17 2015 +0000
URL: https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=2d3422fd
dev-ml/dose3: fix build with latest extlib.
Package-Manager: portage-2.2.20.1
dev-ml/dose3/dose3-3.3.ebuild | 3 +++
dev-ml/dose3/files/extlib.patch | 12 ++++++++++++
2 files changed, 15 insertions(+)
diff --git a/dev-ml/dose3/dose3-3.3.ebuild b/dev-ml/dose3/dose3-3.3.ebuild
index 808c7af..f9ac6f6 100644
--- a/dev-ml/dose3/dose3-3.3.ebuild
+++ b/dev-ml/dose3/dose3-3.3.ebuild
@@ -4,6 +4,8 @@
EAPI=5
+inherit eutils
+
MY_P="${P/_beta/-beta}"
DESCRIPTION="Library and a collection of tools to perform la large spectrum of analysis on package repositories"
HOMEPAGE="http://dose.gforge.inria.fr/public_html/"
@@ -39,6 +41,7 @@ S="${WORKDIR}/${MY_P}"
src_prepare() {
sed -e 's/INSTALLOPTS=-s/INSTALLOPTS=/' -i Makefile.config.in || die
+ has_version '>=dev-ml/extlib-1.7' && epatch "${FILESDIR}/extlib.patch"
}
src_configure() {
diff --git a/dev-ml/dose3/files/extlib.patch b/dev-ml/dose3/files/extlib.patch
new file mode 100644
index 0000000..f4a16de
--- /dev/null
+++ b/dev-ml/dose3/files/extlib.patch
@@ -0,0 +1,12 @@
+Index: dose3-3.3/doseparse/stdOptions.ml
+===================================================================
+--- dose3-3.3.orig/doseparse/stdOptions.ml
++++ dose3-3.3/doseparse/stdOptions.ml
+@@ -20,6 +20,7 @@ include Util.Logging(struct let label =
+ module type Ot = sig
+ val options :
+ ?usage:string ->
++ ?status:int ->
+ ?version:string ->
+ ?suppress_usage:bool ->
+ ?suppress_help:bool ->
^ permalink raw reply related [flat|nested] 3+ messages in thread
* [gentoo-commits] repo/gentoo:master commit in: dev-ml/dose3/files/, dev-ml/dose3/
@ 2016-01-19 11:35 Alexis Ballier
0 siblings, 0 replies; 3+ messages in thread
From: Alexis Ballier @ 2016-01-19 11:35 UTC (permalink / raw
To: gentoo-commits
commit: 88ac56ef28f8adde9a97e41d4b7fdaf1d6a9537d
Author: Alexis Ballier <aballier <AT> gentoo <DOT> org>
AuthorDate: Tue Jan 19 11:32:36 2016 +0000
Commit: Alexis Ballier <aballier <AT> gentoo <DOT> org>
CommitDate: Tue Jan 19 11:35:24 2016 +0000
URL: https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=88ac56ef
dev-ml/dose3: remove old
Package-Manager: portage-2.2.27
Signed-off-by: Alexis Ballier <aballier <AT> gentoo.org>
dev-ml/dose3/Manifest | 3 --
dev-ml/dose3/dose3-3.3.ebuild | 61 ----------------------------------
dev-ml/dose3/dose3-3.3_beta2-r2.ebuild | 55 ------------------------------
dev-ml/dose3/dose3-4.0_rc3.ebuild | 60 ---------------------------------
dev-ml/dose3/files/extlib.patch | 12 -------
5 files changed, 191 deletions(-)
diff --git a/dev-ml/dose3/Manifest b/dev-ml/dose3/Manifest
index 1bc9277..e4f7a90 100644
--- a/dev-ml/dose3/Manifest
+++ b/dev-ml/dose3/Manifest
@@ -1,4 +1 @@
-DIST dose3-3.3-beta2.tar.gz 257564 SHA256 ec73f6ad8da999a90b4c20633c55dac78755018c0128592501f3931396d85abf SHA512 7540b2390f8ef49acdf4ac5c7598e25137b380f4d0b862d75a144a2e12d3f7e24633e8f0e3597f74cd48491f9fa7559dc1664692eb3a840eca26e0f077550db8 WHIRLPOOL 6ad1e502ac85c9e873703f5f11f8291fe24a2bd79f6c659ff7f22d001f37114e8568db915ef6e2b2dd245eaceb3eaa00797d47626577cf33df057762eb727af2
-DIST dose3-3.3.tar.gz 257658 SHA256 8dc4dae9b1a81bb3a42abb283df785ba3eb00ade29b13875821c69f03e00680e SHA512 0decf753f6f4a9fc73ac2cf8eb4b6b464f16cba2fa7f97d8e7c6f37cb63749ee171c3273019a9a9a42141fdb7843a730e5a5dfc0ebba68d4a8d50261165d71be WHIRLPOOL bd2f863a7ffa9fc34c1f4595950441d05984b9d26c3b54067ed24ca4e1e05795f7b1f1c213e8c20a089360c8a50c324f9472f22cb9cbfe4f59fe8e919f370de9
-DIST dose3-4.0-rc3.tar.gz 326340 SHA256 c464b3f17f376cc672e9fef4024ca874fadbe42e4e86e7e7e167f8fd1d8a1946 SHA512 c3dfb7d97d9ab4321af991beefc42cafda5d07ac94e2dc941470aa05442cbbb422aec2b07e9df2c60de721e1cc0725a73d44a069ad154897de94fe4312e91853 WHIRLPOOL 4ab2633162a72d079e66dddba081fcbfa5f817575451960ad6d64bfa5531249d55b014affe92323497d1c28a3c86666a4d7c8a5ca75a582f075f3f351ecf94c4
DIST dose3-4.2.tar.gz 281555 SHA256 ed37414baded4a175b47d4e2856c1e827fc7fb9939cc9e176a1d46e5048d8526 SHA512 d64443899f874254834165c44d0400eff5fa80e1d1d41f76b94fbb11ae0b34aa75dcbb8cc9a5e510e2f91d147e11391f36c45ef0fb24536fffcfc68d686c5fa1 WHIRLPOOL cce3baa6dfe922a3b04e8683aea785bbfd3050a70a0c0b533457fe41f274eca1e62343bca34e08307e9818252d09c2d6b24b4b2fb0efb1321fd38fd478b7428e
diff --git a/dev-ml/dose3/dose3-3.3.ebuild b/dev-ml/dose3/dose3-3.3.ebuild
deleted file mode 100644
index f9ac6f6..0000000
--- a/dev-ml/dose3/dose3-3.3.ebuild
+++ /dev/null
@@ -1,61 +0,0 @@
-# Copyright 1999-2015 Gentoo Foundation
-# Distributed under the terms of the GNU General Public License v2
-# $Id$
-
-EAPI=5
-
-inherit eutils
-
-MY_P="${P/_beta/-beta}"
-DESCRIPTION="Library and a collection of tools to perform la large spectrum of analysis on package repositories"
-HOMEPAGE="http://dose.gforge.inria.fr/public_html/"
-SRC_URI="https://gforge.inria.fr/frs/download.php/file/34277/${MY_P}.tar.gz"
-
-LICENSE="LGPL-3"
-SLOT="0/${PV}"
-KEYWORDS="~amd64"
-IUSE="+ocamlopt +parmap zip bzip2 xml curl rpm4 test"
-
-RDEPEND="
- >=dev-lang/ocaml-3.12:=[ocamlopt?]
- dev-ml/cudf:=
- dev-ml/extlib:=
- dev-ml/ocaml-re:=
- || ( dev-ml/camlp4:= <dev-lang/ocaml-4.02.0 )
- parmap? ( dev-ml/parmap:= )
- zip? ( dev-ml/camlzip:= )
- bzip2? ( dev-ml/camlbz2:= )
- >=dev-ml/ocamlgraph-1.8.5:=
- xml? ( dev-ml/ocaml-expat:= dev-ml/xml-light:= )
- curl? ( dev-ml/ocurl:= )
- rpm4? ( app-arch/rpm )
-"
-DEPEND="${RDEPEND}
- dev-ml/findlib
- test? ( dev-python/pyyaml[libyaml] )
-"
-# missing test data
-RESTRICT="test"
-
-S="${WORKDIR}/${MY_P}"
-
-src_prepare() {
- sed -e 's/INSTALLOPTS=-s/INSTALLOPTS=/' -i Makefile.config.in || die
- has_version '>=dev-ml/extlib-1.7' && epatch "${FILESDIR}/extlib.patch"
-}
-
-src_configure() {
- econf \
- $(use ocamlopt || echo "--with-bytecodeonly") \
- $(use parmap && echo "--with-parmap") \
- $(use zip && echo "--with-zip") \
- $(use bzip2 && echo "--with-bz2") \
- --with-ocamlgraph \
- $(use xml && echo "--with-xml") \
- $(use curl && echo "--with-curl") \
- $(use rpm4 && echo "--with-rpm4")
-}
-
-src_compile() {
- emake -j1
-}
diff --git a/dev-ml/dose3/dose3-3.3_beta2-r2.ebuild b/dev-ml/dose3/dose3-3.3_beta2-r2.ebuild
deleted file mode 100644
index ea4d61e..0000000
--- a/dev-ml/dose3/dose3-3.3_beta2-r2.ebuild
+++ /dev/null
@@ -1,55 +0,0 @@
-# Copyright 1999-2014 Gentoo Foundation
-# Distributed under the terms of the GNU General Public License v2
-# $Id$
-
-EAPI=5
-
-MY_P="${P/_beta/-beta}"
-DESCRIPTION="Library and a collection of tools to perform la large spectrum of analysis on package repositories"
-HOMEPAGE="http://dose.gforge.inria.fr/public_html/"
-SRC_URI="https://gforge.inria.fr/frs/download.php/file/34180/${MY_P}.tar.gz"
-
-LICENSE="LGPL-3"
-SLOT="0/${PV}"
-KEYWORDS="~amd64"
-IUSE="+ocamlopt +parmap zip bzip2 xml curl rpm4"
-
-RDEPEND="
- >=dev-lang/ocaml-3.12:=[ocamlopt?]
- dev-ml/cudf:=
- dev-ml/extlib:=
- dev-ml/ocaml-re:=
- || ( dev-ml/camlp4:= <dev-lang/ocaml-4.02.0 )
- parmap? ( dev-ml/parmap:= )
- zip? ( dev-ml/camlzip:= )
- bzip2? ( dev-ml/camlbz2:= )
- >=dev-ml/ocamlgraph-1.8.5:=
- xml? ( dev-ml/ocaml-expat:= dev-ml/xml-light:= )
- curl? ( dev-ml/ocurl:= )
- rpm4? ( app-arch/rpm )
-"
-DEPEND="${RDEPEND}
- dev-ml/findlib
-"
-
-S="${WORKDIR}/${MY_P}"
-
-src_prepare() {
- sed -e 's/INSTALLOPTS=-s/INSTALLOPTS=/' -i Makefile.config.in || die
-}
-
-src_configure() {
- econf \
- $(use ocamlopt || echo "--with-bytecodeonly") \
- $(use parmap && echo "--with-parmap") \
- $(use zip && echo "--with-zip") \
- $(use bzip2 && echo "--with-bz2") \
- --with-ocamlgraph \
- $(use xml && echo "--with-xml") \
- $(use curl && echo "--with-curl") \
- $(use rpm4 && echo "--with-rpm4")
-}
-
-src_compile() {
- emake -j1
-}
diff --git a/dev-ml/dose3/dose3-4.0_rc3.ebuild b/dev-ml/dose3/dose3-4.0_rc3.ebuild
deleted file mode 100644
index 414b97f..0000000
--- a/dev-ml/dose3/dose3-4.0_rc3.ebuild
+++ /dev/null
@@ -1,60 +0,0 @@
-# Copyright 1999-2015 Gentoo Foundation
-# Distributed under the terms of the GNU General Public License v2
-# $Id$
-
-EAPI=5
-
-MY_P="${P/_beta/-beta}"
-MY_P="${MY_P/_rc/-rc}"
-DESCRIPTION="Library and a collection of tools to perform la large spectrum of analysis on package repositories"
-HOMEPAGE="http://dose.gforge.inria.fr/public_html/"
-SRC_URI="https://gforge.inria.fr/frs/download.php/file/34909/${MY_P}.tar.gz"
-
-LICENSE="LGPL-3"
-SLOT="0/${PV}"
-#Breaks dev-ml/opam, its sole revdep
-#KEYWORDS="~amd64"
-IUSE="+ocamlopt +parmap zip bzip2 xml curl rpm4 test"
-
-RDEPEND="
- >=dev-lang/ocaml-3.12:=[ocamlopt?]
- dev-ml/cudf:=
- dev-ml/extlib:=
- dev-ml/ocaml-re:=
- dev-ml/cppo:=
- parmap? ( dev-ml/parmap:= )
- zip? ( dev-ml/camlzip:= )
- bzip2? ( dev-ml/camlbz2:= )
- >=dev-ml/ocamlgraph-1.8.5:=
- xml? ( dev-ml/ocaml-expat:= dev-ml/xml-light:= )
- curl? ( dev-ml/ocurl:= )
- rpm4? ( app-arch/rpm )
-"
-DEPEND="${RDEPEND}
- dev-ml/findlib
- test? ( dev-python/pyyaml[libyaml] )
-"
-# missing test data
-RESTRICT="test"
-
-S="${WORKDIR}/${MY_P}"
-
-src_prepare() {
- sed -e 's/INSTALLOPTS=-s/INSTALLOPTS=/' -i Makefile.config.in || die
-}
-
-src_configure() {
- econf \
- $(use ocamlopt || echo "--with-bytecodeonly") \
- $(use parmap && echo "--with-parmap") \
- $(use zip && echo "--with-zip") \
- $(use bzip2 && echo "--with-bz2") \
- --with-ocamlgraph \
- $(use xml && echo "--with-xml") \
- $(use curl && echo "--with-curl") \
- $(use rpm4 && echo "--with-rpm4")
-}
-
-src_compile() {
- emake -j1
-}
diff --git a/dev-ml/dose3/files/extlib.patch b/dev-ml/dose3/files/extlib.patch
deleted file mode 100644
index f4a16de..0000000
--- a/dev-ml/dose3/files/extlib.patch
+++ /dev/null
@@ -1,12 +0,0 @@
-Index: dose3-3.3/doseparse/stdOptions.ml
-===================================================================
---- dose3-3.3.orig/doseparse/stdOptions.ml
-+++ dose3-3.3/doseparse/stdOptions.ml
-@@ -20,6 +20,7 @@ include Util.Logging(struct let label =
- module type Ot = sig
- val options :
- ?usage:string ->
-+ ?status:int ->
- ?version:string ->
- ?suppress_usage:bool ->
- ?suppress_help:bool ->
^ permalink raw reply related [flat|nested] 3+ messages in thread
* [gentoo-commits] repo/gentoo:master commit in: dev-ml/dose3/files/, dev-ml/dose3/
@ 2016-12-13 13:57 Alexis Ballier
0 siblings, 0 replies; 3+ messages in thread
From: Alexis Ballier @ 2016-12-13 13:57 UTC (permalink / raw
To: gentoo-commits
commit: 742d67c5ccbe4f2ff4e214923019a3d36e7abbe5
Author: Alexis Ballier <aballier <AT> gentoo <DOT> org>
AuthorDate: Tue Dec 13 13:50:47 2016 +0000
Commit: Alexis Ballier <aballier <AT> gentoo <DOT> org>
CommitDate: Tue Dec 13 13:50:47 2016 +0000
URL: https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=742d67c5
dev-ml/dose3: remove old
Package-Manager: Portage-2.3.3, Repoman-2.3.1
dev-ml/dose3/Manifest | 2 --
dev-ml/dose3/dose3-4.2.ebuild | 66 -------------------------------------
dev-ml/dose3/dose3-4.3.ebuild | 66 -------------------------------------
dev-ml/dose3/files/ocamlgraph.patch | 13 --------
4 files changed, 147 deletions(-)
diff --git a/dev-ml/dose3/Manifest b/dev-ml/dose3/Manifest
index e98c6fc..05c249a 100644
--- a/dev-ml/dose3/Manifest
+++ b/dev-ml/dose3/Manifest
@@ -1,3 +1 @@
-DIST dose3-4.2.tar.gz 281555 SHA256 ed37414baded4a175b47d4e2856c1e827fc7fb9939cc9e176a1d46e5048d8526 SHA512 d64443899f874254834165c44d0400eff5fa80e1d1d41f76b94fbb11ae0b34aa75dcbb8cc9a5e510e2f91d147e11391f36c45ef0fb24536fffcfc68d686c5fa1 WHIRLPOOL cce3baa6dfe922a3b04e8683aea785bbfd3050a70a0c0b533457fe41f274eca1e62343bca34e08307e9818252d09c2d6b24b4b2fb0efb1321fd38fd478b7428e
-DIST dose3-4.3.tar.gz 293844 SHA256 269dd817d7130ae9289eab2aea540a7f1f00ceac6644320cf8119dc5b597b6e4 SHA512 96e0ef2d884214efc4cf140582d9fedc15b1fe33d21b6b23309cd2d745bafd5871b58b0234fb0b76711bcd07087d04f07fabd1c2c1c757157c9e50b90931357d WHIRLPOOL 4cb42a3b2bd63aca1d0270a62ea7d2a174e7c4bd389109071e80167b4218676919c69fd5f19d4c63fbd186cb62c239155e8dadcb2145b08ac24579e031d4419f
DIST dose3-5.0.1.tar.gz 297433 SHA256 558af92b0ec5dd219e67802c95a850cab9582df381bddd2cfe431049aaf3db03 SHA512 e66526319446054041f138ee2633043d0832089f6a554cf566a28de899d10383acfb1aa6bf1a368811602939676510933a7d2404fd34dbeba15045b458f5af84 WHIRLPOOL d8f3e58841b73c4b33f5e308c428778d1040e12b1394d6eb4f934f61ae321d4805485b0182362fec8ecb95500d180580df6fb27585aec1fe5e38f9d6da72e1cd
diff --git a/dev-ml/dose3/dose3-4.2.ebuild b/dev-ml/dose3/dose3-4.2.ebuild
deleted file mode 100644
index cbdaeb6..00000000
--- a/dev-ml/dose3/dose3-4.2.ebuild
+++ /dev/null
@@ -1,66 +0,0 @@
-# Copyright 1999-2015 Gentoo Foundation
-# Distributed under the terms of the GNU General Public License v2
-# $Id$
-
-EAPI=5
-
-inherit eutils
-
-MY_P="${P/_beta/-beta}"
-DESCRIPTION="Library and a collection of tools to perform la large spectrum of analysis on package repositories"
-HOMEPAGE="http://www.mancoosi.org/software/ https://gforge.inria.fr/projects/dose"
-SRC_URI="https://gforge.inria.fr/frs/download.php/file/35465/${P}.tar.gz"
-
-LICENSE="LGPL-3"
-SLOT="0/${PV}"
-KEYWORDS="~amd64"
-IUSE="+ocamlopt +parmap zip bzip2 xml curl rpm4 test"
-
-RDEPEND="
- >=dev-lang/ocaml-3.12:=[ocamlopt?]
- dev-ml/cudf:=
- >=dev-ml/extlib-1.7.0:=
- dev-ml/ocaml-re:=
- dev-ml/cppo:=
- parmap? ( dev-ml/parmap:= )
- zip? ( dev-ml/camlzip:= )
- bzip2? ( dev-ml/camlbz2:= )
- >=dev-ml/ocamlgraph-1.8.6:=
- xml? ( dev-ml/ocaml-expat:= dev-ml/xml-light:= )
- curl? ( dev-ml/ocurl:= )
- rpm4? ( app-arch/rpm )
-"
-DEPEND="${RDEPEND}
- dev-ml/findlib
- dev-ml/ocamlbuild
- test? ( dev-python/pyyaml[libyaml] )
-"
-# missing test data
-RESTRICT="test"
-
-S="${WORKDIR}/${MY_P}"
-
-src_prepare() {
- sed -e 's/INSTALLOPTS=-s/INSTALLOPTS=/' -i Makefile.config.in || die
-}
-
-src_configure() {
- econf \
- $(use ocamlopt || echo "--with-bytecodeonly") \
- $(use parmap && echo "--with-parmap") \
- $(use zip && echo "--with-zip") \
- $(use bzip2 && echo "--with-bz2") \
- --with-ocamlgraph \
- $(use xml && echo "--with-xml") \
- $(use curl && echo "--with-curl") \
- $(use rpm4 && echo "--with-rpm4")
-}
-
-src_compile() {
- emake -j1
-}
-
-src_install() {
- emake DESTDIR="${D}" BINDIR="${ED}/usr/bin" install || die
- dodoc CHANGES CREDITS README.architecture TODO
-}
diff --git a/dev-ml/dose3/dose3-4.3.ebuild b/dev-ml/dose3/dose3-4.3.ebuild
deleted file mode 100644
index b1e79b0..00000000
--- a/dev-ml/dose3/dose3-4.3.ebuild
+++ /dev/null
@@ -1,66 +0,0 @@
-# Copyright 1999-2015 Gentoo Foundation
-# Distributed under the terms of the GNU General Public License v2
-# $Id$
-
-EAPI=5
-
-inherit eutils
-
-MY_P="${P/_beta/-beta}"
-DESCRIPTION="Library and a collection of tools to perform la large spectrum of analysis on package repositories"
-HOMEPAGE="http://www.mancoosi.org/software/ https://gforge.inria.fr/projects/dose"
-SRC_URI="https://gforge.inria.fr/frs/download.php/file/35797/${P}.tar.gz"
-
-LICENSE="LGPL-3"
-SLOT="0/${PV}"
-KEYWORDS="~amd64"
-IUSE="+ocamlopt parmap zip bzip2 xml curl rpm4 test"
-
-RDEPEND="
- >=dev-lang/ocaml-3.12:=[ocamlopt?]
- dev-ml/cudf:=
- >=dev-ml/extlib-1.7.0:=
- dev-ml/ocaml-re:=
- dev-ml/cppo:=
- parmap? ( dev-ml/parmap:= )
- zip? ( dev-ml/camlzip:= )
- bzip2? ( dev-ml/camlbz2:= )
- >=dev-ml/ocamlgraph-1.8.6:=
- xml? ( dev-ml/ocaml-expat:= dev-ml/xml-light:= )
- curl? ( dev-ml/ocurl:= )
- rpm4? ( app-arch/rpm )
-"
-DEPEND="${RDEPEND}
- dev-ml/findlib
- dev-ml/ocamlbuild
- test? ( dev-python/pyyaml[libyaml] )
-"
-# missing test data
-RESTRICT="test"
-
-S="${WORKDIR}/${MY_P}"
-
-src_prepare() {
- epatch "${FILESDIR}/ocamlgraph.patch"
- sed -e 's/INSTALLOPTS=-s/INSTALLOPTS=/' -i Makefile.config.in || die
-}
-
-src_configure() {
- econf \
- $(use ocamlopt || echo "--with-bytecodeonly") \
- $(use parmap && echo "--with-parmap") \
- $(use zip && echo "--with-zip") \
- $(use bzip2 && echo "--with-bz2") \
- $(use xml && echo "--with-xml") \
- $(use curl && echo "--with-curl") \
- $(use rpm4 && echo "--with-rpm4")
-}
-
-src_compile() {
- emake -j1
-}
-
-src_install() {
- emake DESTDIR="${D}" BINDIR="${ED}/usr/bin" install || die
- dodoc CHANGES CREDITS README.architecture TODO
-}
diff --git a/dev-ml/dose3/files/ocamlgraph.patch b/dev-ml/dose3/files/ocamlgraph.patch
deleted file mode 100644
index 6f8edee..00000000
--- a/dev-ml/dose3/files/ocamlgraph.patch
+++ /dev/null
@@ -1,13 +0,0 @@
-Index: dose3-4.3/algo/dominators.ml
-===================================================================
---- dose3-4.3.orig/algo/dominators.ml
-+++ dose3-4.3/algo/dominators.ml
-@@ -101,7 +101,7 @@ let dominators_tarjan graph =
- ) graph;
-
- Util.Timer.start tjntimer;
--#if OCAMLGRAPHVERSION <= 186
-+#if OCAMLGRAPHVERSION >= 186
- let module Dom = Dominator.Make_graph(G) in
- #else
- let module Dom = Dominator.Make(G) in
^ permalink raw reply related [flat|nested] 3+ messages in thread
end of thread, other threads:[~2016-12-13 13:57 UTC | newest]
Thread overview: 3+ messages (download: mbox.gz follow: Atom feed
-- links below jump to the message on this page --
2016-01-19 11:35 [gentoo-commits] repo/gentoo:master commit in: dev-ml/dose3/files/, dev-ml/dose3/ Alexis Ballier
-- strict thread matches above, loose matches on Subject: below --
2016-12-13 13:57 Alexis Ballier
2015-09-14 15:50 Alexis Ballier
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox