[polyml] configure fails

Many thanks, but I don?t seem to be getting that far, despite running the exact same OS version:

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 ~/Sources/polyml:

Larry Paulson

On 18 Apr 2017, at 16:01, ??????????? ?????? <michaelnedzelsky at yandex.ru> wrote:

I cloned Poly/ML git repository and invoke the usual sequence of commands: ./configure make make compiler Though the first command produced these messages (clang: error), the compiler was built and it seems works.

OS: MacOS Sierra 10.12.4