# Copyright 1999-2006 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.1 2006/04/02 11:40:21 robbat2 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.3.0.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/" # 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" IUSE="minisat examples" RDEPEND="virtual/libc dev-libs/expat" DEPEND="${RDEPEND} virtual/tetex virtual/ghostscript 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-sa \ --enable-sa-cpp \ --enable-psl || die "econf failed" emake || die "emake failed" 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" }