From e652044138d347650d349a79beea88b31b158b00 Mon Sep 17 00:00:00 2001 From: Gabriela Moreira Date: Tue, 3 Sep 2024 18:55:36 -0300 Subject: [PATCH 1/2] Start a bat for Apalache when in Windows --- quint/src/apalache.ts | 3 ++- 1 file changed, 2 insertions(+), 1 deletion(-) diff --git a/quint/src/apalache.ts b/quint/src/apalache.ts index d0589330c..6626dd2bd 100644 --- a/quint/src/apalache.ts +++ b/quint/src/apalache.ts @@ -357,7 +357,8 @@ function downloadAndUnpackApalache(): Promise> { * - a `left` indicating an error. */ async function fetchApalache(verbosityLevel: number): Promise> { - 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}`) From 0e2e13cfb33b66e9306351a39905441940573656 Mon Sep 17 00:00:00 2001 From: bugarela Date: Thu, 5 Sep 2024 17:20:03 -0300 Subject: [PATCH 2/2] Fix formatting --- quint/src/apalache.ts | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/quint/src/apalache.ts b/quint/src/apalache.ts index 6626dd2bd..dfd930eba 100644 --- a/quint/src/apalache.ts +++ b/quint/src/apalache.ts @@ -357,7 +357,7 @@ function downloadAndUnpackApalache(): Promise> { * - a `left` indicating an error. */ async function fetchApalache(verbosityLevel: number): Promise> { - const filename = process.platform === "win32" ? 'apalache-mc.bat' : '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