Re: [MLton] configure and gmp

[Kostirya <kos...@gm...>]

2018-02-07 15:12 GMT+02:00 Matthew Fluet <mat...@gm...>:
> On Wed, Feb 7, 2018 at 7:12 AM, Kostirya <kos...@gm...> 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
ro...@am...:/usr/obj/usr/src/sys/GENERIC  i386

and

GNU Make 4.2.1

This is last stable FreeBSD.



>> 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.