Stream: Coq devs & plugin devs

Topic: Assembler errors on Mac (looks familiar from Cygwin)


view this post on Zulip Michael Soegtrop (May 02 2021 at 07:33):

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 16 2021 at 02:03 UTC