diff options
author | Cyril Cohen <cohen@crans.org> | 2022-11-24 16:08:46 +0100 |
---|---|---|
committer | Vincent Laporte <vbgl@users.noreply.github.com> | 2022-11-29 12:57:11 +0100 |
commit | 7e5e6625e2c9c35942e0f0a97fee18cd53991187 (patch) | |
tree | fe24b2b91699e11c6aaa00e6471a3ec8e09b0b0b /pkgs/development/coq-modules | |
parent | 46eabb1198af88c73036edecdf6950c19be33308 (diff) |
Update HoTT and drop archaic 8.6 specific install
Diffstat (limited to 'pkgs/development/coq-modules')
-rw-r--r-- | pkgs/development/coq-modules/HoTT/default.nix | 39 |
1 files changed, 8 insertions, 31 deletions
diff --git a/pkgs/development/coq-modules/HoTT/default.nix b/pkgs/development/coq-modules/HoTT/default.nix index f6e9b3daca2db..ad371f1b6acbc 100644 --- a/pkgs/development/coq-modules/HoTT/default.nix +++ b/pkgs/development/coq-modules/HoTT/default.nix @@ -2,42 +2,19 @@ with lib; mkCoqDerivation { pname = "HoTT"; + repo = "Coq-HoTT"; owner = "HoTT"; inherit version; - defaultVersion = if coq.coq-version == "8.6" then "20170921" else null; - release."20170921".rev = "e3557740a699167e6adb1a65855509d55a392fa1"; - release."20170921".sha256 = "0zwfp8g62b50vmmbb2kmskj3v6w7qx1pbf43yw0hr7asdz2zbx5v"; - - nativeBuildInputs = [ autoconf automake ]; - - preConfigure = '' - patchShebangs ./autogen.sh - ./autogen.sh - - mkdir -p "$out/bin" - ''; - - configureFlags = [ - "--bindir=$(out)/bin" - ]; + defaultVersion = with versions; switch coq.coq-version [ + { case = range "8.14" "8.16"; out = coq.coq-version; } + ] null; + releaseRev = v: "V${v}"; + release."8.16".sha256 = "sha256-xcEbz4ZQ+U7mb0SEJopaczfoRc2GSgF2BGzUSWI0/HY="; + release."8.15".sha256 = "sha256-JfeiRZVnrjn3SQ87y6dj9DWNwCzrkK3HBogeZARUn9g="; + release."8.14".sha256 = "sha256-7kXk2pmYsTNodHA+Qts3BoMsewvzmCbYvxw9Sgwyvq0="; patchPhase = '' patchShebangs etc - patchShebangs hoqc hoqchk hoqdep hoqide hoqtop - ''; - - postBuild = '' - patchShebangs hoq-config - ''; - - # Currently, all the scripts like hoqc and hoqtop assume that the *.vo files are - # either (1) in the same directory as the scripts, or (2) in /usr/share/hott. - # We fulfill (1), which means that these files are only accessible via hoqtop, - # hoqc, etc and not via coqtop, coqc, etc. - postInstall = '' - mv $out/share/hott/* "$out/bin" - rmdir $out/share/hott - rmdir $out/share ''; meta = { |