When you say "clone" do you mean that this is a new clone or have you
updated an existing copy? Have you tried
make distclean
./configure
make
? It looks to me as though have you something there from a previous
version.
If this is a completely clean copy then I need to investigate.
David
On 06/11/2018 14:28, Gergely Buday wrote:
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
[email protected]
http://lists.inf.ed.ac.uk/mailman/listinfo/polyml
_______________________________________________
polyml mailing list
[email protected]
http://lists.inf.ed.ac.uk/mailman/listinfo/polyml
