From f4325dc30f94c0c62bf83a204541b484ddb58bac Mon Sep 17 00:00:00 2001
From: Robby <robby@santoslab.org>
Date: Sat, 26 Oct 2024 13:56:06 -0500
Subject: [PATCH] Include .ver files in Distro.

---
 library/jvm/src/main/scala/org/sireum/Init.scala | 12 ++++++++++++
 1 file changed, 12 insertions(+)

diff --git a/library/jvm/src/main/scala/org/sireum/Init.scala b/library/jvm/src/main/scala/org/sireum/Init.scala
index b4ec82c3..7c6928b1 100644
--- 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"),