Re: [MLton] configure and gmp

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