> we currently don't support creating both static and dynamic libraries, > and our configure script has a bug, it doesn't switch off dynamic libs > when you say --enable-static. Please try --enable-static --disable- > dynamic, I think it should work.
Thanks Guido, unfortunately it still doesn't work. The produced libraries and binaries are still dynamically linked and the Makefile doesn't contain "-static" anywhere. Lars _______________________________________________ Gecode users mailing list us...@gecode.org https://www.gecode.org/mailman/listinfo/gecode-users