Merge pull request #20 from josecorella/main

Siva Somayyajula · web-flow · commit 367c70fa31be · 2024-07-14T20:10:53.000-04:00
fix: add support for downloading arm64 macos image
diff --git a/index.js b/index.js
@@ -62,9 +62,10 @@ async function dafnyURLAndFullVersion(version, distribution) {
     fullVersion = version;
   }
   const root = "https://github.com/dafny-lang/dafny/releases/download";
+  // using the same approach as the dafny-lang/ide-vscode
   const url = `${root}/${versionPath}/dafny-${
     version == "2.3.0" ? "2.3.0.10506" : version
-  }-x64-${distribution}.zip`;
+  }-${os.arch()}-${distribution}.zip`;
   return { url, fullVersion };
 }
 

Original file line number	Diff line number	Diff line change
`@@ -62,9 +62,10 @@ async function dafnyURLAndFullVersion(version, distribution) {`
`62`	`62`	`fullVersion = version;`
`63`	`63`	`}`
`64`	`64`	`const root = "https://github.com/dafny-lang/dafny/releases/download";`
	`65`	`+ // using the same approach as the dafny-lang/ide-vscode`
`65`	`66`	const url = `${root}/${versionPath}/dafny-${
`66`	`67`	`version == "2.3.0" ? "2.3.0.10506" : version`
`67`		- }-x64-${distribution}.zip`;
	`68`	+ }-${os.arch()}-${distribution}.zip`;
`68`	`69`	`return { url, fullVersion };`
`69`	`70`	`}`
`70`	`71`