On 2 Aug 2013, at 13:21, David Matthews wrote: > ... I'd like to release this version in the next month or so but I'd like to > fix any other bugs that have been introduced. Please try out the SVN version > and let me know how it goes.
I tried building ProofPower with it on a VirtualBox guest running Kubuntu 12.10.. The build runs the following command just after a run of poly that created pp-ml.o using PolyML.export. LD_RUN_PATH=/opt/PolyML/latest/lib c++ -o slrp-ml pp-ml.o -L/opt/PolyML/latest/lib -lpolymain -lpolyml LD_LIBRARY_PATH has been set in the shell script that calls this to /opt/PolyML/latest/lib I get numerous undefined reference errors: /opt/PolyML/latest/lib/libpolyml.a(processes.o): In function `Processes::Init()': processes.cpp:(.text+0x166): undefined reference to `pthread_key_create ... /opt/PolyML/latest/lib/libpolyml.a(foreign.o): In function `load_sym(TaskData*, SaveVecEntry*)': foreign.cpp:(.text+0x27f9): undefined reference to `dlsym' ... /opt/PolyML/latest/lib/libpolyml.a(locking.o): In function `PLock::Trylock()': locking.cpp:(.text+0x257): undefined reference to `sem_init' ... collect2: error: ld returned 1 exit status Regards, Rob.
_______________________________________________ polyml mailing list [email protected] http://lists.inf.ed.ac.uk/mailman/listinfo/polyml
