/
Portfile
37 lines (27 loc) · 1.3 KB
/
Portfile
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
# -*- 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