Help getting a Dockerfile or nix expression for reproducible multimlton build

[rrnewton]

Hi there,

I started trying to put together a Dockerfile here and a Nix expression here.

I was running into some trouble with gmp, which I believe has deprecated these:

gc/int-inf.c: At top level:
gc/int-inf.c:180:43: error: unknown type name '__gmp_const'
                                           __gmp_const __mpz_struct *lhsspace,
                                           ^
gc/int-inf.c:181:43: error: unknown type name '__gmp_const'
                                           __gmp_const __mpz_struct *rhsspace)) {
                                           ^

I haven't found a good work-around for that on an Ubuntu 14.04 docker image.

Nix at least makes it easy to reach back to gmp-4.3.2. That build gets much further, but then it errors like so:

Compiling mlton (takes a while)
mlton @MLton ram-slop 0.7 gc-summary  -- -target self -verbose 3 -output "mlton-compile"  mlton-stubs.cm
invalid file suffix on mlton-stubs.cm

And that's one I'm not sure how to fix.

CC @sureshjagannathan

[hai-nguyen-van]

To make it work, you need ubuntu:precise-20150320 image and the following packages to be installed inside the Docker image libgmp10, libgmp-dev, gcc, make, texlive-base, mlton.