Cannot find multiple CL libraries

folu obidare

unread,

Jan 31, 2022, 6:00:30 PM1/31/22

to PRISM model checker

Hello,

I ran the prism make file https://github.com/prismmodelchecker/prism/blob/master/prism/Makefile - and I'm getting errors of being unable to find files. I'm running on the Ubuntu subsystem for Windows.

make[1]: Leaving directory '/mnt/d/Users/Documents/MIPT/Ivan Project/prism/prism/ext/lp_solve_5.5_java'
Making src/dd ...
make[1]: Entering directory '/mnt/d/Users/Documents/MIPT/Ivan Project/prism/prism/src/dd'
g++ -shared -m64 -fPIC -DPIC -DHAVE_IEEE_754 -DBSD -DSIZEOF_VOID_P=8 -DSIZEOF_LONG=8 -O3 -Wformat -o ../../lib/libdd.so ../../obj/dd/dd_abstr.o ../../obj/dd/dd_test.o ../../obj/dd/dd_vars.o ../../obj/dd/dd_matrix.o ../../obj/dd/dd_export.o ../../obj/dd/dd_basics.o ../../obj/dd/dd_term.o ../../obj/dd/dd.o ../../obj/dd/dd_info.o ../../obj/dd/dd_cudd.o -L../../../cudd/lib -lcudd -lutil -lmtr -lst -lepd
/usr/bin/ld: cannot find -lcudd
/usr/bin/ld: cannot find -lmtr
/usr/bin/ld: cannot find -lst
/usr/bin/ld: cannot find -lepd
collect2: error: ld returned 1 exit status
make[1]: *** [Makefile:44: ../../lib/libdd.so] Error 1
make[1]: Leaving directory '/mnt/d/Users/Documents/MIPT/Ivan Project/prism/prism/src/dd'
make: *** [Makefile:376: make_dirs] Error 1

Screenshot 2022-02-01 015942.png

Dave Parker

unread,

Jan 31, 2022, 6:19:04 PM1/31/22

to prismmod...@googlegroups.com, folu obidare

Hi,

It is complaining that it cannot find the CUDD libraries, which are
compiled earlier in the build process, so perhaps something went wrong
there. Can you recompile afresh ("make clean_all", then "make") and show
what it is printed out in the earlier parts?

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/f83f08e3-2af2-4f96-aee2-3b3763bb584an%40googlegroups.com
> <https://groups.google.com/d/msgid/prismmodelchecker/f83f08e3-2af2-4f96-aee2-3b3763bb584an%40googlegroups.com?utm_medium=email&utm_source=footer>.

folu obidare

unread,

Jan 31, 2022, 7:19:00 PM1/31/22

to PRISM model checker

Hello,

I just entered "make clean_all", then "make" as you suggested and I'm no longer getting errors.

Thank you very much for your help

Reply all

Reply to author

Forward