artur/reactics
1
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity

Migrated to new CUDD (3.0.0) -- complete

Browse Source
This commit is contained in:
Artur Meski
2018-02-10 12:48:42 +00:00
parent e0eb9258b0
commit 1213321c3b
2 changed files with 5 additions and 1 deletions
Download Patch File Download Diff File Expand all files Collapse all files

6
build_cudd.sh
View File

@@ -3,7 +3,11 @@
CUDD_VERSION=3.0.0 CUDD_VERSION=3.0.0
INSTALL_DIR="$PWD" INSTALL_DIR="$PWD"
tar -zxvf dist/cudd-$CUDD_VERSION.tar.gz
cd cudd-$CUDD_VERSION cd cudd-$CUDD_VERSION
./configure --enable-shared --enable-obj --prefix=$INSTALL_DIR/cudd ./configure --enable-shared --enable-obj --prefix=$INSTALL_DIR/cudd
make make -j4
make install make install
cd ..
rm -rf cudd-$CUDD_VERSION

BIN
dist/cudd-3.0.0.tar.gz vendored Normal file
View File

Binary file not shown.