source: trunk/dports/devel/nusmv/Portfile @ 84550

Last change on this file since 84550 was 84550, checked in by snc@…, 9 years ago

modelines

  • Property svn:eol-style set to native
  • Property svn:keywords set to Id
File size: 2.1 KB
Line 
1# -*- coding: utf-8; mode: tcl; tab-width: 4; indent-tabs-mode: nil; c-basic-offset: 4 -*- vim:fenc=utf-8:ft=tcl:et:sw=4:ts=4:sts=4
2# $Id: Portfile 84550 2011-09-27 21:05:11Z snc@macports.org $
3
4PortSystem 1.0
5
6name                nusmv
7version             2.5.3
8categories          devel math
9platforms           darwin
10maintainers         mww openmaintainer
11description         The NuSMV model checker
12
13long_description    ${description}
14
15homepage            http://nusmv.fbk.eu/
16master_sites        http://nusmv.fbk.eu/distrib/:nusmv \
17                    http://minisat.se/downloads/:minisat
18distfiles           NuSMV-${version}.tar.gz:nusmv minisat2-070721.zip:minisat
19checksums           NuSMV-${version}.tar.gz \
20                    rmd160  a9bb9c0161d38c7a40243cae300b67ad0e0492e4 \
21                    sha256  d5d6b2873dfa6f82ff9bef1a7eefa36dc5070557aa2b0e0d53cc8c54b2fe437d \
22                    minisat2-070721.zip \
23                    rmd160  a04236122afc4fba40b6e54da34b1b0d2ef4eda4 \
24                    sha256  ddc2ed421a538a349ddab58d3958076d73813925ff08361e6292583d3b87248e
25
26depends_lib         port:readline port:expat
27
28set minisatdir      ${workpath}/NuSMV-${version}/MiniSat
29worksrcdir          NuSMV-${version}
30
31extract.only        NuSMV-${version}.tar.gz
32post-extract {
33    system -W ${minisatdir} "unzip ${distpath}/minisat2-070721.zip"
34}
35
36pre-configure {
37    # build included cudd first so that configure can pick it up
38    if {$build_arch == "x86_64"} {
39        system -W ${worksrcpath}/cudd-2.4.1.1 "mv Makefile_os_x_64bit Makefile_os_x"
40    }
41    system -W ${worksrcpath}/cudd-2.4.1.1 "make -f Makefile_os_x CPP=${configure.cxx} CC=${configure.cc} ICFLAGS=\"${configure.cc_archflags}\""
42    system -W ${minisatdir} "CXX=\"${configure.cxx} ${configure.cxx_archflags}\" ./build.sh"
43}
44configure.dir       ${worksrcpath}/nusmv
45configure.args      --with-expat-libdir=${prefix}/lib --with-expat-incdir=${prefix}/include \
46                    --disable-zchaff --enable-minisat \
47                    --with-minisat-incdir=${minisatdir}/minisat \
48                    --with-minisat-libdir=${minisatdir}/minisat
49
50build.dir           ${configure.dir}
51destroot.dir        ${configure.dir}
52
53use_parallel_build  no
Note: See TracBrowser for help on using the repository browser.