Just offering some theories since no solution is emerging...

Larry, FWIW the warnings you asked about in April are reproducible on Linux as well:

$ uname -sr Linux 3.16.0-77-generic $ ./configure --with-gmp CXX=/tmp/clang-4.0.1/bin/clang++ CC=/tmp/clang-4.0.1/bin/clang ... checking for C compiler vendor... clang

******************************************************** * WARNING: Don't know the best CFLAGS for this system * * Use ./configure CFLAGS=... to specify your own flags * * (otherwise, a default of CFLAGS=-O3 will be used) * ******************************************************** ... clang-4.0: error: unsupported option '-print-multi-os-directory' clang-4.0: error: no input files ... $ echo $? 0 $ make -j ... $ echo $? 0

I can't reproduce your build error, but I built Clang without libc++. It's using libstdc++ 6.0.23 from GCC 7.1.0.

Some creative searching suggests you may have success by introducing the '-stdlib=libc++' to the CFLAGS/CXXFLAGS, but this is just guessing.

HTH, Matt

On 13/09/17 03:35, David Matthews wrote:

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 polyml at inf.ed.ac.uk http://lists.inf.ed.ac.uk/mailman/listinfo/polyml

---

polyml mailing list polyml at inf.ed.ac.uk http://lists.inf.ed.ac.uk/mailman/listinfo/polyml