Include .ver files in Distro.

sireum · Oct 26, 2024 · f4325dc · f4325dc
1 parent b24ea62
commit f4325dc
Showing 1 changed file with 12 additions and 0 deletions.
diff --git a/library/jvm/src/main/scala/org/sireum/Init.scala b/library/jvm/src/main/scala/org/sireum/Init.scala
@@ -1284,9 +1284,12 @@ import Init._
         ISZ("bin", "7zz.ver"),
         ISZ("bin", "scala"),
         ISZ("bin", "sireum.jar"),
+        ISZ("bin", "win", ".cvc.ver"),
+        ISZ("bin", "win", ".cvc5.ver"),
         ISZ("bin", "win", "cvc.exe"),
         ISZ("bin", "win", "cvc5.exe"),
         ISZ("bin", "win", "cs.exe"),
+        ISZ("bin", "win", "cs.exe.ver"),
         ISZ("bin", "win", "java"),
         ISZ("bin", "win", "sireum.exe"),
         ISZ("bin", "win", "vcruntime140.dll"),
@@ -1305,9 +1308,12 @@ import Init._
         ISZ("bin", "7zz.ver"),
         ISZ("bin", "scala"),
         ISZ("bin", "sireum.jar"),
+        ISZ("bin", "linux", ".cvc.ver"),
+        ISZ("bin", "linux", ".cvc5.ver"),
         ISZ("bin", "linux", "cvc"),
         ISZ("bin", "linux", "cvc5"),
         ISZ("bin", "linux", "cs"),
+        ISZ("bin", "linux", "cs.ver"),
         ISZ("bin", "linux", "java"),
         ISZ("bin", "linux", "sireum"),
         ISZ("bin", "linux", "vscodium"),
@@ -1324,9 +1330,12 @@ import Init._
         ISZ("bin", "7zz.ver"),
         ISZ("bin", "scala"),
         ISZ("bin", "sireum.jar"),
+        ISZ("bin", "linux", "arm", ".cvc.ver"),
+        ISZ("bin", "linux", "arm", ".cvc5.ver"),
         ISZ("bin", "linux", "arm", "cvc"),
         ISZ("bin", "linux", "arm", "cvc5"),
         ISZ("bin", "linux", "arm", "cs"),
+        ISZ("bin", "linux", "arm", "cs.ver"),
         ISZ("bin", "linux", "arm", "java"),
         ISZ("bin", "linux", "arm", "sireum"),
         ISZ("bin", "linux", "arm", "vscodium"),
@@ -1343,9 +1352,12 @@ import Init._
         ISZ("bin", "7zz.ver"),
         ISZ("bin", "scala"),
         ISZ("bin", "sireum.jar"),
+        ISZ("bin", "mac", ".cvc.ver"),
+        ISZ("bin", "mac", ".cvc5.ver"),
         ISZ("bin", "mac", "cvc"),
         ISZ("bin", "mac", "cvc5"),
         ISZ("bin", "mac", "cs"),
+        ISZ("bin", "mac", "cs.ver"),
         ISZ("bin", "mac", "java"),
         ISZ("bin", "mac", "sireum"),
         ISZ("bin", "mac", "vscodium"),