Migrating to CUDD 3.0.0

2018-02-10 12:43:22 +00:00
parent 962350a517
commit 269f92aa73
644 changed files with 9 additions and 393429 deletions
--- a/build_cudd.sh
+++ b/build_cudd.sh
@@ -0,0 +1,9 @@
+#!/bin/sh
+
+CUDD_VERSION=3.0.0
+INSTALL_DIR="$PWD"
+
+cd cudd-$CUDD_VERSION
+./configure --enable-shared --enable-obj --prefix=$INSTALL_DIR/cudd
+make
+make install