From 3b7c68615e4d537dc7fc640224ab2a7d4fc4661f Mon Sep 17 00:00:00 2001
From: Vincent Laporte <Vincent.Laporte@gmail.com>
Date: Fri, 22 Sep 2017 03:30:52 +0000
Subject: [PATCH] =?UTF-8?q?abella:=20fix=20build=20with=20OCaml=20?=
 =?UTF-8?q?=E2=89=A5=204.03?=
MIME-Version: 1.0
Content-Type: text/plain; charset=UTF-8
Content-Transfer-Encoding: 8bit

---
 pkgs/applications/science/logic/abella/default.nix | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/pkgs/applications/science/logic/abella/default.nix b/pkgs/applications/science/logic/abella/default.nix
index 1c3e8e412f8..d9afc897cff 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