# -*- 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

PortSystem          1.0

name                libcudd
version             3.0.0
categories          devel
platforms           darwin
maintainers         {cds.caltech.edu:slivingston @slivingston} \
                    openmaintainer
license             BSD
conflicts           nusmv

description         An efficient library for manipulating decision diagrams

long_description    The CUDD package provides functions to manipulate Binary \
                    Decision Diagrams (BDDs), Algebraic Decision Diagrams (ADDs), \
                    and Zero-suppressed Binary Decision Diagrams (ZDDs). It's \
                    been written by Fabio Somenzi at the University of Colorado, \
                    Boulder.

homepage            http://vlsi.colorado.edu/~fabio/CUDD/
master_sites        sourceforge:cudd-mirror
distname            cudd-${version}

checksums           rmd160  94bb43fe5e6065b64adc798b7b58d795f4d9d7d1 \
                    sha256  b8e966b4562c96a03e7fbea239729587d7b395d53cadcc39a7203b49cf7eeb69 \
                    size    1175302

use_configure       yes

variant universal {}

configure.args      --enable-shared \
                    --enable-obj

build.target        all