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