Re: [MLton] configure and gmp
Kostirya <[email protected]> Wed, 7 Feb 2018 14:48:39 +0200
| Newsgroups | gmane.comp.lang.ml.mlton.devel |
|---|---|
| Message-ID | <CAG+QnTexvr7C7yeQ75FZ5QZRwktOL_KN_UhOx=JvXC1jrpxBgQ@mail.gmail.com> |
It is only on i386. amd64 - OK! 2018-02-07 14:12 GMT+02:00 Kostirya <[email protected]>: > Thanks. > There is other error now: > > gmake[1]: Leaving directory '/usr/home/nick/mlton_git' > gmake compiler CHECK_FIXPOINT=false # tools0 + mlton0 -> mlton1 > gmake[1]: Entering directory '/usr/home/nick/mlton_git' > gmake -C "/usr/home/nick/mlton_git/mlton" MLTON_OUTPUT=mlton-compile > gmake[2]: Entering directory '/usr/home/nick/mlton_git/mlton' > Makefile:106: *** multiple target patterns. Stop. > gmake[2]: Leaving directory '/usr/home/nick/mlton_git/mlton' > gmake[1]: *** [Makefile:163: compiler] Error 2 > gmake[1]: Leaving directory '/usr/home/nick/mlton_git' > gmake: *** [Makefile:99: all] Error 2 > > > And warning is > > cc: warning: argument unused during compilation: '-L/usr/local/lib' > [-Wunused-command-line-argument > > when > > cc -std=gnu11 -fno-common -pedantic -Wall -Wextra -Wformat=2 > -Wswitch-default -Wswitch-enum -Wuninitialized -Winit-self > -Wstrict-aliasing=2 -Wfloat-equal -Wundef -Wshadow -Wpointer-arith > -Wbad-function-cast -Wcast-qual -Wwrite-strings -Waggregate-return > -Wstrict-prototypes -Wold-style-definition -Wmissing-prototypes > -Wmissing-declarations -Wmissing-field-initializers -Wmissing-noreturn > -Wmissing-format-attribute -Wredundant-decls -Wnested-externs > -fvisibility=hidden -m64 -I/usr/local/include -L/usr/local/lib -I. > -Iplatform -Wdisabled-optimization -O2 -fomit-frame-pointer -fPIC > -Wno-unreachable-code -c -o gc-pic.o gc.c > > 2018-02-07 11:31 GMT+02:00 Matthew Fluet <[email protected]>: >> Yes, I just ran into that as well, trying to build for OSX via >> homebrew, which also sets a custom GMP_DIR. I'm testing a fix now and >> will push it shortly. >> >> On Wed, Feb 7, 2018 at 3:50 AM, Kostirya <[email protected]> wrote: >>> Hello. >>> I try build latest MLton git version on FreeBSD (clang) and got error: >>> >>> "/usr/home/nick/mlton_git/build/bin/mlton" -target "self" >>> -build-constants true > build-constants.c >>> "/usr/home/nick/mlton_git/build/bin/mlton" -target "self" -output >>> build-constants build-constants.c >>> cc: error: no such file or directory: ''-I/usr/local/include'' >>> unhandled exception: Fail: call to system failed with Fail: exit status 1: >>> gcc -c -I/usr/home/nick/mlton_git/build/lib/mlton/targets/self/include >>> -std=gnu11 -fno-common -O1 -fomit-frame-pointer -fno-strict-aliasing >>> -w -I/usr/home/nick/mlton_git/build/lib/mlton/include >>> '-I/usr/local/include' -m32 -fno-strength-reduce -fschedule-insns >>> -fschedule-insns2 -falign-functions=5 -falign-jumps=2 -falign-loops=2 >>> -o /tmp/file0niLlL.o build-constants.c >>> >>> Maybe is it all along of quotes ? >>> >>> 2017-12-15 16:36 GMT+02:00 Matthew Fluet <[email protected]>: >>>> Thanks for the report. Shouldn't be difficult to fix. >>>> >>>> On Fri, Dec 15, 2017 at 2:22 AM, Kostirya <[email protected]> wrote: >>>>> Hello. >>>>> Configure do not found gmp lib with help --with-gmp-include and >>>>> --with-gmp-lib flags: >>>>> >>>>>> ./configure --with-gmp-include=/usr/local/include --with-gmp-lib=/usr/local/lib >>>>> >>>>>> grep ac_cv_header_gmp_h config.log >>>>> ac_cv_header_gmp_h=no >>>>> >>>>> >>>>> env CPPFLAGS=-I/usr/local/include LDFLAGS=-L/usr/local/lib ./configure >>>>>> grep ac_cv_header_gmp_h config.log >>>>> ac_cv_header_gmp_h=yes >>>>> >>>>> Nick. >>>>> >>>>> ------------------------------------------------------------------------------ >>>>> Check out the vibrant tech community on one of the world's most >>>>> engaging tech sites, Slashdot.org! http://sdm.link/slashdot >>>>> _______________________________________________ >>>>> MLton-devel mailing list >>>>> [email protected]; [email protected] >>>>> https://lists.sourceforge.net/lists/listinfo/mlton-devel ------------------------------------------------------------------------------ Check out the vibrant tech community on one of the world's most engaging tech sites, Slashdot.org! http://sdm.link/slashdot