Merge pull request #1499 from informalsystems/gabriela/fix-windows-ap…

…alache Start a bat for Apalache when in Windows
informalsystems · Sep 17, 2024 · 66a07f0 · 66a07f0
2 parents 2fbfb6f + 9dc8428
commit 66a07f0
Showing 1 changed file with 2 additions and 1 deletion.
diff --git a/quint/src/apalache.ts b/quint/src/apalache.ts
@@ -357,7 +357,8 @@ function downloadAndUnpackApalache(): Promise<ApalacheResult<null>> {
  *    - a `left<ApalacheError>` indicating an error.
  */
 async function fetchApalache(verbosityLevel: number): Promise<ApalacheResult<string>> {
-  const apalacheBinary = path.join(apalacheDistDir(), 'apalache', 'bin', 'apalache-mc')
+  const filename = process.platform === 'win32' ? 'apalache-mc.bat' : 'apalache-mc'
+  const apalacheBinary = path.join(apalacheDistDir(), 'apalache', 'bin', filename)
   if (fs.existsSync(apalacheBinary)) {
     // Use existing download
     debugLog(verbosityLevel, `Using existing Apalache distribution in ${apalacheBinary}`)