Roger,
PolyML 5.9.1 on Sequoia works fine for me after a couple of tweaks.
1) to build it use the following in the confguration step:
LDFLAGS=-ld64 ./configure
2) then edit the polyc script as per the following diff output:
--- polyc 2025-04-11 22:09:52
+++ /tmp/bin/polyc 2025-04-11 22:17:04
@@ -2,7 +2,7 @@
prefix="/tmp"
exec_prefix="${prefix}"
BINDIR="${exec_prefix}/bin"
-LINK="g++ -std=gnu++11"
+LINK="g++"
LIBDIR="${exec_prefix}/lib"
LIBS=""
CFLAGS="-O3"
@@ -12,7 +12,7 @@
# Extra options for Windows. config.status sets these conditionals to either
"" or "#".
-EXTRALDFLAGS=""
+EXTRALDFLAGS="-ld_classic"
##EXTRALDFLAGS="-Wl,-u,WinMain"
#@ARCHINTERPRET64_TRUE@EXTRALDFLAGS="-Wl,-u,WinMain"
##EXTRALDFLAGS="-Wl,-u,_WinMain@16 -Wl,--large-address-aware"
See https://github.com/polyml/polyml/issues/194 for a discussion.
The latest version of SML/NJ does crash building the dev package and that’s a
new one on me.
It looks like a compiler bug and I have raised it as
https://github.com/smlnj/smlnj/issues/303
Regards,
Rob.
> On 8 Apr 2025, at 21:22, Roger Jones <[email protected]> wrote:
>
> Has anyone succeeded in building ProofPower on MacOs Sequoia 15?
>
> I had a go.
> PolyML fails to build whether from the source or when installing by macport.
> SML/NJ builds OK, but the ProofPower dev package fails to build with it.
>
> Roger Jones
>
> _______________________________________________
> Proofpower mailing list
> [email protected]
> http://lemma-one.com/mailman/listinfo/proofpower_lemma-one.com
_______________________________________________
Proofpower mailing list
[email protected]
http://lemma-one.com/mailman/listinfo/proofpower_lemma-one.com
