pyrox.dev
lol
1{
2 lib,
3 mkCoqDerivation,
4 which,
5 coq,
6 metacoq,
7 version ? null,
8}:
9
10with lib;
11mkCoqDerivation {
12 pname = "ElmExtraction";
13 repo = "coq-elm-extraction";
14 owner = "AU-COBRA";
15 domain = "github.com";
16
17 inherit version;
18 defaultVersion =
19 with versions;
20 switch
21 [
22 coq.coq-version
23 metacoq.version
24 ]
25 [
26 {
27 cases = [
28 (range "8.17" "8.20")
29 (range "1.3.1" "1.3.4")
30 ];
31 out = "0.1.0";
32 }
33 ]
34 null;
35
36 release."0.1.0".sha256 = "EWjubBHsxAl2HuRAfJI3B9qzP2mj89eh0CUc8y7/7Ds=";
37
38 releaseRev = v: "v${v}";
39
40 propagatedBuildInputs = [
41 coq.ocamlPackages.findlib
42 metacoq
43 ];
44
45 postPatch = ''patchShebangs ./tests/process-extraction-examples.sh'';
46
47 meta = {
48 description = "A framework for extracting Coq programs to Elm";
49 maintainers = with maintainers; [ _4ever2 ];
50 license = licenses.mit;
51 };
52}