Re: [MLton] configure and gmp

On Wed, Feb 7, 2018 at 9:50 AM, Kostirya <[email protected]> wrote:
> 2018-02-07 15:12 GMT+02:00 Matthew Fluet <[email protected]>:
>> On Wed, Feb 7, 2018 at 7:12 AM, Kostirya <[email protected]> wrote:
>>> 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
>>
>> I guess that is complaining about:
>>
>>     front-end/%.grm.sig front-end/%.grm.sml: front-end/%.grm
>>             $(MAKE) -C front-end $(<F).sig $(<F).sml
>>
>> from ./mlton/Makefile.  It seems to work fine with GNU make elsewhere;
>> perhaps it is an old version on freebsd-i386?
>
> I use
>
> FreeBSD wc-bsd 11.1-RELEASE-p4 FreeBSD 11.1-RELEASE-p4 #0: Tue Nov 14
> 06:05:10 UTC 2017
> [email protected]:/usr/obj/usr/src/sys/GENERIC  i386
>
> and
>
> GNU Make 4.2.1
>
> This is last stable FreeBSD.

That version of GNU Make works fine for me on Fedora Linux amd64.  I'd
be surprised that i386 vs amd64 makes a difference, but perhaps?

>>> 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
>>
>> Sure, the link option isn't needed for the compile; would be easy to
>> eliminate from the `./runtime/Makefile`.  But, I would be surprised
>> that there only one warning (for `gc.c`), and not warnings for all of
>> the many runtime files.
>
> It's for all, boy only for gc.c.

"not only for gc.c" -- that makes sense.

------------------------------------------------------------------------------
Check out the vibrant tech community on one of the world's most
engaging tech sites, Slashdot.org! http://sdm.link/slashdot