Re: [MLton] configure and gmp

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