coqPackages.VST: fix build with Coq 8.15.1

2 years ago · ff83e827b5
parent 9e4d58db80
commit ff83e827b5
1 changed files with 1 additions and 0 deletions
--- a/pkgs/development/coq-modules/VST/default.nix
+++ b/pkgs/development/coq-modules/VST/default.nix
@ -37,6 +37,7 @@ mkCoqDerivation {
  preConfigure = ''
    patchShebangs util
    substituteInPlace Makefile \
+      --replace 'COQVERSION= ' 'COQVERSION= 8.15.1 or-else '\
      --replace 'FLOYD_FILES=' 'FLOYD_FILES= ${toString extra_floyd_files}'
  '';