Go to:
Gentoo Home
Documentation
Forums
Lists
Bugs
Planet
Store
Wiki
Get Gentoo!
Gentoo's Bugzilla – Attachment 229607 Details for
Bug 311903
Please bump sci-mathematics/nusmv to 2.4.3
Home
|
New
–
[Ex]
|
Browse
|
Search
|
Privacy Policy
|
[?]
|
Reports
|
Requests
|
Help
|
New Account
|
Log In
[x]
|
Forgot Password
Login:
[x]
The ebuild
nusmv-2.4.3.ebuild (text/plain), 3.22 KB, created by
Christopher Head
on 2010-04-29 01:56:18 UTC
(
hide
)
Description:
The ebuild
Filename:
MIME Type:
Creator:
Christopher Head
Created:
2010-04-29 01:56:18 UTC
Size:
3.22 KB
patch
obsolete
># Copyright 1999-2010 Gentoo Foundation ># Distributed under the terms of the GNU General Public License v2 ># $Header: /var/cvsroot/gentoo-x86/sci-mathematics/nusmv/nusmv-2.3.1.ebuild,v 1.6 2010/01/13 16:48:53 bicatali Exp $ > >inherit eutils toolchain-funcs > >NUSMV_PN="NuSMV" >NUSMV_PV="${PV}" >NUSMV_P="${NUSMV_PN}-${NUSMV_PV}" >NUSMV_A="${NUSMV_P}.tar.gz" >NUSMV_S="${WORKDIR}/${NUSMV_P}/nusmv" > >MINISAT_PN="MiniSat" >MINISAT_PV="1.14" >MINISAT_P="${MINISAT_PN}_v${MINISAT_PV}" >MINISAT_A="${MINISAT_P}_src.zip" >MINISAT_S="${WORKDIR}/${NUSMV_P}/MiniSat/${MINISAT_P}" > >CUDD_PN="cudd" >CUDD_PV="2.4.1.0" >CUDD_P="${CUDD_PN}-${CUDD_PV}" >#CUDD_A is none >CUDD_S="${WORKDIR}/${NUSMV_P}/${CUDD_P}" > >DESCRIPTION="NuSMV: new symbolic model checker" >HOMEPAGE="http://nusmv.irst.itc.it/" ># The Homepage is _very_ slow, 2Kb/sec or worse. ># So we use our own mirror. ># Additionally, MiniSat is distributed with a slightly different filename ># So we mirror it ourselves >SRC_URI="mirror://gentoo/${NUSMV_A} > http://nusmv.irst.itc.it/distrib/${NUSMV_A} > minisat? ( mirror://gentoo/${MINISAT_A} )" >LICENSE="LGPL-2.1" >SLOT="0" >KEYWORDS="~x86 ~amd64" >IUSE="minisat examples" >RDEPEND="dev-libs/expat" >DEPEND="${RDEPEND} > virtual/latex-base > || ( ( dev-texlive/texlive-latexextra ) > app-text/ptex ) > app-text/ghostscript-gpl > www-client/lynx > dev-lang/perl" ># the above 4 are for docs, which aren't optional yet patches welcome to ># avoid building the docs but I suspect anybody using this package will ># actually need them >S="${NUSMV_S}" > >src_unpack() { > unpack ${NUSMV_A} > if use minisat; then > cd "${WORKDIR}"/${NUSMV_P}/MiniSat > unpack ${MINISAT_A} > epatch ${MINISAT_P}_nusmv.patch > epatch "${FILESDIR}"/${MINISAT_P}-optimizedlib.patch > fi > for i in ${NUSMV_S}/doc/{user-man,tutorial}/Makefile.in ; do > sed -i.orig \ > '/install_sh_DATA/s!$(datadir)!$(DESTDIR)$(datadir)!g' \ > ${i} || die "sed $i failed" > done >} > >src_compile() { > rm -f ${NUSMV_S}/${MINISAT_P} > if use minisat; then > cd ${MINISAT_S} > # do NOT merge these targets > emake COPTIMIZE="${CFLAGS}" r || die "Failed to build minisat bin" > emake COPTIMIZE="${CFLAGS}" lr || die "Failed to build minisat lib" > ln -sf ${MINISAT_S} "${WORKDIR}"/${NUSMV_P}/${MINISAT_P} > fi > > cd ${CUDD_S} > emake clean || die "Failed to clean cudd out." > emake \ > CPP="$(tc-getCPP)" CC="$(tc-getCC)" \ > RANLIB="$(tc-getRANLIB)" ICFLAGS="${CFLAGS}" \ > || die "Failed to build cudd." > > cd ${NUSMV_S} > econf `use_enable minisat` \ > --enable-psl || die "econf failed" > emake || die "emake failed" > > VARTEXFONTS="${T}"/fonts emake docs >} > >src_install() { > into /usr > if use minisat; then > newbin ${MINISAT_S}/minisat_release minisat > fi > > dodir /usr/share/nusmv/doc > cd ${NUSMV_S} > emake DESTDIR="${D}" install || die "emake install failed" > # duplicate items > rm -f "${D}"/usr/share/nusmv/{LGPL-2.1,README*,NEWS} > # real docs > dodoc README* NEWS AUTHORS > dodoc doc/tutorial/tutorial.pdf > dodoc doc/user-man/nusmv.pdf > > # move package-installed docs > mv "${D}"/usr/share/nusmv/doc/* "${D}"/usr/share/doc/${PF}/ > rmdir "${D}"/usr/share/nusmv/doc > > # clean out examples if not needed > if use !examples ; then > rm -rf "${D}"/usr/share/nusmv/examples || die "Failed to remove examples" > fi >} > >src_test() { > cd ${NUSMV_S} > emake check || die "emake check failed" >}
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 311903
: 229607