diff options
author | Nathan van Doorn <nathan@myrtlesoftware.com> | 2019-10-15 12:22:35 +0100 |
---|---|---|
committer | Nathan van Doorn <nathan@myrtlesoftware.com> | 2019-10-15 13:43:26 +0100 |
commit | fc0be2a54ef63d4d7fa2dcc0ac51411b916ffafc (patch) | |
tree | 8be00b5164674582d123a549dfa7151c8b74512c /pkgs/development/interpreters/metamath | |
parent | 81d15948cc19c2584f13031518349327ce353c82 (diff) |
metamath: 0.172 -> 0.178
This also moves away from my mirror of the distributiont one hosted by
the metamath organization, which should generally be far more
up-to-date. However, that doesn't include any data files, so we need to
make sure we don't try to make those.
Diffstat (limited to 'pkgs/development/interpreters/metamath')
-rw-r--r-- | pkgs/development/interpreters/metamath/default.nix | 20 |
1 files changed, 11 insertions, 9 deletions
diff --git a/pkgs/development/interpreters/metamath/default.nix b/pkgs/development/interpreters/metamath/default.nix index 686cfee19a6d..3de211915122 100644 --- a/pkgs/development/interpreters/metamath/default.nix +++ b/pkgs/development/interpreters/metamath/default.nix @@ -2,21 +2,23 @@ stdenv.mkDerivation { pname = "metamath"; - version = "0.172"; + version = "0.178"; buildInputs = [ autoreconfHook ]; - # This points to my own repository because there is no official repository - # for metamath; there's a download location but it gets updated in place with - # no permanent link. See discussion at - # https://groups.google.com/forum/#!topic/metamath/N4WEWQQVUfY src = fetchFromGitHub { - owner = "Taneb"; - repo = "metamath"; - rev = "43141cd17638f8efb409dc5d46e7de6a6c39ec42"; - sha256 = "07c7df0zl0wsb0pvdgkwikpr8kz7fi3mshxzk61vkamyp68djjb5"; + owner = "metamath"; + repo = "metamath-exe"; + rev = "4f59d60aeb03f92aea3cc7ecf5a2c0fcf08900a5"; + sha256 = "0nrl4nzp6rm2sn365xyjf3g5l5fl58kca7rq08lqyz5gla0wgfcf"; }; + # the files necessary to build the DATA target are not in this distribution + # luckily, they're not really needed so we don't build it. + makeFlags = [ "DATA=" ]; + + installTargets = "install-exec"; + meta = with stdenv.lib; { description = "Interpreter for the metamath proof language"; longDescription = '' |