I found the place where “-lgmp” was missing (see attached diff). This is
a workaround. A better solution would be to allow the user to override
the linker flags with a declaration in “poly-includes.ML”.
--
Do not eat animals; respect them as you respect people.
https://duckduckgo.com/?q=how+to+(become+OR+eat)+vegan
diff --git a/tools-poly/configure.sml b/tools-poly/configure.sml
index cb9f7b873..3b6b83b72 100644
--- a/tools-poly/configure.sml
+++ b/tools-poly/configure.sml
@@ -215,7 +215,7 @@ in
case pkgconfig_info of
SOME list => list
| _ => ["-L" ^ polymllibdir, "-lpolymain", "-lpolyml", "-lpthread",
- "-lm", "-ldl", "-lstdc++", "-lgcc_s", "-lgcc"]
+ "-lgmp", "-lm", "-ldl", "-lstdc++", "-lgcc_s", "-lgcc"]
else []
end;
------------------------------------------------------------------------------
Check out the vibrant tech community on one of the world's most
engaging tech sites, Slashdot.org! http://sdm.link/slashdot
_______________________________________________
hol-info mailing list
[email protected]
https://lists.sourceforge.net/lists/listinfo/hol-info
