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
Michael
./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
Michael
18.04.2017, 17:03, "Lawrence Paulson" <[email protected]>:
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 filesI would prefer to configure using --with-gmp=yes, but even a plain configure produces the messages above.Larry_______________________________________________
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
