hol_light: fix build with Camlp5-6.17

2016-11-29 18:34:21 +00:00
parent f0d7e808b2
commit 431c564993
2 changed files with 4 additions and 2 deletions
@@ -20,6 +20,8 @@ stdenv.mkDerivation {

  buildInputs = [ ocaml camlp5 ];

+  patches = [ ./Makefile.patch ];
+
  installPhase = ''
    mkdir -p "$out/lib/hol_light" "$out/bin"
    cp -a  . $out/lib/hol_light