Re: [MLton] configure and gmp

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