pyrox.dev
1{stdenv, fetchgit, coq}:
2
3stdenv.mkDerivation rec {
4
5 name = "coq-ynot-${coq.coq-version}-${version}";
6 version = "ce1a9806";
7
8 src = fetchgit {
9 url = git://github.com/Ptival/ynot.git;
10 rev = "ce1a9806c26ffc6e7def41da50a9aac1433cb2f8";
11 sha256 = "1pcmcl5zamiimkcg1xvynxnfbv439y02vg1mnz79hqq9mnjyfnpw";
12 };
13
14 buildInputs = [ coq.ocaml coq.camlp5 ];
15 propagatedBuildInputs = [ coq ];
16
17 preBuild = "cd src";
18
19 installPhase = ''
20 COQLIB=$out/lib/coq/${coq.coq-version}/
21 mkdir -p $COQLIB/user-contrib/Ynot
22 cp -pR coq/*.vo $COQLIB/user-contrib/Ynot
23 '';
24
25 meta = with stdenv.lib; {
26 homepage = http://ynot.cs.harvard.edu/;
27 description = "A library for writing and verifying imperative programs";
28 maintainers = with maintainers; [ jwiegley ];
29 platforms = coq.meta.platforms;
30 };
31
32}