diff options
| author | Vincent Laporte <Vincent.Laporte@gmail.com> | 2015-06-25 23:21:25 +0200 |
|---|---|---|
| committer | Vincent Laporte <Vincent.Laporte@gmail.com> | 2015-06-25 23:21:25 +0200 |
| commit | 715f78be7e5f4b6e14a4e7e26b74233684566303 (patch) | |
| tree | b253be9d46e0a65a51bf7333f1816ccd00cd5993 | |
| parent | f5f24dd95afd5603f495a3c64c5be42cad49c063 (diff) | |
| download | nixlib-715f78be7e5f4b6e14a4e7e26b74233684566303.tar nixlib-715f78be7e5f4b6e14a4e7e26b74233684566303.tar.gz nixlib-715f78be7e5f4b6e14a4e7e26b74233684566303.tar.bz2 nixlib-715f78be7e5f4b6e14a4e7e26b74233684566303.tar.lz nixlib-715f78be7e5f4b6e14a4e7e26b74233684566303.tar.xz nixlib-715f78be7e5f4b6e14a4e7e26b74233684566303.tar.zst nixlib-715f78be7e5f4b6e14a4e7e26b74233684566303.zip | |
E prover: do not build the manual
| -rw-r--r-- | pkgs/applications/science/logic/eprover/default.nix | 10 | ||||
| -rw-r--r-- | pkgs/top-level/all-packages.nix | 8 |
2 files changed, 4 insertions, 14 deletions
diff --git a/pkgs/applications/science/logic/eprover/default.nix b/pkgs/applications/science/logic/eprover/default.nix index 35e70a4b0d73..bb0e34d45bc9 100644 --- a/pkgs/applications/science/logic/eprover/default.nix +++ b/pkgs/applications/science/logic/eprover/default.nix @@ -1,4 +1,4 @@ -{ stdenv, fetchurl, which, texLive }: +{ stdenv, fetchurl, which }: let s = # Generated upstream information rec { @@ -18,26 +18,22 @@ stdenv.mkDerivation { inherit (s) url sha256; }; - buildInputs = [which texLive]; + buildInputs = [ which ]; preConfigure = "sed -e 's@^EXECPATH\\s.*@EXECPATH = '\$out'/bin@' -i Makefile.vars"; buildPhase = "make install"; - # HOME=. allows to build missing TeX formats installPhase = '' mkdir -p $out/bin make install - HOME=. make documentation - mkdir -p $out/share/doc - cp -r DOC $out/share/doc/EProver echo eproof -xAuto --tstp-in --tstp-out '"$@"' > $out/bin/eproof-tptp chmod a+x $out/bin/eproof-tptp ''; meta = { inherit (s) version; - description = "E automated theorem prover"; + description = "Automated theorem prover for full first-order logic with equality"; maintainers = [stdenv.lib.maintainers.raskin]; platforms = stdenv.lib.platforms.all; }; diff --git a/pkgs/top-level/all-packages.nix b/pkgs/top-level/all-packages.nix index 3fe7ae37b21e..e5f03b68bb9f 100644 --- a/pkgs/top-level/all-packages.nix +++ b/pkgs/top-level/all-packages.nix @@ -14159,13 +14159,7 @@ let ekrhyper = callPackage ../applications/science/logic/ekrhyper {}; - eprover = callPackage ../applications/science/logic/eprover { - texLive = texLiveAggregationFun { - paths = [ - texLive texLiveExtra - ]; - }; - }; + eprover = callPackage ../applications/science/logic/eprover { }; gappa = callPackage ../applications/science/logic/gappa { }; |