[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