add tar.gz

lean-dojo · Feb 2, 2024 · 4bc4e6c · 4bc4e6c
1 parent 965d4ba
commit 4bc4e6c
Showing 1 changed file with 2 additions and 2 deletions.
diff --git a/lakefile.lean b/lakefile.lean
@@ -66,9 +66,9 @@ def buildArchiveName : String :=
   let arch := if run_io isArm! then "arm64" else "x86_64"
   let os := if getOS! == .macos then "macOS" else "linux"
   if run_io useCUDA then
-    s!"{arch}-cuda-{os}"
+    s!"{arch}-cuda-{os}.tar.gz"
   else
-    s!"{arch}-{os}"
+    s!"{arch}-{os}.tar.gz"
 
 
 structure SupportedPlatform where