pyrox.dev
lol
Add missing default.nix for coqPackages.equations
+45
+45
pkgs/development/coq-modules/equations/default.nix
+45
pkgs/development/coq-modules/equations/default.nix
···
1
+
{ stdenv, fetchFromGitHub, coq }:
2
+
3
+
let param =
4
+
{
5
+
"8.6" = {
6
+
version = "1.0-beta";
7
+
rev = "v1.0-beta";
8
+
sha256 = "00pzlh5ij7s2hmpvimq1hjq3fjf0nrk997l3dl51kigx5r5dnvxd";
9
+
};
10
+
11
+
"8.7" = {
12
+
version = "cdf8c53";
13
+
rev = "cdf8c53f1f2274b29506f53bff476409ce717dc5";
14
+
sha256 = "0ipjzmviwnp0ippbkn03ld4j4j0dkzmyidmj4dvpdvymrkv31ai1";
15
+
};
16
+
17
+
}."${coq.coq-version}"
18
+
; in
19
+
20
+
stdenv.mkDerivation rec {
21
+
22
+
name = "coq${coq.coq-version}-equations-${version}";
23
+
version = "${param.version}";
24
+
25
+
src = fetchFromGitHub {
26
+
owner = "mattam82";
27
+
repo = "Coq-Equations";
28
+
rev = "${param.rev}";
29
+
sha256 = "${param.sha256}";
30
+
};
31
+
32
+
buildInputs = [ coq.ocaml coq.camlp5 coq.findlib coq ];
33
+
34
+
preBuild = "coq_makefile -f _CoqProject -o Makefile";
35
+
36
+
installFlags = "COQLIB=$(out)/lib/coq/${coq.coq-version}/";
37
+
38
+
meta = with stdenv.lib; {
39
+
homepage = https://mattam82.github.io/Coq-Equations/;
40
+
description = "A plugin for Coq to add dependent pattern-matching";
41
+
maintainers = with maintainers; [ jwiegley ];
42
+
platforms = coq.meta.platforms;
43
+
};
44
+
45
+
}