source: trunk/dports/devel/nusmv/Portfile

Last change on this file was 114328, checked in by ryandesign@…, 4 years ago

use eq and ne instead of == and != when comparing ${os.arch}, ${configure.build_arch}, ${build_arch}, and some port-specific variables for referring to architectures

  • Property svn:eol-style set to native
  • Property svn:keywords set to Id
File size: 2.3 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 114328 2013-12-05 10:21:52Z ryandesign@macports.org $
3
4PortSystem 1.0
5
6name                nusmv
7version             2.5.4
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-2.5.4.tar.gz \
21                    rmd160  60d2bf089c1dac179fd5dd54915da46bc585dea2 \
22                    sha256  3c250624cba801b1f62f50733f9507b0f3b3ca557ce1cd65956178eb273f1bdf \
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
37patchfiles          MiniSat_minisat_core_SolverTypes.h.diff
38
39pre-configure {
40    # build included cudd first so that configure can pick it up
41    if {${build_arch} eq "x86_64"} {
42        system -W ${worksrcpath}/cudd-2.4.1.1 "mv Makefile_os_x_64bit Makefile_os_x"
43    }
44    system -W ${worksrcpath}/cudd-2.4.1.1 "make -f Makefile_os_x CPP=${configure.cxx} CC=${configure.cc} ICFLAGS=\"${configure.cc_archflags}\""
45    system -W ${minisatdir} "CXX=\"${configure.cxx} ${configure.cxx_archflags}\" ./build.sh"
46}
47configure.dir       ${worksrcpath}/nusmv
48configure.args      --with-expat-libdir=${prefix}/lib --with-expat-incdir=${prefix}/include \
49                    --disable-zchaff --enable-minisat \
50                    --with-minisat-incdir=${minisatdir}/minisat \
51                    --with-minisat-libdir=${minisatdir}/minisat
52
53build.dir           ${configure.dir}
54destroot.dir        ${configure.dir}
55
56use_parallel_build  no
57
58livecheck.type      regex
59livecheck.url       ${homepage}
60livecheck.regex     NuSMV-(\[0-9.\]+\[0-9\])
Note: See TracBrowser for help on using the repository browser.