diff options
author | 2011-01-01 17:49:54 +0000 | |
---|---|---|
committer | 2011-01-01 17:49:54 +0000 | |
commit | 9f5f609fa039e90f15514340d7476583011d8923 (patch) | |
tree | 65c1ab81d0d8c84364d648193de540c68c1da6d0 /sci-mathematics | |
parent | Version bumped. Fixed dependency, bug #349807. (diff) | |
download | historical-9f5f609fa039e90f15514340d7476583011d8923.tar.gz historical-9f5f609fa039e90f15514340d7476583011d8923.tar.bz2 historical-9f5f609fa039e90f15514340d7476583011d8923.zip |
Version bump.
Package-Manager: portage-2.1.9.25/cvs/Linux i686
Diffstat (limited to 'sci-mathematics')
-rw-r--r-- | sci-mathematics/nusmv/ChangeLog | 9 | ||||
-rw-r--r-- | sci-mathematics/nusmv/Manifest | 4 | ||||
-rw-r--r-- | sci-mathematics/nusmv/nusmv-2.5.2.ebuild | 133 |
3 files changed, 143 insertions, 3 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/Manifest b/sci-mathematics/nusmv/Manifest index 3535f9aa90ab..d0667b960e13 100644 --- a/sci-mathematics/nusmv/Manifest +++ b/sci-mathematics/nusmv/Manifest @@ -4,7 +4,9 @@ AUX cudd-no-pentium4.patch 543 RMD160 c8e515030b86b8e4015d9ced671f3e3a23198521 S DIST MiniSat_v1.14_src.zip 29428 RMD160 d5f0dc611a6116128d9a404f9045e02b185958b4 SHA1 266536cf5e5e77aa0478b98869bcd67ac1a523b6 SHA256 8e5e0ee84a770dcb3abd6fc65ed4aef938f9ffabca5ddc8a739029f7fb58a8f5 DIST NuSMV-2.3.1.tar.gz 2590944 RMD160 74f00e1c29dabe98e04cf0d652b92d63a73b07dc SHA1 588d3b43f136273176f4a6056b474f9d872b977b SHA256 b8ba0f29afafdfdef8c30f722eead3ef6cbb17e4bfe5563240a01d8a99dbbf68 DIST NuSMV-2.5.0.tar.gz 3792968 RMD160 aaa3b9dc1329ad3feca6c9511b144437caf83472 SHA1 4b2837b0511e9eaf0eee53395308e8eaba6be727 SHA256 59310f5f23f72cb1ad16419e40f245db7c5aa41c0f59ba5c75732bb6c4b56ff1 +DIST NuSMV-2.5.2.tar.gz 3631420 RMD160 1f2e9e3481f4aa51d9ff4ede8c665f36009be212 SHA1 3638b6f392fd0cecdb7ada4343364581b957e70a SHA256 bc41c53c266d41d7bcb92851fbdb07d894c246d1189bfe420301c7b4fca46de0 EBUILD nusmv-2.3.1.ebuild 3331 RMD160 09aa89279858b6a6ac1be71adaf54545d4dffc54 SHA1 36c394fa4bbc8053059bd19be61ae8679983eb53 SHA256 43f713b4e5f21318516348f732f4129670235317724ce595d1e635aa0fbd91cd EBUILD nusmv-2.5.0.ebuild 3651 RMD160 b86a7cd49948dd97ca011b04334b512ad6e433ad SHA1 5e9e78e4fb025558f77bb5c18c68b8c16ae465a7 SHA256 f11dc1614bc52ae6b707d2adbd485e6698082b82cf325eeabd86f9ded2ffae2d -MISC ChangeLog 1833 RMD160 e7614bbca6a08d2ccdcb2557519410478afd7eb6 SHA1 f16d318a76604b0c6767cc8b2bf28fa6e8e412bf SHA256 7ad45d973d724e4228e6c116cc8b6149456301db8eac123777941fd227496be0 +EBUILD nusmv-2.5.2.ebuild 3569 RMD160 65417a514d8f9227d46583c2e48ef9519292e766 SHA1 4eab221dc4a21039db1891df2aaee386f00a39c6 SHA256 5812fdceab35a5a47ab9adbaff44730478d38fd3809da06fa3956ebb80d44463 +MISC ChangeLog 1954 RMD160 561206bc4f806adaf04e75bb01e2e48b04a50c3f SHA1 8507e6301d2c4c28300235512c757b57486e00ca SHA256 867ac9f5728bc3fb05ac11dbd60f32e08a8f64ee737a33abbf7c76cd0453bd11 MISC metadata.xml 301 RMD160 95f4a72bad52574229901ce16d7d503b68cb22f9 SHA1 a62c653d31a41d1e11cea40d2d9366676d67d333 SHA256 b7f1f13dae0ffaaf9894bf5f5a95b351d63c630e9ccaab304b1edb8fa8f1c18c 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" +} |