fix: Partially fix nightly build for 4.2 (#131)

* Remove continue-on-error: true
* Add —compile-suffix when available

.github/workflows/check-examples-in-docs.yml

@@ -11,7 +11,6 @@ concurrency:
 
 jobs:
   check-examples-in-docs:
-    continue-on-error: true
     strategy:
       fail-fast: false
       matrix:

.github/workflows/reusable-tests.yml

@@ -10,7 +10,6 @@ on:
 
 jobs:
   reusable_verification:
-    continue-on-error: true
     strategy:
       fail-fast: false
       matrix:

lit.site.cfg

@@ -7,6 +7,7 @@ import sys
 import re
 import platform
 import shutil
+import subprocess
 from os import path
 
 import lit.util
@@ -136,11 +137,18 @@ def buildCmd(args):
 
 standardArguments = addParams(' '.join([]))
 
+# Pass --compile-suffix when available (since extern implementations depend on this)
+dafnyHelpProcess = subprocess.run(['dafny', '/help'], capture_output=True)
+if dafnyHelpProcess.stdout.find(b'/compileSuffix') != -1:
+    standardTranslationArguments = ' '.join(['--compile-suffix'])
+else:
+    standardTranslationArguments = ''
+
 resolveArgs = ' resolve --use-basename-for-filename ' + standardArguments
 verifyArgs = ' verify --use-basename-for-filename --cores:2 --verification-time-limit:300 ' + standardArguments
-buildArgs = ' build --use-basename-for-filename --cores:2 --verification-time-limit:300 ' + standardArguments
-runArgs = ' run --use-basename-for-filename --cores:2 --verification-time-limit:300 ' + standardArguments
-testArgs = ' test --use-basename-for-filename --cores:2 --verification-time-limit:300 ' + standardArguments
+buildArgs = ' build --use-basename-for-filename --cores:2 --verification-time-limit:300 ' + standardArguments + ' ' + standardTranslationArguments
+runArgs = ' run --use-basename-for-filename --cores:2 --verification-time-limit:300 ' + standardArguments + ' ' + standardTranslationArguments
+testArgs = ' test --use-basename-for-filename --cores:2 --verification-time-limit:300 ' + standardArguments + ' ' + standardTranslationArguments
 
 config.substitutions.append( ('%trargs', '--use-basename-for-filename --cores:2 --verification-time-limit:300' ) )