Re: [MLton] configure and gmp

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