Unverified Commit 365f7f34 authored by Théo Zimmermann's avatar Théo Zimmermann
Browse files

coqPackages.StructTact: preemptive fix for removal of configure in future versions

parent 6bd604b3

pkgs/development/coq-modules/StructTact/default.nix

+5 −1
Original line number Diff line number Diff line
@@ -12,5 +12,9 @@ with lib; mkCoqDerivation { 
  release."20210328".sha256 = "sha256:1y5r1zm3hli10ah6lnj7n8hxad6rb6rgldd0g7m2fjibzvwqzhdg";

  release."20181102".rev =    "82a85b7ec07e71fa6b30cfc05f6a7bfb09ef2510";

  release."20181102".sha256 = "08zry20flgj7qq37xk32kzmg4fg6d4wi9m7pf9aph8fd3j2a0b5v";

  preConfigure = "patchShebangs ./configure";

  preConfigure = ''

    if [ -f ./configure ]; then

      patchShebangs ./configure

    fi

  '';

}