[MLton-user] dynamic linking to libgmp on os x

Dave Herman dherman at ccs.neu.edu
Thu Feb 14 13:10:48 PST 2008


It appears that MLton generates binaries in OS X that dynamically link 
to a hard-wired path for libgmp.3.dylib. Is there a way to remove this 
hard-wiring so that it'll work on any machine that has libgmp available 
anywhere in the standard search path?

Thanks,
Dave



More information about the MLton-user mailing list