coqPackages.compcert: fix compilation on Rocq master

2026-05-01 16:44:34 +02:00
parent 9ed693b265
commit f705b6a9e8
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