Cannot find multiple CL libraries

9 views
Skip to first unread message

folu obidare

unread,
Jan 31, 2022, 6:00:30 PMJan 31
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 PMJan 31
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 PMJan 31
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
0 new messages