blob: 383151a1cb5e707edbf0b99b7be01e11c5b3c92e (
plain) (
blame)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
|
{ lib, fetchzip, mkCoqDerivation, coq, version ? null }:
let
ocamlPackages =
coq.ocamlPackages.overrideScope'
(self: super: {
ppxlib = super.ppxlib.override { version = "0.15.0"; };
# the following does not work
ppx_sexp_conv = super.ppx_sexp_conv.overrideAttrs (_: {
src = fetchzip {
url = "https://github.com/janestreet/ppx_sexp_conv/archive/v0.14.1.tar.gz";
sha256 = "04bx5id99clrgvkg122nx03zig1m7igg75piphhyx04w33shgkz2";
};
});
});
release = {
"8.14.0+0.14.0".sha256 = "sha256:1kh80yb791yl771qbqkvwhbhydfii23a7lql0jgifvllm2k8hd8d";
"8.14+rc1+0.14.0".sha256 = "1w7d7anvcfx8vz51mnrf1jkw6rlpzjkjlr06avf58wlhymww7pja";
"8.13.0+0.13.0".sha256 = "0k69907xn4k61w4mkhwf8kh8drw9pijk9ynijsppihw98j8w38fy";
"8.12.0+0.12.1".sha256 = "048x3sgcq4h845hi6hm4j4dsfca8zfj70dm42w68n63qcm6xf9hn";
"8.11.0+0.11.1".sha256 = "1phmh99yqv71vlwklqgfxiq2vj99zrzxmryj2j4qvg5vav3y3y6c";
"8.10.0+0.7.2".sha256 = "1ljzm63hpd0ksvkyxcbh8rdf7p90vg91gb4h0zz0941v1zh40k8c";
};
in
(with lib; mkCoqDerivation rec {
pname = "serapi";
inherit version release;
defaultVersion = with versions;
if isGe "4.12" coq.ocamlPackages.ocaml.version then null
else
switch coq.version [
{ case = isEq "8.14"; out = "8.14.0+0.14.0"; }
{ case = isEq "8.13"; out = "8.13.0+0.13.0"; }
{ case = isEq "8.12"; out = "8.12.0+0.12.1"; }
{ case = isEq "8.11"; out = "8.11.0+0.11.1"; }
{ case = isEq "8.10"; out = "8.10.0+0.7.2"; }
] null;
useDune2 = true;
propagatedBuildInputs =
with ocamlPackages; [
cmdliner
findlib # run time dependency of SerAPI
ppx_deriving
ppx_deriving_yojson
ppx_import
ppx_sexp_conv
sexplib
yojson
zarith # needed because of Coq
];
installPhase = ''
runHook preInstall
dune install --prefix $out --libdir $OCAMLFIND_DESTDIR coq-serapi
runHook postInstall
'';
meta = with lib; {
homepage = "https://github.com/ejgallego/coq-serapi";
description = "SerAPI is a library for machine-to-machine interaction with the Coq proof assistant";
license = licenses.lgpl21Plus;
maintainers = [ maintainers.Zimmi48 ];
};
}).overrideAttrs(o:
let inherit (o) version; in {
src = fetchzip {
url =
if version == "8.14+rc1+0.14.0"
then "https://github.com/ejgallego/coq-serapi/archive/refs/tags/8.14+rc1+0.14.0.tar.gz"
else
"https://github.com/ejgallego/coq-serapi/releases/download/${version}/coq-serapi-${
if version == "8.11.0+0.11.1" then version
else builtins.replaceStrings [ "+" ] [ "." ] version
}.tbz";
sha256 = release."${version}".sha256;
};
patches =
if version == "8.10.0+0.7.2"
then [
./8.10.0+0.7.2.patch
]
else if version == "8.11.0+0.11.1"
then [
./8.11.0+0.11.1.patch
]
else if version == "8.12.0+0.12.1" || version == "8.13.0+0.13.0"
then [
./8.12.0+0.12.1.patch
]
else [];
})
|