diff options
author | Vincent Laporte <Vincent.Laporte@gmail.com> | 2017-09-22 03:30:52 +0000 |
---|---|---|
committer | Vincent Laporte <Vincent.Laporte@gmail.com> | 2017-09-22 03:32:06 +0000 |
commit | 3b7c68615e4d537dc7fc640224ab2a7d4fc4661f (patch) | |
tree | b1a0255aa99e9d86b4a9a6165c0cda05a1217d4d /pkgs/applications/science/logic | |
parent | 743848bb46f8a9ae2d6e76dd4568a57025e4a799 (diff) | |
download | nixlib-3b7c68615e4d537dc7fc640224ab2a7d4fc4661f.tar nixlib-3b7c68615e4d537dc7fc640224ab2a7d4fc4661f.tar.gz nixlib-3b7c68615e4d537dc7fc640224ab2a7d4fc4661f.tar.bz2 nixlib-3b7c68615e4d537dc7fc640224ab2a7d4fc4661f.tar.lz nixlib-3b7c68615e4d537dc7fc640224ab2a7d4fc4661f.tar.xz nixlib-3b7c68615e4d537dc7fc640224ab2a7d4fc4661f.tar.zst nixlib-3b7c68615e4d537dc7fc640224ab2a7d4fc4661f.zip |
abella: fix build with OCaml ≥ 4.03
Diffstat (limited to 'pkgs/applications/science/logic')
-rw-r--r-- | pkgs/applications/science/logic/abella/default.nix | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/pkgs/applications/science/logic/abella/default.nix b/pkgs/applications/science/logic/abella/default.nix index 1c3e8e412f80..d9afc897cff6 100644 --- a/pkgs/applications/science/logic/abella/default.nix +++ b/pkgs/applications/science/logic/abella/default.nix @@ -1,4 +1,4 @@ -{ stdenv, fetchurl, rsync, ocaml }: +{ stdenv, fetchurl, rsync, ocamlPackages }: stdenv.mkDerivation rec { name = "abella-${version}"; @@ -9,7 +9,7 @@ stdenv.mkDerivation rec { sha256 = "b56d865ebdb198111f1dcd5b6fbcc0d7fc6dd1294f7601903ba4e3c3322c099c"; }; - buildInputs = [ rsync ocaml ]; + buildInputs = [ rsync ] ++ (with ocamlPackages; [ ocaml ocamlbuild ]); installPhase = '' mkdir -p $out/bin |