tjh.dev
1{ stdenv, fetchFromGitHub, coq, mathcomp }:
2
3let param =
4 {
5 version = "20181102";
6 rev = "82a85b7ec07e71fa6b30cfc05f6a7bfb09ef2510";
7 sha256 = "08zry20flgj7qq37xk32kzmg4fg6d4wi9m7pf9aph8fd3j2a0b5v";
8 };
9in
10
11stdenv.mkDerivation rec {
12 name = "coq${coq.coq-version}-StructTact-${param.version}";
13
14 src = fetchFromGitHub {
15 owner = "uwplse";
16 repo = "StructTact";
17 inherit (param) rev sha256;
18 };
19
20 buildInputs = [ coq ];
21
22 enableParallelBuilding = true;
23
24 preConfigure = "patchShebangs ./configure";
25
26 installFlags = "COQLIB=$(out)/lib/coq/${coq.coq-version}/";
27
28 passthru = {
29 compatibleCoqVersions = v: stdenv.lib.versionAtLeast v "8.5";
30 };
31}