public/nixpkgs
1
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity

metamath: 0.172 -> 0.178

Browse Source 
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.
This commit is contained in:
Nathan van Doorn 2019-10-15 12:22:35 +01:00
parent 81d15948cc
commit fc0be2a54e
1 changed files with 11 additions and 9 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

20
pkgs/development/interpreters/metamath/default.nix
View File

@ -2,21 +2,23 @@
stdenv.mkDerivation { stdenv.mkDerivation {
pname = "metamath"; pname = "metamath";
version = "0.172"; version = "0.178";
buildInputs = [ autoreconfHook ]; 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 { src = fetchFromGitHub {
owner = "Taneb"; owner = "metamath";
repo = "metamath"; repo = "metamath-exe";
rev = "43141cd17638f8efb409dc5d46e7de6a6c39ec42"; rev = "4f59d60aeb03f92aea3cc7ecf5a2c0fcf08900a5";
sha256 = "07c7df0zl0wsb0pvdgkwikpr8kz7fi3mshxzk61vkamyp68djjb5"; 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; { meta = with stdenv.lib; {
description = "Interpreter for the metamath proof language"; description = "Interpreter for the metamath proof language";
longDescription = '' longDescription = ''