public inbox for gentoo-commits@lists.gentoo.org
 help / color / mirror / Atom feed
* [gentoo-commits] proj/sci:master commit in: sci-mathematics/apron/
@ 2011-02-13  7:13 Jonathan-Christofer Demay
  0 siblings, 0 replies; 8+ messages in thread
From: Jonathan-Christofer Demay @ 2011-02-13  7:13 UTC (permalink / raw
  To: gentoo-commits

commit:     6a16b3380e21a8a145ceb7b11cb7c4143c57c035
Author:     Jonathan-Christofer Demay <jcdemay <AT> gmail <DOT> com>
AuthorDate: Sun Feb 13 09:15:31 2011 +0000
Commit:     Jonathan-Christofer Demay <jcdemay <AT> gmail <DOT> com>
CommitDate: Sun Feb 13 09:15:31 2011 +0000
URL:        http://git.overlays.gentoo.org/gitweb/?p=proj/sci.git;a=commit;h=6a16b338

sci-mathematics/apron: doc generation for cxx fixed using dev-tex/rubber

---
 sci-mathematics/apron/ChangeLog           |    4 ++++
 sci-mathematics/apron/apron-0.9.10.ebuild |    5 ++++-
 2 files changed, 8 insertions(+), 1 deletions(-)

diff --git a/sci-mathematics/apron/ChangeLog b/sci-mathematics/apron/ChangeLog
index 1774f49..eddd171 100644
--- a/sci-mathematics/apron/ChangeLog
+++ b/sci-mathematics/apron/ChangeLog
@@ -2,6 +2,10 @@
 # Copyright 1999-2010 Gentoo Foundation; Distributed under the GPL v2
 # $Header: $
 
+  13 Feb 2011; J.C. Demay <jcdemay@gmail.com>
+  apron-0.9.10.ebuild:
+  doc generation for cxx fixed using dev-tex/rubber 
+
   04 Jul 2010; Andreas K. Huettel (dilfridge) <mail@akhuettel.de>
   apron-0.9.10.ebuild, metadata.xml:
   Silence repoman; drop ~sparc since dependencies cannot be fulfilled; move

diff --git a/sci-mathematics/apron/apron-0.9.10.ebuild b/sci-mathematics/apron/apron-0.9.10.ebuild
index 4d82cca..567a991 100644
--- a/sci-mathematics/apron/apron-0.9.10.ebuild
+++ b/sci-mathematics/apron/apron-0.9.10.ebuild
@@ -24,7 +24,8 @@ RDEPEND="ocaml? ( >=dev-lang/ocaml-3.09
 DEPEND="${RDEPEND}
 		doc? ( app-text/texlive
 				app-text/ghostscript-gpl
-				cxx? ( app-doc/doxygen ) )"
+				cxx? ( app-doc/doxygen
+						dev-tex/rubber ) )"
 
 src_prepare() {
 	mv Makefile.config.model Makefile.config
@@ -38,6 +39,8 @@ src_prepare() {
 
 	#fix doc building process
 	sed -i Makefile -e "s/; make html/; make/g"
+	sed -i apronxx/Makefile \
+		-e "s:cd doc/latex && make:cd doc/latex; rubber refman.tex &> /dev/null; pdflatex refman.tex:g"
 	sed -i apronxx/doc/Doxyfile \
 		-e "s/OUTPUT_DIRECTORY       = \/.*/OUTPUT_DIRECTORY       = .\//g" \
 		-e "s/STRIP_FROM_PATH        = \/.*/STRIP_FROM_PATH        = .\//g"



^ permalink raw reply related	[flat|nested] 8+ messages in thread
* [gentoo-commits] proj/sci:master commit in: sci-mathematics/apron/
@ 2011-05-11 23:49 Jonathan-Christofer Demay
  0 siblings, 0 replies; 8+ messages in thread
From: Jonathan-Christofer Demay @ 2011-05-11 23:49 UTC (permalink / raw
  To: gentoo-commits

commit:     0dddc16522aec26ddaf5cd97ae8f8ef734111cbd
Author:     Jonathan-Christofer Demay <jcdemay <AT> gmail <DOT> com>
AuthorDate: Wed May 11 23:48:36 2011 +0000
Commit:     Jonathan-Christofer Demay <jcdemay <AT> gmail <DOT> com>
CommitDate: Wed May 11 23:48:36 2011 +0000
URL:        http://git.overlays.gentoo.org/gitweb/?p=proj/sci.git;a=commit;h=0dddc165

sci-mathematics/apron: fix doc building

---
 sci-mathematics/apron/ChangeLog           |    2 +-
 sci-mathematics/apron/apron-0.9.10.ebuild |    2 +-
 2 files changed, 2 insertions(+), 2 deletions(-)

diff --git a/sci-mathematics/apron/ChangeLog b/sci-mathematics/apron/ChangeLog
index eddd171..0eb1de4 100644
--- a/sci-mathematics/apron/ChangeLog
+++ b/sci-mathematics/apron/ChangeLog
@@ -1,5 +1,5 @@
 # ChangeLog for sci-mathematics/apron
-# Copyright 1999-2010 Gentoo Foundation; Distributed under the GPL v2
+# Copyright 1999-2011 Gentoo Foundation; Distributed under the GPL v2
 # $Header: $
 
   13 Feb 2011; J.C. Demay <jcdemay@gmail.com>

diff --git a/sci-mathematics/apron/apron-0.9.10.ebuild b/sci-mathematics/apron/apron-0.9.10.ebuild
index 567a991..fdd62ca 100644
--- a/sci-mathematics/apron/apron-0.9.10.ebuild
+++ b/sci-mathematics/apron/apron-0.9.10.ebuild
@@ -40,7 +40,7 @@ src_prepare() {
 	#fix doc building process
 	sed -i Makefile -e "s/; make html/; make/g"
 	sed -i apronxx/Makefile \
-		-e "s:cd doc/latex && make:cd doc/latex; rubber refman.tex &> /dev/null; pdflatex refman.tex:g"
+		-e "s:cd doc/latex && make:cd doc/latex; rubber refman.tex; dvipdf refman.dvi:g"
 	sed -i apronxx/doc/Doxyfile \
 		-e "s/OUTPUT_DIRECTORY       = \/.*/OUTPUT_DIRECTORY       = .\//g" \
 		-e "s/STRIP_FROM_PATH        = \/.*/STRIP_FROM_PATH        = .\//g"



^ permalink raw reply related	[flat|nested] 8+ messages in thread
* [gentoo-commits] proj/sci:master commit in: sci-mathematics/apron/
@ 2012-02-06 14:18 Jonathan-Christofer Demay
  0 siblings, 0 replies; 8+ messages in thread
From: Jonathan-Christofer Demay @ 2012-02-06 14:18 UTC (permalink / raw
  To: gentoo-commits

commit:     310b13cdd878e707be0a8322d4d37ef540b446c2
Author:     Jonathan-Christofer Demay <jcdemay <AT> gmail <DOT> com>
AuthorDate: Mon Feb  6 14:13:42 2012 +0000
Commit:     Jonathan-Christofer Demay <jcdemay <AT> gmail <DOT> com>
CommitDate: Mon Feb  6 14:13:42 2012 +0000
URL:        http://git.overlays.gentoo.org/gitweb/?p=proj/sci.git;a=commit;h=310b13cd

sci-mathematics/apron: QA fixes

---
 sci-mathematics/apron/metadata.xml |    2 +-
 1 files changed, 1 insertions(+), 1 deletions(-)

diff --git a/sci-mathematics/apron/metadata.xml b/sci-mathematics/apron/metadata.xml
index 1640842..49895e2 100644
--- a/sci-mathematics/apron/metadata.xml
+++ b/sci-mathematics/apron/metadata.xml
@@ -1,7 +1,7 @@
 <?xml version="1.0" encoding="UTF-8"?>
 <!DOCTYPE pkgmetadata SYSTEM "http://www.gentoo.org/dtd/metadata.dtd">
 <pkgmetadata>
-	<herd>sci-mathematics</herd>
+	<herd>sci</herd>
 	<longdescription>
 		The APRON library is dedicated to the static analysis of the numerical
 		variables of a program by Abstract Interpretation. The aim of such an



^ permalink raw reply related	[flat|nested] 8+ messages in thread
* [gentoo-commits] proj/sci:master commit in: sci-mathematics/apron/
@ 2012-05-09 20:13 Jonathan-Christofer Demay
  0 siblings, 0 replies; 8+ messages in thread
From: Jonathan-Christofer Demay @ 2012-05-09 20:13 UTC (permalink / raw
  To: gentoo-commits

commit:     59daf4f506a68162a2ff11f5ffe6e9ba6a407f1c
Author:     Jonathan-Christofer Demay <jcdemay <AT> gmail <DOT> com>
AuthorDate: Wed May  9 21:58:10 2012 +0000
Commit:     Jonathan-Christofer Demay <jcdemay <AT> gmail <DOT> com>
CommitDate: Wed May  9 21:58:10 2012 +0000
URL:        http://git.overlays.gentoo.org/gitweb/?p=proj/sci.git;a=commit;h=59daf4f5

sci-mathematics/apron: fixes conflict of USE flags

---
 sci-mathematics/apron/apron-0.9.10.ebuild |   10 ++++++----
 1 files changed, 6 insertions(+), 4 deletions(-)

diff --git a/sci-mathematics/apron/apron-0.9.10.ebuild b/sci-mathematics/apron/apron-0.9.10.ebuild
index fdd62ca..fa13ad7 100644
--- a/sci-mathematics/apron/apron-0.9.10.ebuild
+++ b/sci-mathematics/apron/apron-0.9.10.ebuild
@@ -57,10 +57,12 @@ src_prepare() {
 	if use ppl; then
 		sed -i -e "s/# HAS_PPL = 1/HAS_PPL = 1/g" Makefile.config
 	fi
-	if use cxx && use ppl; then
-		sed -i -e "s/# HAS_CPP = 1/HAS_CPP = 1/g" Makefile.config
-	else
-		die "USE flag 'cxx' needs USE flag 'ppl' set"
+	if use cxx; then
+		if use ppl; then
+			sed -i -e "s/# HAS_CPP = 1/HAS_CPP = 1/g" Makefile.config
+		else
+			die "USE flag 'cxx' needs USE flag 'ppl' set"
+		fi
 	fi
 }
 



^ permalink raw reply related	[flat|nested] 8+ messages in thread
* [gentoo-commits] proj/sci:master commit in: sci-mathematics/apron/
@ 2014-07-17 15:23 Jonathan-Christofer Demay
  0 siblings, 0 replies; 8+ messages in thread
From: Jonathan-Christofer Demay @ 2014-07-17 15:23 UTC (permalink / raw
  To: gentoo-commits

commit:     955e21c32bdccda0fec750c5376bf4fa5f8d4360
Author:     Jonathan-Christofer Demay <jcdemay <AT> gmail <DOT> com>
AuthorDate: Thu Jul 17 15:20:38 2014 +0000
Commit:     Jonathan-Christofer Demay <jcdemay <AT> gmail <DOT> com>
CommitDate: Thu Jul 17 15:20:38 2014 +0000
URL:        http://git.overlays.gentoo.org/gitweb/?p=proj/sci.git;a=commit;h=955e21c3

sci-mathematics/apron: force j1 for make

---
 sci-mathematics/apron/ChangeLog              |  4 ++++
 sci-mathematics/apron/apron-0.9.10-r1.ebuild | 11 +----------
 2 files changed, 5 insertions(+), 10 deletions(-)

diff --git a/sci-mathematics/apron/ChangeLog b/sci-mathematics/apron/ChangeLog
index ffe53b5..c47c91b 100644
--- a/sci-mathematics/apron/ChangeLog
+++ b/sci-mathematics/apron/ChangeLog
@@ -2,6 +2,10 @@
 # Copyright 1999-2014 Gentoo Foundation; Distributed under the GPL v2
 # $Header: $
 
+  17 Jul 2014; Jonathan-Christofer Demay <jcdemay@gmail.com>
+  apron-0.9.10-r1.ebuild:
+  force j1 option for make
+
   21 Jun 2014; Jonathan-Christofer Demay <jcdemay@gmail.com>
   +apron-0.9.10-r1.ebuild:
   dropping cxx and ppl support

diff --git a/sci-mathematics/apron/apron-0.9.10-r1.ebuild b/sci-mathematics/apron/apron-0.9.10-r1.ebuild
index 94180af..6cc4562 100644
--- a/sci-mathematics/apron/apron-0.9.10-r1.ebuild
+++ b/sci-mathematics/apron/apron-0.9.10-r1.ebuild
@@ -54,12 +54,7 @@ src_prepare() {
 }
 
 src_compile() {
-	#damn crappy Makefile
-	emake || emake || die "emake failed"
-
-	if use doc && use cxx; then
-		emake -C apronxx doc || "emake doc failed"
-	fi
+	emake -j1 || die "emake failed"
 }
 
 src_install(){
@@ -71,9 +66,5 @@ src_install(){
 		if use ocaml; then
 			dodoc mlapronidl/mlapronidl.pdf
 		fi
-		if use cxx; then
-			mv apronxx/doc/latex/refman.pdf apronxx/apronxx.pdf
-			dodoc ./apronxx/apronxx.pdf
-		fi
 	fi
 }


^ permalink raw reply related	[flat|nested] 8+ messages in thread
* [gentoo-commits] proj/sci:master commit in: sci-mathematics/apron/
@ 2014-09-02 21:19 Jauhien Piatlicki
  0 siblings, 0 replies; 8+ messages in thread
From: Jauhien Piatlicki @ 2014-09-02 21:19 UTC (permalink / raw
  To: gentoo-commits

commit:     aee336bdc7c7a486bc093b9ef77c4ae8b80b2b78
Author:     Jauhien Piatlicki <jauhien <AT> gentoo <DOT> org>
AuthorDate: Tue Sep  2 20:27:57 2014 +0000
Commit:     Jauhien Piatlicki <jauhien <AT> gentoo <DOT> org>
CommitDate: Tue Sep  2 20:27:57 2014 +0000
URL:        http://sources.gentoo.org/gitweb/?p=proj/sci.git;a=commit;h=aee336bd

sci-mathematics/apron: silence repoman, fix metadata.xml

---
 sci-mathematics/apron/metadata.xml | 3 +++
 1 file changed, 3 insertions(+)

diff --git a/sci-mathematics/apron/metadata.xml b/sci-mathematics/apron/metadata.xml
index f8c7d84..73bd7f1 100644
--- a/sci-mathematics/apron/metadata.xml
+++ b/sci-mathematics/apron/metadata.xml
@@ -12,4 +12,7 @@
   domain, as shown by the poster on the right (presented at the SAS 2007
   conference.
 </longdescription>
+<use>
+  <flag name='ppl'>Add support for <pkg>dev-libs/ppl</pkg></flag>
+</use>
 </pkgmetadata>


^ permalink raw reply related	[flat|nested] 8+ messages in thread
* [gentoo-commits] proj/sci:master commit in: sci-mathematics/apron/
@ 2015-09-21 19:05 Justin Lecher
  0 siblings, 0 replies; 8+ messages in thread
From: Justin Lecher @ 2015-09-21 19:05 UTC (permalink / raw
  To: gentoo-commits

commit:     6dfa52397fdce7ace780fe1e03e9db334c2427a9
Author:     Justin Lecher <jlec <AT> gentoo <DOT> org>
AuthorDate: Mon Sep 21 18:38:45 2015 +0000
Commit:     Justin Lecher <jlec <AT> gentoo <DOT> org>
CommitDate: Mon Sep 21 18:38:54 2015 +0000
URL:        https://gitweb.gentoo.org/proj/sci.git/commit/?id=6dfa5239

sci-mathematics/apron: Add subslot operators

Package-Manager: portage-2.2.20.1
Signed-off-by: Justin Lecher <jlec <AT> gentoo.org>

 sci-mathematics/apron/apron-0.9.10-r1.ebuild | 33 +++++-----
 sci-mathematics/apron/apron-0.9.10.ebuild    | 92 ----------------------------
 sci-mathematics/apron/metadata.xml           |  7 +--
 3 files changed, 21 insertions(+), 111 deletions(-)

diff --git a/sci-mathematics/apron/apron-0.9.10-r1.ebuild b/sci-mathematics/apron/apron-0.9.10-r1.ebuild
index eb6a7f6..622c06b 100644
--- a/sci-mathematics/apron/apron-0.9.10-r1.ebuild
+++ b/sci-mathematics/apron/apron-0.9.10-r1.ebuild
@@ -1,4 +1,4 @@
-# Copyright 1999-2014 Gentoo Foundation
+# Copyright 1999-2015 Gentoo Foundation
 # Distributed under the terms of the GNU General Public License v2
 # $Id$
 
@@ -6,7 +6,7 @@ EAPI="5"
 
 inherit eutils toolchain-funcs
 
-DESCRIPTION="Library for static analysis of the numerical variables of a program by Abstract Interpretation"
+DESCRIPTION="Static analysis of the numerical variables of a program by Abstract Interpretation"
 HOMEPAGE="http://apron.cri.ensmp.fr/library/"
 SRC_URI="http://apron.cri.ensmp.fr/library/${P}.tgz"
 
@@ -15,24 +15,30 @@ SLOT="0"
 KEYWORDS="~amd64 ~x86"
 IUSE="doc ocaml"
 
-RDEPEND="ocaml? ( >=dev-lang/ocaml-3.09
-				dev-ml/camlidl
-				dev-ml/mlgmpidl )
-		dev-libs/gmp
-		dev-libs/mpfr"
+RDEPEND="
+	ocaml? (
+		>=dev-lang/ocaml-3.09
+		dev-ml/camlidl
+		dev-ml/mlgmpidl
+	)
+		dev-libs/gmp:0=
+		dev-libs/mpfr:0="
 DEPEND="${RDEPEND}
-		doc? ( app-text/texlive
-				app-text/ghostscript-gpl )"
+	doc? (
+		app-text/texlive
+		app-text/ghostscript-gpl
+	)"
 
 src_prepare() {
-	mv Makefile.config.model Makefile.config
+	mv Makefile.config.model Makefile.config || die
 
 	#fix compile process
 	sed -i Makefile.config \
 		-e "s/FLAGS = \\\/FLAGS += \\\/g" \
 		-e "s/-O3 -DNDEBUG/-DNDEBUG/g" \
 		-e "s/APRON_PREFIX =.*/APRON_PREFIX = \$(DESTDIR)\/usr/g" \
-		-e "s/MLGMPIDL_PREFIX =.*/MLGMPIDL_PREFIX = \$(DESTDIR)\/usr/g"
+		-e "s/MLGMPIDL_PREFIX =.*/MLGMPIDL_PREFIX = \$(DESTDIR)\/usr/g" \
+		|| die
 
 	#fix doc building process
 	sed -i Makefile -e "s/; make html/; make/g"
@@ -51,12 +57,11 @@ src_prepare() {
 }
 
 src_compile() {
-	emake -j1 || die "emake failed"
+	emake -j1
 }
 
 src_install(){
-	emake install DESTDIR="${D}" || die "emake install failed"
-	dodoc AUTHORS Changes README
+	default
 
 	if use doc; then
 		dodoc apron/apron.pdf

diff --git a/sci-mathematics/apron/apron-0.9.10.ebuild b/sci-mathematics/apron/apron-0.9.10.ebuild
deleted file mode 100644
index b2b9148..0000000
--- a/sci-mathematics/apron/apron-0.9.10.ebuild
+++ /dev/null
@@ -1,92 +0,0 @@
-# Copyright 1999-2014 Gentoo Foundation
-# Distributed under the terms of the GNU General Public License v2
-# $Id$
-
-EAPI="5"
-
-inherit eutils toolchain-funcs
-
-DESCRIPTION="Library for static analysis of the numerical variables of a program by Abstract Interpretation"
-HOMEPAGE="http://apron.cri.ensmp.fr/library/"
-SRC_URI="http://apron.cri.ensmp.fr/library/${P}.tgz"
-
-LICENSE="LGPL-2 GPL-2"
-SLOT="0"
-KEYWORDS="~amd64 ~x86"
-IUSE="cxx doc ocaml ppl"
-
-RDEPEND="ocaml? ( >=dev-lang/ocaml-3.09
-				dev-ml/camlidl
-				dev-ml/mlgmpidl )
-		dev-libs/gmp
-		dev-libs/mpfr
-		ppl? ( dev-libs/ppl )"
-DEPEND="${RDEPEND}
-		doc? ( app-text/texlive
-				app-text/ghostscript-gpl
-				cxx? ( app-doc/doxygen
-						dev-tex/rubber ) )"
-
-src_prepare() {
-	mv Makefile.config.model Makefile.config
-
-	#fix compile process
-	sed -i Makefile.config \
-		-e "s/FLAGS = \\\/FLAGS += \\\/g" \
-		-e "s/-O3 -DNDEBUG/-DNDEBUG/g" \
-		-e "s/APRON_PREFIX =.*/APRON_PREFIX = \$(DESTDIR)\/usr/g" \
-		-e "s/MLGMPIDL_PREFIX =.*/MLGMPIDL_PREFIX = \$(DESTDIR)\/usr/g"
-
-	#fix doc building process
-	sed -i Makefile -e "s/; make html/; make/g"
-	sed -i apronxx/Makefile \
-		-e "s:cd doc/latex && make:cd doc/latex; rubber refman.tex; dvipdf refman.dvi:g"
-	sed -i apronxx/doc/Doxyfile \
-		-e "s/OUTPUT_DIRECTORY       = \/.*/OUTPUT_DIRECTORY       = .\//g" \
-		-e "s/STRIP_FROM_PATH        = \/.*/STRIP_FROM_PATH        = .\//g"
-
-	#fix ppl install for 32 platforms
-	sed -i ppl/Makefile -e "s/libap_ppl_caml\*\./libap_ppl\*\./g"
-
-	if [[ "$(gcc-major-version)" == "4" ]]; then
-		sed -i -e "s/# HAS_LONG_DOUBLE = 1/HAS_LONG_DOUBLE = 1/g" Makefile.config
-	fi
-	if use !ocaml; then
-		sed -i -e "s/HAS_OCAML = 1/#HAS_OCAML = 0/g" Makefile.config
-	fi
-	if use ppl; then
-		sed -i -e "s/# HAS_PPL = 1/HAS_PPL = 1/g" Makefile.config
-	fi
-	if use cxx; then
-		if use ppl; then
-			sed -i -e "s/# HAS_CPP = 1/HAS_CPP = 1/g" Makefile.config
-		else
-			die "USE flag 'cxx' needs USE flag 'ppl' set"
-		fi
-	fi
-}
-
-src_compile() {
-	#damn crappy Makefile
-	emake || emake || die "emake failed"
-
-	if use doc && use cxx; then
-		emake -C apronxx doc || "emake doc failed"
-	fi
-}
-
-src_install(){
-	emake install DESTDIR="${D}" || die "emake install failed"
-	dodoc AUTHORS Changes README
-
-	if use doc; then
-		dodoc apron/apron.pdf
-		if use ocaml; then
-			dodoc mlapronidl/mlapronidl.pdf
-		fi
-		if use cxx; then
-			mv apronxx/doc/latex/refman.pdf apronxx/apronxx.pdf
-			dodoc ./apronxx/apronxx.pdf
-		fi
-	fi
-}

diff --git a/sci-mathematics/apron/metadata.xml b/sci-mathematics/apron/metadata.xml
index 73bd7f1..0eeeaf3 100644
--- a/sci-mathematics/apron/metadata.xml
+++ b/sci-mathematics/apron/metadata.xml
@@ -1,8 +1,8 @@
 <?xml version="1.0" encoding="UTF-8"?>
 <!DOCTYPE pkgmetadata SYSTEM "http://www.gentoo.org/dtd/metadata.dtd">
 <pkgmetadata>
-<herd>sci-mathematics</herd>
-<longdescription>
+  <herd>sci-mathematics</herd>
+  <longdescription>
   The APRON library is dedicated to the static analysis of the numerical
   variables of a program by Abstract Interpretation. The aim of such an
   analysis is to infer invariants about these variables. The APRON library
@@ -12,7 +12,4 @@
   domain, as shown by the poster on the right (presented at the SAS 2007
   conference.
 </longdescription>
-<use>
-  <flag name='ppl'>Add support for <pkg>dev-libs/ppl</pkg></flag>
-</use>
 </pkgmetadata>


^ permalink raw reply related	[flat|nested] 8+ messages in thread
* [gentoo-commits] proj/sci:master commit in: sci-mathematics/apron/
@ 2020-09-26 23:45 Aisha Tammy
  0 siblings, 0 replies; 8+ messages in thread
From: Aisha Tammy @ 2020-09-26 23:45 UTC (permalink / raw
  To: gentoo-commits

commit:     3b1741fc7f3831c69dc03bafccc1727594c83745
Author:     Aisha Tammy <gentoo <AT> aisha <DOT> cc>
AuthorDate: Sat Sep 26 23:11:59 2020 +0000
Commit:     Aisha Tammy <gentoo <AT> aisha <DOT> cc>
CommitDate: Sat Sep 26 23:12:31 2020 +0000
URL:        https://gitweb.gentoo.org/proj/sci.git/commit/?id=3b1741fc

sci-mathematics/apron: drop dead package

Package-Manager: Portage-3.0.8, Repoman-3.0.1
Signed-off-by: Aisha Tammy <gentoo <AT> aisha.cc>

 sci-mathematics/apron/apron-0.9.10-r1.ebuild | 71 ----------------------------
 sci-mathematics/apron/metadata.xml           | 18 -------
 2 files changed, 89 deletions(-)

diff --git a/sci-mathematics/apron/apron-0.9.10-r1.ebuild b/sci-mathematics/apron/apron-0.9.10-r1.ebuild
deleted file mode 100644
index c2fd73233..000000000
--- a/sci-mathematics/apron/apron-0.9.10-r1.ebuild
+++ /dev/null
@@ -1,71 +0,0 @@
-# Copyright 1999-2015 Gentoo Foundation
-# Distributed under the terms of the GNU General Public License v2
-
-EAPI=5
-
-inherit eutils toolchain-funcs
-
-DESCRIPTION="Static analysis of the numerical variables by Abstract Interpretation"
-HOMEPAGE="http://apron.cri.ensmp.fr/library/"
-SRC_URI="http://apron.cri.ensmp.fr/library/${P}.tgz"
-
-LICENSE="LGPL-2 GPL-2"
-SLOT="0"
-KEYWORDS="~amd64 ~x86"
-IUSE="doc ocaml"
-
-RDEPEND="
-	ocaml? (
-		>=dev-lang/ocaml-3.09
-		dev-ml/camlidl
-		dev-ml/mlgmpidl
-	)
-		dev-libs/gmp:0=
-		dev-libs/mpfr:0="
-DEPEND="${RDEPEND}
-	doc? (
-		app-text/texlive
-		app-text/ghostscript-gpl
-	)"
-
-src_prepare() {
-	mv Makefile.config.model Makefile.config || die
-
-	#fix compile process
-	sed -i Makefile.config \
-		-e "s/FLAGS = \\\/FLAGS += \\\/g" \
-		-e "s/-O3 -DNDEBUG/-DNDEBUG/g" \
-		-e "s/APRON_PREFIX =.*/APRON_PREFIX = \$(DESTDIR)\/usr/g" \
-		-e "s/MLGMPIDL_PREFIX =.*/MLGMPIDL_PREFIX = \$(DESTDIR)\/usr/g" \
-		|| die
-
-	#fix doc building process
-	sed -i Makefile -e "s/; make html/; make/g"
-	sed -i apronxx/Makefile \
-		-e "s:cd doc/latex && make:cd doc/latex; rubber refman.tex; dvipdf refman.dvi:g"
-	sed -i apronxx/doc/Doxyfile \
-		-e "s/OUTPUT_DIRECTORY       = \/.*/OUTPUT_DIRECTORY       = .\//g" \
-		-e "s/STRIP_FROM_PATH        = \/.*/STRIP_FROM_PATH        = .\//g"
-
-	if [[ "$(gcc-major-version)" == "4" ]]; then
-		sed -i -e "s/# HAS_LONG_DOUBLE = 1/HAS_LONG_DOUBLE = 1/g" Makefile.config
-	fi
-	if use !ocaml; then
-		sed -i -e "s/HAS_OCAML = 1/#HAS_OCAML = 0/g" Makefile.config
-	fi
-}
-
-src_compile() {
-	emake -j1
-}
-
-src_install(){
-	default
-
-	if use doc; then
-		dodoc apron/apron.pdf
-		if use ocaml; then
-			dodoc mlapronidl/mlapronidl.pdf
-		fi
-	fi
-}

diff --git a/sci-mathematics/apron/metadata.xml b/sci-mathematics/apron/metadata.xml
deleted file mode 100644
index d31da6be0..000000000
--- a/sci-mathematics/apron/metadata.xml
+++ /dev/null
@@ -1,18 +0,0 @@
-<?xml version="1.0" encoding="UTF-8"?>
-<!DOCTYPE pkgmetadata SYSTEM "http://www.gentoo.org/dtd/metadata.dtd">
-<pkgmetadata>
-	<maintainer type="project">
-		<email>sci-mathematics@gentoo.org</email>
-		<name>Gentoo Mathematics Project</name>
-	</maintainer>
-	<longdescription>
-The APRON library is dedicated to the static analysis of the numerical
-variables of a program by Abstract Interpretation. The aim of such an
-analysis is to infer invariants about these variables. The APRON library
-is intended to be a common interface to various underlying
-libraries/abstract domains and to provide additional services that can
-be implemented independently from the underlying library/abstract
-domain, as shown by the poster on the right (presented at the SAS 2007
-conference.
-</longdescription>
-</pkgmetadata>


^ permalink raw reply related	[flat|nested] 8+ messages in thread
end of thread, other threads:[~2020-09-26 23:45 UTC | newest]

Thread overview: 8+ messages (download: mbox.gz follow: Atom feed
-- links below jump to the message on this page --
2014-09-02 21:19 [gentoo-commits] proj/sci:master commit in: sci-mathematics/apron/ Jauhien Piatlicki
  -- strict thread matches above, loose matches on Subject: below --
2020-09-26 23:45 Aisha Tammy
2015-09-21 19:05 Justin Lecher
2014-07-17 15:23 Jonathan-Christofer Demay
2012-05-09 20:13 Jonathan-Christofer Demay
2012-02-06 14:18 Jonathan-Christofer Demay
2011-05-11 23:49 Jonathan-Christofer Demay
2011-02-13  7:13 Jonathan-Christofer Demay

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