VERSION: 3.1.dev
OSTYPE/ARCH: linux amd64
JAVA_DIR: /usr/lib/jvm/java-11-openjdk-amd64
JAVA_DIR_BACKUP:
JAVAC: /usr/bin/javac
PPL_DIR: /usr/local/lib
Making cudd ...
make[1]: Entering directory '/mnt/hgfs/share/prism-games/cudd'
sh ./setup.sh
Making cudd ...
make[2]: Entering directory '/mnt/hgfs/share/prism-games/cudd/cudd'
gcc -c cuddAPI.c -I../include -O3 -Wformat -m64 -fPIC -DPIC -DHAVE_IEEE_754 -DBSD -DSIZEOF_VOID_P=8 -DSIZEOF_LONG=8
cuddAPI.c:212:10: fatal error: util.h: No such file or directory
#include "util.h"
^~~~~~~~
compilation terminated.
Makefile:79: recipe for target 'cuddAPI.o' failed
make[2]: *** [cuddAPI.o] Error 1
make[2]: Leaving directory '/mnt/hgfs/share/prism-games/cudd/cudd'
Making dddmp ...
make[2]: Entering directory '/mnt/hgfs/share/prism-games/cudd/dddmp'
make[2]: *** No rule to make target '../include/cudd.h', needed by 'dddmpStoreBdd.o'. Stop.
make[2]: Leaving directory '/mnt/hgfs/share/prism-games/cudd/dddmp'
Making mtr ...
make[2]: Entering directory '/mnt/hgfs/share/prism-games/cudd/mtr'
gcc -c mtrBasic.c -I../include -O3 -Wformat -m64 -fPIC -DPIC -DHAVE_IEEE_754 -DBSD -DSIZEOF_VOID_P=8 -DSIZEOF_LONG=8
mtrBasic.c:63:10: fatal error: util.h: No such file or directory
#include "util.h"
^~~~~~~~
compilation terminated.
Makefile:57: recipe for target 'mtrBasic.o' failed
make[2]: *** [mtrBasic.o] Error 1
make[2]: Leaving directory '/mnt/hgfs/share/prism-games/cudd/mtr'
Making st ...
make[2]: Entering directory '/mnt/hgfs/share/prism-games/cudd/st'
gcc -c st.c -I../include -O3 -Wformat -m64 -fPIC -DPIC -DHAVE_IEEE_754 -DBSD -DSIZEOF_VOID_P=8 -DSIZEOF_LONG=8
st.c:20:10: fatal error: util.h: No such file or directory
#include "util.h"
^~~~~~~~
compilation terminated.
Makefile:35: recipe for target 'st.o' failed
make[2]: *** [st.o] Error 1
make[2]: Leaving directory '/mnt/hgfs/share/prism-games/cudd/st'
Making util ...
make[2]: Entering directory '/mnt/hgfs/share/prism-games/cudd/util'