pyrox.dev
lol
1{stdenv, fetchurl, coq, unzip}:
2
3stdenv.mkDerivation rec {
4
5 name = "coq-paco-${coq.coq-version}-${version}";
6 version = "1.2.8";
7
8 src = fetchurl {
9 url = "http://plv.mpi-sws.org/paco/paco-${version}.zip";
10 sha256 = "1lcmdr0y2d7gzyvr8dal3pi7fibbd60bpi1l32fw89xiyrgqhsqy";
11 };
12
13 buildInputs = [ coq.ocaml coq.camlp5 unzip ];
14 propagatedBuildInputs = [ coq ];
15
16 preBuild = "cd src";
17
18 installPhase = ''
19 COQLIB=$out/lib/coq/${coq.coq-version}/
20 mkdir -p $COQLIB/user-contrib/Paco
21 cp -pR *.vo $COQLIB/user-contrib/Paco
22 '';
23
24 meta = with stdenv.lib; {
25 homepage = http://plv.mpi-sws.org/paco/;
26 description = "A Coq library implementing parameterized coinduction";
27 maintainers = with maintainers; [ jwiegley ];
28 platforms = coq.meta.platforms;
29 };
30
31 passthru = {
32 compatibleCoqVersions = v: builtins.elem v [ "8.5" "8.6" "8.7" ];
33 };
34
35}