blob: 3ce0f8bdfac38a6604014a71f7b16f82832a935e (
plain) (
blame)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
|
{ stdenv, ocaml, findlib, zarith, menhir, why3 }:
let ocaml-version = stdenv.lib.getVersion ocaml; in
assert stdenv.lib.versionAtLeast ocaml-version "4.01";
stdenv.mkDerivation {
name = "ocaml-${why3.name}";
inherit (why3) src;
buildInputs = [ ocaml findlib zarith menhir ];
installTargets = "install-lib";
meta = {
inherit (why3.meta) license homepage;
platforms = ocaml.meta.platforms;
maintainers = with stdenv.lib.maintainers; [ vbgl ];
};
}
|