Go to:
Gentoo Home
Documentation
Forums
Lists
Bugs
Planet
Store
Wiki
Get Gentoo!
Gentoo's Bugzilla – Attachment 443908 Details for
Bug 591916
dev-lang/clingo: an answer set solver
Home
|
New
–
[Ex]
|
Browse
|
Search
|
Privacy Policy
|
[?]
|
Reports
|
Requests
|
Help
|
New Account
|
Log In
[x]
|
Forgot Password
Login:
[x]
clingo-4.5.4.ebuild
clingo-4.5.4.ebuild (text/plain), 3.20 KB, created by
skrinakron
on 2016-08-23 13:57:54 UTC
(
hide
)
Description:
clingo-4.5.4.ebuild
Filename:
MIME Type:
Creator:
skrinakron
Created:
2016-08-23 13:57:54 UTC
Size:
3.20 KB
patch
obsolete
># Copyright 1999-2016 Gentoo Foundation ># Distributed under the terms of the GNU General Public License v2 ># $Id$ > >EAPI=5 >PYTHON_COMPAT=( python2_7 python3_4 ) > >inherit scons-utils python-r1 flag-o-matic toolchain-funcs > >DESCRIPTION="Integrated grounder and solver for answer set logic programs." >HOMEPAGE="http://potassco.sourceforge.net/" >SRC_URI="mirror://sourceforge/potassco/${P}-source.tar.gz -> ${P}.tar.gz > doc? ( mirror://sourceforge/potassco/guide-2.0.pdf -> ${P}-doc.pdf > examples? > ( mirror://sourceforge/potassco/guide-2.0-examples.tar.gz > -> ${P}-doc-examples.tar.gz ) )" > >LICENSE="GPL-3" >SLOT="0" >KEYWORDS="~amd64" > >IUSE="python lua threads doc examples" >REQUIRED_USE="python? ( ${PYTHON_REQUIRED_USE} )" > >RDEPEND="python? ( ${PYTHON_DEPS} ) > lua? ( >=dev-lang/lua-5.1:* ) > threads? ( >=dev-cpp/tbb-4.1 )" >DEPEND="${RDEPEND} > >=dev-util/re2c-0.13.5 > >=sys-devel/bison-2.5 > virtual/pkgconfig > >=dev-util/scons-2.1 > || ( >=sys-devel/gcc-4.8 >=sys-devel/clang-3.1 )" > >S="${WORKDIR}/${P}-source" > >pkg_setup() { > scons_targets=( clingo gringo reify ) > use lua && scons_targets+=( luaclingo ) > > append-cxxflags -std=c++11 > scons_vars=( CXX="$(tc-getCXX)" CXXFLAGS="${CXXFLAGS}" --build-dir=release ) >} > >src_unpack() { > default > > if use doc && use examples ; then > mv guide-2.0-examples ${S}/examples/guide || die > fi >} > >src_configure() { > escons "${scons_vars[@]}" configure > > if ! use python ; then > sed -i -e 's/^WITH_PYTHON.*$/WITH_PYTHON = None/' \ > ${S}/build/release.py \ > || die "couldn't disable Python" > fi > > if ! use lua ; then > sed -i -e 's/^WITH_LUA.*$/WITH_LUA = None/' \ > "${S}"/build/release.py \ > || die "couldn't disable Lua" > fi > > if ! use threads ; then > sed -i -e 's/^WITH_TBB.*$/WITH_TBB = None/' \ > ${S}/build/release.py \ > || die "couldn't disable TBB" > fi > > sed -i -e 's/^WITH_CPPUNIT.*$/WITH_CPPUNIT = None/' \ > ${S}/build/release.py \ > || die "couldn't disable CppUnit" >} > >src_compile() { > escons "${scons_vars[@]}" "${scons_targets[@]}" > > python_build() { > escons "${scons_vars[@]}" WITH_PYTHON=auto \ > PYTHON_CONFIG=$(python_get_PYTHON_CONFIG) pyclingo > mkdir ${WORKDIR}/${EPYTHON}-mod > cp build/release/python/gringo.so ${WORKDIR}/${EPYTHON}-mod > } > > if use python ; then > python_foreach_impl python_build > > if use doc ; then > python_setup > export PYTHONPATH=${WORKDIR}/${EPYTHON}-mod > pushd examples/clingo/pydoc > /dev/null || die > # this example script works in both Python 2.* and 3.* > "${PYTHON}" pydoc-lib.py || die "pydoc generation failed" > popd > /dev/null || die > fi > fi >} > >src_install() { > dodoc CHANGES README > > if use doc ; then > newdoc ${DISTDIR}/${P}-doc.pdf potassco_user_guide.pdf > use python && dohtml examples/clingo/pydoc/gringo.html > fi > > if use examples ; then > docompress -x /usr/share/doc/${PF}/examples > dodoc -r examples > fi > > dobin build/release/{clingo,gringo,reify} > > if use lua ; then > exeinto $($(tc-getPKG_CONFIG) --variable=INSTALL_CMOD lua) > doexe build/release/lua/gringo.so > fi > > python_install() { > python_domodule ${WORKDIR}/${EPYTHON}-mod/gringo.so > } > > use python && python_foreach_impl python_install >}
You cannot view the attachment while viewing its details because your browser does not support IFRAMEs.
View the attachment on a separate page
.
View Attachment As Raw
Actions:
View
Attachments on
bug 591916
:
443908
|
444322