Building PRISM on new M4 Mac

[Robert Goldman]

I'm getting an error inside the CUDD build on an M4 Mac:

g++ -Wl,-search_paths_first -o ../../obj/dd/dd_test ../../obj/dd/dd_test.o -L../../lib -ldd
Undefined symbols for architecture arm64:
  "_Cudd_RecursiveDeref", referenced from:
      _main in dd_test.o
      _main in dd_test.o
      _main in dd_test.o
      _main in dd_test.o
      _main in dd_test.o
      _main in dd_test.o
      _main in dd_test.o
      _main in dd_test.o
      _main in dd_test.o
      _main in dd_test.o
      _main in dd_test.o
      _main in dd_test.o
      _main in dd_test.o
      _main in dd_test.o
      _main in dd_test.o
      _main in dd_test.o
      _main in dd_test.o
      _main in dd_test.o
      _main in dd_test.o
      _main in dd_test.o
      ...
  "_Cudd_Ref", referenced from:
      _main in dd_test.o
      _main in dd_test.o
      _main in dd_test.o
      _main in dd_test.o
      _main in dd_test.o
      _main in dd_test.o
      _main in dd_test.o
      _main in dd_test.o
      _main in dd_test.o
      _main in dd_test.o
      _main in dd_test.o
      _main in dd_test.o
      _main in dd_test.o
      _main in dd_test.o
      _main in dd_test.o
      _main in dd_test.o
      _main in dd_test.o
      ...
ld: symbol(s) not found for architecture arm64
clang++: error: linker command failed with exit code 1 (use -v to see invocation)

Not sure if this relates to issues with MacOS wanting only dynamic libraries, or if it's something else.

New machine and I had an M1 Mac before that I had managed to build on.  Any suggestions for debugging this?

[Dave Parker]

Hi Robert,

I don't have an M4 Mac to hand to test on, but I'm not aware of any
issues. Is this definitely a clean build? Try either a fresh check out
of the code or running "make clean_all" before "make".

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, visit https://groups.google.com/d/msgid/
> prismmodelchecker/1bc1226a-cd56-4801-8675-
> c9301c4c88c9n%40googlegroups.com <https://groups.google.com/d/msgid/
> prismmodelchecker/1bc1226a-cd56-4801-8675-
> c9301c4c88c9n%40googlegroups.com?utm_medium=email&utm_source=footer>.

[Robert Goldman]

You are absolutely right, Dave. So sorry for the noise, and thanks for putting me on the right track. I did `make clean` but not `make clean_all` so I bet I didn't clean CUDD and that blew up on me.

Best,

R