Since a while I get this kind of error:
1583 boot/ocamlrun ./ocamlopt -g -nostdlib -I stdlib -I otherlibs/dynlink -o ocamlc.opt compilerlibs/ocamlcommon.cmxa compilerlibs/ocamlbytecomp.cmxa driver/main.cmx -cclib "-lm -lpthread "
1584 File "caml_startup", line 1:
1585 Error: Assembler error, input left in file /var/folders/cp/k49x696547b5cwnndt_wtnlw0000gn/T/camlstartup3fd470.s
1586 make[2]: *** [ocamlc.opt] Error 2
1587 make[1]: *** [opt.opt] Interrupt: 2
1588 make: *** [world.opt] Interrupt: 2
coq-platform-test$ cat /var/folders/cp/k49x696547b5cwnndt_wtnlw0000gn/T/camlstartup3fd470.s
I have seen similar "Assembler error, input left in file ..." errors on cygwin after an update of binutils. In cygwin I am currently using an old version of binutils. Possibly Xcode got updated to use the same version of binutils - checking.
Has someone else seen this?
Last updated: Oct 13 2024 at 01:02 UTC