[gecode-users] Compiling statically

[Lars Kotthoff]

> 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