Commit ec5aa0d5 authored by Nicky Mouha's avatar Nicky Mouha Committed by Nicky Mouha
Browse files

hol_light: fix broken bash interpreter 



Co-authored-by: default avatarAleksana <alexander.huang.y@gmail.com>
parent 088b069b

pkgs/applications/science/logic/hol_light/default.nix

+3 −0
Original line number Diff line number Diff line
@@ -9,6 +9,7 @@ 
  zarith,

  camlp5,

  camlp-streams,

  bash,

}:



let
@@ -52,6 +53,8 @@ stdenv.mkDerivation { 


  patches = [ ./0004-Fix-compilation-with-camlp5-7.11.patch ];



  buildInputs = [ bash ];



  strictDeps = true;



  nativeBuildInputs = [