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