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

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

nusmv: add license

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