Hi again, In the meantime I've located the problem. It seems there's been a change to the default linking of shared libraries in Ubuntu. See this page for more information: https://wiki.ubuntu.com/NattyNarwhal/ToolchainTransition
A temporary fix is to run GODI bootstrap with LDFLAGS="-Wl,--no-as-needed". This overrides the new default "--as-needed" which was causing the problem... Cheers, Dario Teixeira _______________________________________________ Godi-list mailing list Godi-list@ocaml-programming.de https://godirepo.camlcity.org/mailman/listinfo/godi-list
