diff options
Diffstat (limited to 'pkgs/development/ocaml-modules/why3/default.nix')
-rw-r--r-- | pkgs/development/ocaml-modules/why3/default.nix | 21 |
1 files changed, 0 insertions, 21 deletions
diff --git a/pkgs/development/ocaml-modules/why3/default.nix b/pkgs/development/ocaml-modules/why3/default.nix deleted file mode 100644 index 3ce0f8bdfac3..000000000000 --- a/pkgs/development/ocaml-modules/why3/default.nix +++ /dev/null @@ -1,21 +0,0 @@ -{ 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 ]; - }; -} |