diff options
| -rw-r--r-- | sci-mathematics/nusmv/ChangeLog | 9 | ||||
| -rw-r--r-- | sci-mathematics/nusmv/nusmv-2.5.2.ebuild | 133 |
2 files changed, 140 insertions, 2 deletions
diff --git a/sci-mathematics/nusmv/ChangeLog b/sci-mathematics/nusmv/ChangeLog index 639748f95bd4..17c8f2266e3d 100644 --- a/sci-mathematics/nusmv/ChangeLog +++ b/sci-mathematics/nusmv/ChangeLog @@ -1,6 +1,11 @@ # ChangeLog for sci-mathematics/nusmv -# Copyright 1999-2010 Gentoo Foundation; Distributed under the GPL v2 -# $Header: /var/cvsroot/gentoo-x86/sci-mathematics/nusmv/ChangeLog,v 1.10 2010/07/13 02:22:15 phajdan.jr Exp $ +# Copyright 1999-2011 Gentoo Foundation; Distributed under the GPL v2 +# $Header: /var/cvsroot/gentoo-x86/sci-mathematics/nusmv/ChangeLog,v 1.11 2011/01/01 17:49:54 phajdan.jr Exp $ + +*nusmv-2.5.2 (01 Jan 2011) + + 01 Jan 2011; Pawel Hajdan jr <phajdan.jr@gentoo.org> +nusmv-2.5.2.ebuild: + Version bump. 13 Jul 2010; Pawel Hajdan jr <phajdan.jr@gentoo.org> +files/cudd-no-pentium4.patch, nusmv-2.5.0.ebuild: diff --git a/sci-mathematics/nusmv/nusmv-2.5.2.ebuild b/sci-mathematics/nusmv/nusmv-2.5.2.ebuild new file mode 100644 index 000000000000..10bc8accef79 --- /dev/null +++ b/sci-mathematics/nusmv/nusmv-2.5.2.ebuild @@ -0,0 +1,133 @@ +# Copyright 1999-2011 Gentoo Foundation +# Distributed under the terms of the GNU General Public License v2 +# $Header: /var/cvsroot/gentoo-x86/sci-mathematics/nusmv/nusmv-2.5.2.ebuild,v 1.1 2011/01/01 17:49:54 phajdan.jr Exp $ + +inherit eutils flag-o-matic 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.1" +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/" +SRC_URI="http://nusmv.fbk.eu/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 + epatch "${FILESDIR}"/${MINISAT_P}_gcc41.patch + fi + + cd "${CUDD_S}" + if [[ "$(tc-arch)" = amd64 ]] ; then + mv Makefile_64bit Makefile || die + fi + sed -i Makefile -e 's/-mcpu=[^\s]*//' || die + + 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() { + if [[ "$(tc-arch)" = x86 ]] ; then + append-flags -DNUSMV_SIZEOF_VOID_P=4 -DNUSMV_SIZEOF_LONG=4 -DNUSMV_SIZEOF_INT=4 + fi + + 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." + + local myconf="$(use_enable minisat) --enable-pslparser" + if use minisat; then + myconf="${myconf} + --with-minisat-incdir=../${MINISAT_P} + --with-minisat-libdir=../${MINISAT_P}" + fi + + cd ${NUSMV_S} + econf ${myconf} || 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" +} |