* [gentoo-commits] repo/gentoo:master commit in: sci-mathematics/kodkod/
@ 2017-01-02 22:52 Mark Wright
0 siblings, 0 replies; 4+ messages in thread
From: Mark Wright @ 2017-01-02 22:52 UTC (permalink / raw
To: gentoo-commits
commit: 9d42d1b6bb6bcba7e6617511ae617cef326fd851
Author: Mark Wright <gienah <AT> gentoo <DOT> org>
AuthorDate: Mon Jan 2 22:52:35 2017 +0000
Commit: Mark Wright <gienah <AT> gentoo <DOT> org>
CommitDate: Mon Jan 2 22:52:35 2017 +0000
URL: https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=9d42d1b6
sci-mathematics/kodkod: Fix get_libdir called in global scope, thanks to
mgorny for reporting.
Gentoo-bug: 593380
Package-Manager: portage-2.3.3
sci-mathematics/kodkod/kodkod-1.5.2-r1.ebuild | 141 ++++++++++++++++++++++++++
1 file changed, 141 insertions(+)
diff --git a/sci-mathematics/kodkod/kodkod-1.5.2-r1.ebuild b/sci-mathematics/kodkod/kodkod-1.5.2-r1.ebuild
new file mode 100644
index 00000000..a63600c
--- /dev/null
+++ b/sci-mathematics/kodkod/kodkod-1.5.2-r1.ebuild
@@ -0,0 +1,141 @@
+# Copyright 1999-2017 Gentoo Foundation
+# Distributed under the terms of the GNU General Public License v2
+# $Id$
+
+EAPI="6"
+
+JAVA_PKG_IUSE="doc source"
+PYTHON_COMPAT=( python2_7 )
+PYTHON_REQ_USE='threads(+)'
+
+inherit eutils java-pkg-2 python-any-r1 waf-utils
+
+DESCRIPTION="a constraint solver for relational logic"
+HOMEPAGE="http://alloy.mit.edu/kodkod/index.html"
+SRC_URI="http://alloy.mit.edu/kodkod/${PV}/${P}.zip
+ https://waf.googlecode.com/files/waf-1.7.16"
+LICENSE="MIT"
+SLOT="0/${PV}"
+KEYWORDS="~amd64 ~x86"
+IUSE=""
+
+COMMON_DEP=""
+RDEPEND="${COMMON_DEP}
+ >=virtual/jre-1.6"
+DEPEND="${COMMON_DEP}
+ >=virtual/jdk-1.6
+ app-arch/unzip"
+
+S="${WORKDIR}/kodkod-1.5"
+
+JAVA_SRC_DIR="src"
+
+pkg_setup() {
+ python-any-r1_pkg_setup
+ java-pkg-2_pkg_setup
+}
+
+src_unpack() {
+ unpack "${A% *}"
+ cp "${DISTDIR}/${A#* }" "${S}/waf" || die "Could not copy waf"
+}
+
+src_prepare() {
+ java-pkg-2_src_prepare
+ chmod u+x waf \
+ || die "Could not set execute permisions on waf file"
+ sed -e 's@private N parent, left, right@protected N parent, left, right@' \
+ -e 's@private boolean color@protected boolean color@' \
+ -i "${S}/src/kodkod/util/ints/IntTree.java" \
+ || die "Could not change private to protected in IntTree.java"
+ sed -e 's@conf.env.LINKFLAGS =@conf.env.LINKFLAGS +=@' \
+ -i "${S}/lib/cryptominisat-2.9.1/wscript" \
+ -i "${S}/lib/lingeling-276/wscript" \
+ || die "Could not fix wscripts to respect LDFLAGS"
+ # Fix bug 453162 - sci-mathematics/kodkod-1.5.2: fails to build
+ epatch "${FILESDIR}/${PN}-1.5.2-changes-in-most-specific-varargs-method-selection.patch"
+
+ # Fix Bug 458462 sci-mathematics/kodkod-1.5.2: fails to build with JAVA_PKG_STRICT
+ local x=""
+ for i in $JAVACFLAGS
+ do
+ if [ "${x}" == "" ]; then
+ x="'${i}'"
+ else
+ x="${x}, '${i}'"
+ fi
+ done
+ for j in $(find . -name wscript -print)
+ do
+ sed -e "s@def configure(conf):@def configure(conf):\n conf.env.JAVACFLAGS = [${x}]@" \
+ -i "${j}" \
+ || die "Could not set JAVACFLAGS in ${j}"
+ done
+}
+
+# note: kodkod waf fails when passed --libdir:
+# waf: error: no such option: --libdir
+src_configure() {
+ ${WAF_BINARY:="${S}/waf"}
+
+ tc-export AR CC CPP CXX RANLIB
+ echo "CCFLAGS=\"${CFLAGS}\" LINKFLAGS=\"${LDFLAGS}\" \"${WAF_BINARY}\" --prefix=${EPREFIX}/usr $@ configure"
+
+ CCFLAGS="${CFLAGS}" LINKFLAGS="${LDFLAGS}" "${WAF_BINARY}" \
+ "--prefix=${EPREFIX}/usr" \
+ "$@" \
+ configure || die "configure failed"
+}
+
+src_compile() {
+ waf-utils_src_compile
+ if has doc ${JAVA_PKG_IUSE} && use doc; then
+ pushd src/kodkod || die "Could not cd to src/kodkod"
+ local doclint="-Xdoclint:none"
+ local jv="$(javac -version 2>&1 | cut -d' ' -f 2)"
+ if [[ "${jv}" == 1.6* ]] || [[ "${jv}" == 1.7* ]]; then
+ doclint=""
+ fi
+ javadoc ${doclint} -sourcepath "${S}"/src/kodkod:"${S}"/build/src/kodkod \
+ -classpath $(find "${PWD}" -name \*.jar -print | xargs | sed -e 's@ @:@g') \
+ $(find . -name \*.java -print) \
+ || die "javadoc failed"
+ popd
+ fi
+}
+
+src_install() {
+ insinto "/usr/"$(get_libdir)
+ dodir "/usr/"$(get_libdir)"/${PN}"
+ exeinto "/usr/"$(get_libdir)"/${PN}"
+ for i in $(find . \( -name \*.so -o -name plingeling \) -print | xargs); do
+ doexe $i
+ done
+
+ for i in $(find . \( -name kodkod.jar -o -name org.sat4j.core.jar \) -print | xargs); do
+ einfo "java-pkg_dojar $i"
+ java-pkg_dojar $i
+ done
+
+ # javadoc
+ if has doc ${JAVA_PKG_IUSE} && use doc; then
+ java-pkg_dojavadoc src/kodkod
+ fi
+
+ # dosrc
+ if has source ${JAVA_PKG_IUSE} && use source; then
+ local srcdirs=""
+ if [[ ${JAVA_SRC_DIR} ]]; then
+ local parent child
+ for parent in ${JAVA_SRC_DIR}; do
+ for child in ${parent}/*; do
+ srcdirs="${srcdirs} ${child}"
+ done
+ done
+ else
+ # take all directories actually containing any sources
+ srcdirs="$(cut -d/ -f1 ${sources} | sort -u)"
+ fi
+ java-pkg_dosrc ${srcdirs}
+ fi
+}
^ permalink raw reply related [flat|nested] 4+ messages in thread
* [gentoo-commits] repo/gentoo:master commit in: sci-mathematics/kodkod/
@ 2017-04-20 16:41 David Seifert
0 siblings, 0 replies; 4+ messages in thread
From: David Seifert @ 2017-04-20 16:41 UTC (permalink / raw
To: gentoo-commits
commit: b9b7ce746403acaf96bd496bdc178bffd3aa29b0
Author: David Seifert <soap <AT> gentoo <DOT> org>
AuthorDate: Thu Apr 20 15:51:20 2017 +0000
Commit: David Seifert <soap <AT> gentoo <DOT> org>
CommitDate: Thu Apr 20 16:39:22 2017 +0000
URL: https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=b9b7ce74
sci-mathematics/kodkod: [QA] Add missing python metadata variables
Package-Manager: Portage-2.3.5, Repoman-2.3.2
sci-mathematics/kodkod/kodkod-1.5.2-r1.ebuild | 4 +++-
sci-mathematics/kodkod/kodkod-1.5.2.ebuild | 6 ++++--
2 files changed, 7 insertions(+), 3 deletions(-)
diff --git a/sci-mathematics/kodkod/kodkod-1.5.2-r1.ebuild b/sci-mathematics/kodkod/kodkod-1.5.2-r1.ebuild
index 4c2b2603d79..33f6ca4a7bc 100644
--- a/sci-mathematics/kodkod/kodkod-1.5.2-r1.ebuild
+++ b/sci-mathematics/kodkod/kodkod-1.5.2-r1.ebuild
@@ -13,12 +13,14 @@ DESCRIPTION="a constraint solver for relational logic"
HOMEPAGE="http://alloy.mit.edu/kodkod/index.html"
SRC_URI="http://alloy.mit.edu/kodkod/${PV}/${P}.zip
https://waf.googlecode.com/files/waf-1.7.16"
+
LICENSE="MIT"
SLOT="0/${PV}"
KEYWORDS="~amd64 ~x86"
IUSE=""
+REQUIRED_USE="${PYTHON_REQUIRED_USE}"
-COMMON_DEP=""
+COMMON_DEP="${PYTHON_DEPS}"
RDEPEND="${COMMON_DEP}
>=virtual/jre-1.6"
DEPEND="${COMMON_DEP}
diff --git a/sci-mathematics/kodkod/kodkod-1.5.2.ebuild b/sci-mathematics/kodkod/kodkod-1.5.2.ebuild
index 32d46d278ee..230c75396a8 100644
--- a/sci-mathematics/kodkod/kodkod-1.5.2.ebuild
+++ b/sci-mathematics/kodkod/kodkod-1.5.2.ebuild
@@ -1,4 +1,4 @@
-# Copyright 1999-2015 Gentoo Foundation
+# Copyright 1999-2017 Gentoo Foundation
# Distributed under the terms of the GNU General Public License v2
EAPI="5"
@@ -13,12 +13,14 @@ DESCRIPTION="a constraint solver for relational logic"
HOMEPAGE="http://alloy.mit.edu/kodkod/index.html"
SRC_URI="http://alloy.mit.edu/kodkod/${PV}/${P}.zip
https://waf.googlecode.com/files/waf-1.7.16"
+
LICENSE="MIT"
SLOT="0/${PV}"
KEYWORDS="~amd64 ~x86"
IUSE=""
+REQUIRED_USE="${PYTHON_REQUIRED_USE}"
-COMMON_DEP=""
+COMMON_DEP="${PYTHON_DEPS}"
RDEPEND="${COMMON_DEP}
>=virtual/jre-1.6"
DEPEND="${COMMON_DEP}
^ permalink raw reply related [flat|nested] 4+ messages in thread
* [gentoo-commits] repo/gentoo:master commit in: sci-mathematics/kodkod/
@ 2018-04-09 0:15 Aaron Bauman
0 siblings, 0 replies; 4+ messages in thread
From: Aaron Bauman @ 2018-04-09 0:15 UTC (permalink / raw
To: gentoo-commits
commit: 3d648c56def3ca2c73bb0d9eaa64cc6a01b53b9d
Author: Michael Mair-Keimberger <m.mairkeimberger <AT> gmail <DOT> com>
AuthorDate: Sun Apr 8 16:57:49 2018 +0000
Commit: Aaron Bauman <bman <AT> gentoo <DOT> org>
CommitDate: Mon Apr 9 00:09:19 2018 +0000
URL: https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=3d648c56
sci-mathematics/kodkod: remove old
sci-mathematics/kodkod/kodkod-1.5.2.ebuild | 143 -----------------------------
1 file changed, 143 deletions(-)
diff --git a/sci-mathematics/kodkod/kodkod-1.5.2.ebuild b/sci-mathematics/kodkod/kodkod-1.5.2.ebuild
deleted file mode 100644
index 230c75396a8..00000000000
--- a/sci-mathematics/kodkod/kodkod-1.5.2.ebuild
+++ /dev/null
@@ -1,143 +0,0 @@
-# Copyright 1999-2017 Gentoo Foundation
-# Distributed under the terms of the GNU General Public License v2
-
-EAPI="5"
-
-JAVA_PKG_IUSE="doc source"
-PYTHON_COMPAT=( python2_7 )
-PYTHON_REQ_USE='threads(+)'
-
-inherit eutils java-pkg-2 python-any-r1 waf-utils
-
-DESCRIPTION="a constraint solver for relational logic"
-HOMEPAGE="http://alloy.mit.edu/kodkod/index.html"
-SRC_URI="http://alloy.mit.edu/kodkod/${PV}/${P}.zip
- https://waf.googlecode.com/files/waf-1.7.16"
-
-LICENSE="MIT"
-SLOT="0/${PV}"
-KEYWORDS="~amd64 ~x86"
-IUSE=""
-REQUIRED_USE="${PYTHON_REQUIRED_USE}"
-
-COMMON_DEP="${PYTHON_DEPS}"
-RDEPEND="${COMMON_DEP}
- >=virtual/jre-1.6"
-DEPEND="${COMMON_DEP}
- >=virtual/jdk-1.6
- app-arch/unzip"
-
-S="${WORKDIR}/kodkod-1.5"
-
-JAVA_SRC_DIR="src"
-LIBDIR="/usr/"$(get_libdir)"/${PN}"
-
-pkg_setup() {
- python-any-r1_pkg_setup
- java-pkg-2_pkg_setup
-}
-
-src_unpack() {
- unpack "${A% *}"
- cp "${DISTDIR}/${A#* }" "${S}/waf" || die "Could not copy waf"
-}
-
-src_prepare() {
- java-pkg-2_src_prepare
- chmod u+x waf \
- || die "Could not set execute permisions on waf file"
- sed -e 's@private N parent, left, right@protected N parent, left, right@' \
- -e 's@private boolean color@protected boolean color@' \
- -i "${S}/src/kodkod/util/ints/IntTree.java" \
- || die "Could not change private to protected in IntTree.java"
- sed -e 's@conf.env.LINKFLAGS =@conf.env.LINKFLAGS +=@' \
- -i "${S}/lib/cryptominisat-2.9.1/wscript" \
- -i "${S}/lib/lingeling-276/wscript" \
- || die "Could not fix wscripts to respect LDFLAGS"
- # Fix bug 453162 - sci-mathematics/kodkod-1.5.2: fails to build
- epatch "${FILESDIR}/${PN}-1.5.2-changes-in-most-specific-varargs-method-selection.patch"
-
- # Fix Bug 458462 sci-mathematics/kodkod-1.5.2: fails to build with JAVA_PKG_STRICT
- local x=""
- for i in $JAVACFLAGS
- do
- if [ "${x}" == "" ]; then
- x="'${i}'"
- else
- x="${x}, '${i}'"
- fi
- done
- for j in $(find . -name wscript -print)
- do
- sed -e "s@def configure(conf):@def configure(conf):\n conf.env.JAVACFLAGS = [${x}]@" \
- -i "${j}" \
- || die "Could not set JAVACFLAGS in ${j}"
- done
-}
-
-# note: kodkod waf fails when passed --libdir:
-# waf: error: no such option: --libdir
-src_configure() {
- ${WAF_BINARY:="${S}/waf"}
-
- tc-export AR CC CPP CXX RANLIB
- echo "CCFLAGS=\"${CFLAGS}\" LINKFLAGS=\"${LDFLAGS}\" \"${WAF_BINARY}\" --prefix=${EPREFIX}/usr $@ configure"
-
- CCFLAGS="${CFLAGS}" LINKFLAGS="${LDFLAGS}" "${WAF_BINARY}" \
- "--prefix=${EPREFIX}/usr" \
- "$@" \
- configure || die "configure failed"
-}
-
-src_compile() {
- waf-utils_src_compile
- if has doc ${JAVA_PKG_IUSE} && use doc; then
- pushd src/kodkod || die "Could not cd to src/kodkod"
- local doclint="-Xdoclint:none"
- local jv="$(javac -version 2>&1 | cut -d' ' -f 2)"
- if [[ "${jv}" == 1.6* ]] || [[ "${jv}" == 1.7* ]]; then
- doclint=""
- fi
- javadoc ${doclint} -sourcepath "${S}"/src/kodkod:"${S}"/build/src/kodkod \
- -classpath $(find "${PWD}" -name \*.jar -print | xargs | sed -e 's@ @:@g') \
- $(find . -name \*.java -print) \
- || die "javadoc failed"
- popd
- fi
-}
-
-src_install() {
- insinto "/usr/"$(get_libdir)
- dodir ${LIBDIR}
- exeinto ${LIBDIR}
- for i in $(find . \( -name \*.so -o -name plingeling \) -print | xargs); do
- doexe $i
- done
-
- for i in $(find . \( -name kodkod.jar -o -name org.sat4j.core.jar \) -print | xargs); do
- einfo "java-pkg_dojar $i"
- java-pkg_dojar $i
- done
-
- # javadoc
- if has doc ${JAVA_PKG_IUSE} && use doc; then
- java-pkg_dojavadoc src/kodkod
- fi
-
- # dosrc
- if has source ${JAVA_PKG_IUSE} && use source; then
- local srcdirs=""
- if [[ ${JAVA_SRC_DIR} ]]; then
- local parent child
- for parent in ${JAVA_SRC_DIR}; do
- for child in ${parent}/*; do
- srcdirs="${srcdirs} ${child}"
- done
- done
- else
- # take all directories actually containing any sources
- srcdirs="$(cut -d/ -f1 ${sources} | sort -u)"
- fi
- java-pkg_dosrc ${srcdirs}
- fi
-}
^ permalink raw reply related [flat|nested] 4+ messages in thread
* [gentoo-commits] repo/gentoo:master commit in: sci-mathematics/kodkod/
@ 2019-07-22 9:28 Michał Górny
0 siblings, 0 replies; 4+ messages in thread
From: Michał Górny @ 2019-07-22 9:28 UTC (permalink / raw
To: gentoo-commits
commit: f8e7859a34fa79137600047b099a2463d9d797db
Author: Michał Górny <mgorny <AT> gentoo <DOT> org>
AuthorDate: Sun Jul 21 15:46:11 2019 +0000
Commit: Michał Górny <mgorny <AT> gentoo <DOT> org>
CommitDate: Mon Jul 22 09:28:11 2019 +0000
URL: https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=f8e7859a
sci-mathematics/kodkod: Remove mistaken use of PYTHON_REQUIRED_USE
Signed-off-by: Michał Górny <mgorny <AT> gentoo.org>
sci-mathematics/kodkod/kodkod-1.5.2-r1.ebuild | 3 +--
1 file changed, 1 insertion(+), 2 deletions(-)
diff --git a/sci-mathematics/kodkod/kodkod-1.5.2-r1.ebuild b/sci-mathematics/kodkod/kodkod-1.5.2-r1.ebuild
index 33f6ca4a7bc..11c25bef00a 100644
--- a/sci-mathematics/kodkod/kodkod-1.5.2-r1.ebuild
+++ b/sci-mathematics/kodkod/kodkod-1.5.2-r1.ebuild
@@ -1,4 +1,4 @@
-# Copyright 1999-2017 Gentoo Foundation
+# Copyright 1999-2019 Gentoo Authors
# Distributed under the terms of the GNU General Public License v2
EAPI="6"
@@ -18,7 +18,6 @@ LICENSE="MIT"
SLOT="0/${PV}"
KEYWORDS="~amd64 ~x86"
IUSE=""
-REQUIRED_USE="${PYTHON_REQUIRED_USE}"
COMMON_DEP="${PYTHON_DEPS}"
RDEPEND="${COMMON_DEP}
^ permalink raw reply related [flat|nested] 4+ messages in thread
end of thread, other threads:[~2019-07-22 9:28 UTC | newest]
Thread overview: 4+ messages (download: mbox.gz follow: Atom feed
-- links below jump to the message on this page --
2017-04-20 16:41 [gentoo-commits] repo/gentoo:master commit in: sci-mathematics/kodkod/ David Seifert
-- strict thread matches above, loose matches on Subject: below --
2019-07-22 9:28 Michał Górny
2018-04-09 0:15 Aaron Bauman
2017-01-02 22:52 Mark Wright
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox