As I’ve mentioned before, attempts to build Poly/ML on my machine (OS X
10.12.6) don’t get very far (see errors below). I do have success with "brew
install polyml”. But this presumably does not use the --with-gmp option. Is
there a way of getting that using homebrew?
Larry Paulson
-darwin13.1.0/libstdc++-v3/libsupc++/.libs'
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::__1::__vector_base_common<true>::__throw_length_error() const",
referenced from:
std::__1::vector<LocalMemSpace*, std::__1::allocator<LocalMemSpace*>
>::insert(std::__1::__wrap_iter<LocalMemSpace* const*>, LocalMemSpace* const&)
in libpolyml.a(memmgr.o)
void std::__1::vector<LocalMemSpace*, std::__1::allocator<LocalMemSpace*>
>::__push_back_slow_path<LocalMemSpace* const>(LocalMemSpace* const&) in
libpolyml.a(memmgr.o)
void std::__1::vector<PermanentMemSpace*,
std::__1::allocator<PermanentMemSpace*>
>::__push_back_slow_path<PermanentMemSpace* const>(PermanentMemSpace* const&)
in libpolyml.a(memmgr.o)
void std::__1::vector<CodeSpace*, std::__1::allocator<CodeSpace*>
>::__push_back_slow_path<CodeSpace* const>(CodeSpace* const&) in
libpolyml.a(memmgr.o)
void std::__1::vector<StackSpace*, std::__1::allocator<StackSpace*>
>::__push_back_slow_path<StackSpace* const>(StackSpace* const&) in
libpolyml.a(memmgr.o)
ld: symbol(s) not found for architecture x86_64
clang: error: linker command failed with exit code 1 (use -v to see invocation)
make[2]: *** [polyimport] Error 1
make[1]: *** [all-recursive] Error 1
make: *** [all] Error 2
_______________________________________________
polyml mailing list
[email protected]
http://lists.inf.ed.ac.uk/mailman/listinfo/polyml
