[CakeML-dev] Problem building ESOP paper

Magnus Myreen magnus.myreen at gmail.com
Mon Oct 9 12:45:18 UTC 2017


Hi Michael and internal list,

When I try to build the ESOP'18 paper, I get the following errors:

esop2018$ Holmake
holtexbasic.sty                                                              OK
munge.exe                                                                    OK
paper.tex                                                          FAILED! <7F>
 /bin/sh: ./munge.exe: No such file or directory

Running with -j1 shows that there are problems earlier:

esop2018$ Holmake -j1
/Users/mom22/HOL/bin/mkmunge.exe ppLib
ld: warning: could not create compact unwind for _ffi_call_unix64:
does not use RBP or RSP based frame
Undefined symbols for architecture x86_64:
  "std::terminate()", referenced from:
      ___clang_call_terminate in libpolyml.a(pexport.o)
      ___clang_call_terminate in libpolyml.a(processes.o)
      ___clang_call_terminate in libpolyml.a(memmgr.o)
      ___clang_call_terminate in libpolyml.a(statistics.o)
      ___clang_call_terminate in libpolyml.a(quick_gc.o)
      ___clang_call_terminate in libpolyml.a(gc_copy_phase.o)
      ___clang_call_terminate in libpolyml.a(gc_mark_phase.o)

My clang compiler:

esop2018$ gcc --version
Configured with:
--prefix=/Applications/Xcode.app/Contents/Developer/usr
--with-gxx-include-dir=/usr/include/c++/4.2.1
Apple LLVM version 7.0.2 (clang-700.1.81)
Target: x86_64-apple-darwin14.5.0
Thread model: posix

Cheers,
Magnus



More information about the Developers mailing list