Cannot find multiple CL libraries

Skip to first unread message

folu obidare

Jan 31, 2022, 6:00:30 PMJan 31
to PRISM model checker
I ran the prism make file - 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/ ../../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/] 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

Jan 31, 2022, 6:19:04 PMJan 31
to, folu obidare

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,

> --
> 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
> <>.
> To view this discussion on the web, visit
> <>.

folu obidare

Jan 31, 2022, 7:19:00 PMJan 31
to PRISM model checker

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
0 new messages