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

Reply via email to