Problems compiling with source code in ubuntu

14 views
Skip to first unread message

Zoe T

unread,
Aug 14, 2023, 1:04:51 AM8/14/23
to PRISM model checker
Hi,
I tried to compile the source code in ubuntu and at the end of the step I got the following problem.

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'


Zoe

Dave Parker

unread,
Aug 14, 2023, 2:11:53 AM8/14/23
to prismmod...@googlegroups.com, Zoe T
Hi Zoe,

That's strange. The required copy of util.h should be in

prism-games/cudd/include/util.h

and it should be created by the setup.sh script. If the util.h file is
not there, you could try going into the prism-games/cudd directory and
re-running "sh ./setup.sh" manually to see if there is a problem.

Or, just try again from a clean copy of PRISM-games.

I just tried pulling and building the latest PRISM-games code from git
on a clean Ubuntu install (Ubuntu 22.04.1, OpenJDK 11) using this
sequence of commands:

https://raw.githubusercontent.com/prismmodelchecker/prism-games/master/prism/etc/scripts/prism-install-ubuntu

and all worked fine for me.

Best wishes,

Dave
> --
> You received this message because you are subscribed to the Google
> Groups "PRISM model checker" group.
> To unsubscribe from this group and stop receiving emails from it, send
> an email to prismmodelchec...@googlegroups.com
> <mailto:prismmodelchec...@googlegroups.com>.
> To view this discussion on the web, visit
> https://groups.google.com/d/msgid/prismmodelchecker/68e8e062-ee14-4b91-873f-6da218aa19f0n%40googlegroups.com <https://groups.google.com/d/msgid/prismmodelchecker/68e8e062-ee14-4b91-873f-6da218aa19f0n%40googlegroups.com?utm_medium=email&utm_source=footer>.
Reply all
Reply to author
Forward
0 new messages