Unless anyone else on the list has some ideas I think you're best off
getting someone to look at exactly what you've got on your machine and
where it's installed. Mac OS seems to have some rather idiosyncratic
views about where libraries should be installed and simple installations
don't always seem to work.
David
On 12/09/2017 15:11, Lawrence Paulson wrote:
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
_______________________________________________
polyml mailing list
[email protected]
http://lists.inf.ed.ac.uk/mailman/listinfo/polyml