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

abella: fix build with OCaml ≥ 4.03

Browse Source
This commit is contained in:
Vincent Laporte 2017-09-22 03:30:52 +00:00
parent 743848bb46
commit 3b7c68615e
1 changed files with 2 additions and 2 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

4
pkgs/applications/science/logic/abella/default.nix
View File

@ -1,4 +1,4 @@
{ stdenv, fetchurl, rsync, ocaml }: { stdenv, fetchurl, rsync, ocamlPackages }:
stdenv.mkDerivation rec { stdenv.mkDerivation rec {
name = "abella-${version}"; name = "abella-${version}";
@ -9,7 +9,7 @@ stdenv.mkDerivation rec {
sha256 = "b56d865ebdb198111f1dcd5b6fbcc0d7fc6dd1294f7601903ba4e3c3322c099c"; sha256 = "b56d865ebdb198111f1dcd5b6fbcc0d7fc6dd1294f7601903ba4e3c3322c099c";
}; };
buildInputs = [ rsync ocaml ]; buildInputs = [ rsync ] ++ (with ocamlPackages; [ ocaml ocamlbuild ]);
installPhase = '' installPhase = ''
mkdir -p $out/bin mkdir -p $out/bin