In my most recent attempt to install Coq on my MacbookPro M3 Max machine, and using the Platform installation script (running sh coq_platform_make.sh in my terminal window), I always get Segmentation fault 11 errors for two pieces (regardless of the options I choose while running the installation script). The errors always arise while compiling:
(1) coq-unicoq.1.6+8.17
(2) coq-relation-algebra.1.7.9
with the error details provided in my terminal window (apologies for the detailed post) shown further down in my post.
Anyone have any suggestions about why this might be happening and how to make things work?
Thanks for any ideas!
#=== ERROR while compiling coq-unicoq.1.6+8.17 ================================#
# context 2.1.5 | macos/arm64 | ocaml-option-flambda.1 ocaml-variants.4.14.1+options | https://coq.inria.fr/opam/released#2024-05-13 05:50
# path ~/.opam/CP.2023.11.0~8.17~2023.08/.opam-switch/build/coq-unicoq.1.6+8.17
# command /usr/bin/make -j12
# exit-code 2
# env-file ~/.opam/log/coq-unicoq-56132-11b9a2.env
# output-file ~/.opam/log/coq-unicoq-56132-11b9a2.out
### output ###
# [...]
# make[1]: *** [test-suite/munifytest.vo] Segmentation fault: 11
# make[1]: *** Waiting for unfinished jobs....
# Decimal.uint =<= Decimal.uint (Reduce-Same)
# Decimal.uint =<= Decimal.uint (Reduce-Same)
# Number.uint =<= Number.uint (Reduce-Same)
# ?T =<= nat (Meta-Inst)make[1]: *** [test-suite/microtests.vo] Segmentation fault: 11
# make[1]: *** [test-suite/bug_41.vo] Segmentation fault: 11
# make[1]: *** [test-suite/bug_44.vo] Segmentation fault: 11
# make[1]: *** [test-suite/primitive.vo] Segmentation fault: 11
# make[1]: *** [test-suite/instantiate.vo] Segmentation fault: 11
# make[1]: *** [test-suite/timings.vo] Segmentation fault: 11
# make: *** [all] Error 2
#=== ERROR while compiling coq-relation-algebra.1.7.9 =========================#
# context 2.1.5 | macos/arm64 | ocaml-option-flambda.1 ocaml-variants.4.14.1+options | https://coq.inria.fr/opam/released#2024-05-13 05:50
# path ~/.opam/CP.2023.11.0~8.17~2023.08/.opam-switch/build/coq-relation-algebra.1.7.9
# command /usr/bin/make -j12
# exit-code 2
# env-file ~/.opam/log/coq-relation-algebra-56132-abc6dd.env
# output-file ~/.opam/log/coq-relation-algebra-56132-abc6dd.out
### output ###
# [...]
# COQC theories/traces.v
# COQC theories/lang.v
# COQC theories/atoms.v
# COQC theories/factors.v
# COQC theories/kat.v
# COQC theories/normalisation.v
# COQC theories/untyping.v
# COQC theories/glang.v
# COQC theories/rel.v
# make[1]: *** [theories/normalisation.vo] Segmentation fault: 11
# make[1]: *** Waiting for unfinished jobs....
# make: *** [all] Error 2