# -*- coding: utf-8; mode: tcl; tab-width: 4; truncate-lines: t; indent-tabs-mode: nil; c-basic-offset: 4 -*- vim:fenc=utf-8:et:sw=4:ts=4:sts=4
# $Id$

PortSystem      1.0

name            nusmv
version         2.4.3
categories      devel math
platforms       darwin
maintainers     mww openmaintainer
description     The NuSMV model checker

long_description ${description}

homepage        http://spinroot.com
master_sites    http://nusmv.fbk.eu/distrib/
distname        NuSMV-${version}
checksums           md5     f9fb88139b388c6ba8d31b0ad1ce5254 \
                    sha1    01e9482d88313a39a26995d5a27335b5059fcf2e \
                    rmd160  a9375b8910940325419949bba6482a4606569ad6

pre-configure {
    # build included cudd first so that configure can pick it up
    system "cd ${workpath}/NuSMV-${version}/cudd-2.4.1.0 && make -f Makefile_os_x CPP=${configure.cxx} CC=${configure.cc}"
}

worksrcdir       ${worksrcdir}/nusmv

configure.args    --with-expat-libdir=${prefix}/lib --with-expat-incdir=${prefix}/include \
                  --disable-zchaff --disable-minisat

use_parallel_build no