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 polyml at inf.ed.ac.uk http://lists.inf.ed.ac.uk/mailman/listinfo/polyml