Re: [MLton] configure and gmp

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?

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

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