Update HoTT and drop archaic 8.6 specific install
This commit is contained in:
parent
46eabb1198
commit
7e5e6625e2
|
@ -2,42 +2,19 @@
|
||||||
|
|
||||||
with lib; mkCoqDerivation {
|
with lib; mkCoqDerivation {
|
||||||
pname = "HoTT";
|
pname = "HoTT";
|
||||||
|
repo = "Coq-HoTT";
|
||||||
owner = "HoTT";
|
owner = "HoTT";
|
||||||
inherit version;
|
inherit version;
|
||||||
defaultVersion = if coq.coq-version == "8.6" then "20170921" else null;
|
defaultVersion = with versions; switch coq.coq-version [
|
||||||
release."20170921".rev = "e3557740a699167e6adb1a65855509d55a392fa1";
|
{ case = range "8.14" "8.16"; out = coq.coq-version; }
|
||||||
release."20170921".sha256 = "0zwfp8g62b50vmmbb2kmskj3v6w7qx1pbf43yw0hr7asdz2zbx5v";
|
] null;
|
||||||
|
releaseRev = v: "V${v}";
|
||||||
nativeBuildInputs = [ autoconf automake ];
|
release."8.16".sha256 = "sha256-xcEbz4ZQ+U7mb0SEJopaczfoRc2GSgF2BGzUSWI0/HY=";
|
||||||
|
release."8.15".sha256 = "sha256-JfeiRZVnrjn3SQ87y6dj9DWNwCzrkK3HBogeZARUn9g=";
|
||||||
preConfigure = ''
|
release."8.14".sha256 = "sha256-7kXk2pmYsTNodHA+Qts3BoMsewvzmCbYvxw9Sgwyvq0=";
|
||||||
patchShebangs ./autogen.sh
|
|
||||||
./autogen.sh
|
|
||||||
|
|
||||||
mkdir -p "$out/bin"
|
|
||||||
'';
|
|
||||||
|
|
||||||
configureFlags = [
|
|
||||||
"--bindir=$(out)/bin"
|
|
||||||
];
|
|
||||||
|
|
||||||
patchPhase = ''
|
patchPhase = ''
|
||||||
patchShebangs etc
|
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 = {
|
meta = {
|
||||||
|
|
Loading…
Reference in a new issue