Re: [MLton] configure and gmp

Matthew Fluet <[email protected]> Thu, 8 Feb 2018 06:20:53 -0500
Newsgroups gmane.comp.lang.ml.mlton.devel
Message-ID <CAMrhFL42igZMS3QMKoi+4O9_pEksp20pXVMky7skO4kEzjPzvg@mail.gmail.com>
On Thu, Feb 8, 2018 at 6:04 AM, Kostirya <[email protected]> wrote:
> I found the issue!
> On first PC (where the error was) MLton 20130715 installed.
> On second PC (where it is OK) MLton 2017... installed.
>
> In Makefile exist line:
>   mlton -stop f ../lib/stubs/mlton-stubs/sources.mlb
>
> MLton 2017 produces list of files.
>
> MLton 20130715 print version:
>> mlton -stop f ../lib/stubs/mlton-stubs/sources.mlb
> MLton 20130715 (built Sun May  8 19:16:42 UTC 2016 on test-bsd)

That's not the expected behavior of MLton 20130715; I've bootstrapped
from MLton 20130715 on both amd64-linux and amd64-darwin, and `mlton
-stop f ...` properly returns a list of files.

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