coqPackages.compcert: fix compilation on Rocq master (#515500)

2026-05-04 07:21:17 +00:00
parent a7034dc667 f705b6a9e8
commit 8dac43cd3e
1 changed files with 2 additions and 2 deletions
@@ -98,8 +98,8 @@ let
      -toolprefix ${tools}/bin/ \
      -use-external-Flocq \
      -use-external-MenhirLib \
-      ${target}
-    '';
+      ${target} \
+    ''; # do NOT remove the above "\", this must NOT end with a newline (c.f. below)

    installTargets = "documentation install";
    installFlags = [ ]; # trust ./configure