Manticore Nix package incompatible with SML/NJ >= 110.81 about manticore HOT 3 CLOSED

@nalbyuites Yes, revision 47273c463 is the best version to update the package to. Thank you! :)

from manticore.

It seems the version of Manticore in the Nix repository is incompatible with newer versions of SML/NJ, since Manticore is dated as a snapshot from 8/22/2017 in the logs.

Newer SML/NJ does not work is because of a change in MLRISC, which is part of SML/NJ, that was made in SML/NJ 110.81.

I'm not familiar with the process for updating a Nix package and changing its dependencies. Any pointers here would be greatly appreciated.

from manticore.

@kavon Thanks a lot for replying. Indeed, this turned out to be so. I was able to build manticore from the latest snapshot 9/28/2018 locally against SML/NJ v110.84 .

$ /nix/store/00dapb3xdph68cs40gyxlmkfqrr8d595-manticore-2018.09.29/bin/pmlc -version
pmlc [x86_64-linux; 0.0.0 (); built 2018-12-01]

If you are okay with that revision, 47273c463fc3c5d0a0ae655cf75a4700bdb020b4 being used (stability-wise), and give the go-ahead, I will be happy to update the manticore Nix package as well as part of my current PR.

The Nix derivation for manticore is present here and the dependencies are listed at the top of that file. I just changed the rev, version and sha256 (sha256sum obtained from nix-prefetch-url --unpack https://github.com/ManticoreProject/manticore/archive/47273c463fc3c5d0a0ae655cf75a4700bdb020b4.zip) fields.

Here is a complete tutorial on updating a Nix package. If you would like to check my changes locally, you can clone this branch of my fork of nixpkgs repo and run -

• nix-build -A smlnj
• nix-build -A manticore

from manticore.