Hi there, cloning polyml from github I did configure --prefix=/home/gbuday/polyml
Running make I get the following error: make[2]: Entering directory `/home/gbuday/polyml' /bin/sh ./libtool --tag=CC --mode=link gcc -O3 -Ilibffi/include -o polyimport polyimport.o libpolyml/libpolyml.la -lrt -lm -ldl -lgcc_s -lgcc libtool: link: gcc -O3 -Ilibffi/include -o .libs/polyimport polyimport.o libpolyml/.libs/libpolyml.so -lrt -lm -ldl -lgcc_s -lgcc -Wl,-rpath -Wl,/home/gbuday/polyml/lib gcc: libpolyml/.libs/libpolyml.so: No such file or directory It exists as a symbolic link: $ ls -l libpolyml/.libs/libpolyml.so lrwxrwxrwx. 1 gbuday gbuday 18 nov 6 15.08 libpolyml/.libs/libpolyml.so -> libpolyml.so.9.0.0 but the versioned libpolyml.so.9.0.0 does not. Is this a bug or I haven't managed something well? - Gergely _______________________________________________ polyml mailing list polyml@inf.ed.ac.uk http://lists.inf.ed.ac.uk/mailman/listinfo/polyml
