colin/nixpkgs
1
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity

ocaml-why3: init at 0.86.2

Browse Source
This commit is contained in:
Vincent Laporte 2015-12-05 10:37:44 +01:00
parent 408001d33b
commit 76940c5e4c
2 changed files with 25 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

21
pkgs/development/ocaml-modules/why3/default.nix Normal file
View File

@ -0,0 +1,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 ];
};
}

4
pkgs/top-level/all-packages.nix
View File

@ -4740,6 +4740,10 @@ let
vg = callPackage ../development/ocaml-modules/vg { };
why3 = callPackage ../development/ocaml-modules/why3 {
why3 = pkgs.why3;
};
x509 = callPackage ../development/ocaml-modules/x509 { };
xmlm = callPackage ../development/ocaml-modules/xmlm { };