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