Is anybody able to build the development version of Poly/ML on a Mac? I can?t even get past the configure stage:
* 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: error: unsupported option '-print-multi-os-directory' clang: error: no input files
I would prefer to configure using --with-gmp=yes, but even a plain configure produces the messages above.
Larry
An HTML attachment was scrubbed... URL: http://lists.inf.ed.ac.uk/pipermail/polyml/attachments/20170418/cbd900c4/attachment.html
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
-
lp15＠cam.ac.uk -
michaelnedzelsky＠yandex.ru