чт, 22 окт. 2020 г. в 13:33, David Matthews <david.matth...@prolingua.co.uk>:
> ./configure --disable-shared && make && make compiler > now works on FreeBSD 32 without needing any other options. Thanks. But if I want to use gmp, then I still have to specify env CFLAGS=-I/usr/local/include LDFLAGS=-L/usr/local/lib Without them, I get: ./configure --with-gmp --disable-shared ... configure: error: --with-gmp was given, but gmp library (version 4 or later) is not installed _______________________________________________ polyml mailing list polyml@inf.ed.ac.uk http://lists.inf.ed.ac.uk/mailman/listinfo/polyml