From 75c67a42acd535a6a1d3b205717092e9013cc26e Mon Sep 17 00:00:00 2001
From: Igor Konnov <konnov@forsyte.at>
Date: Thu, 19 Jul 2018 22:01:24 +0100
Subject: [PATCH] using a release jar

---
 bin/apalache-mc | 11 ++++++++---
 1 file changed, 8 insertions(+), 3 deletions(-)

diff --git a/bin/apalache-mc b/bin/apalache-mc
index 9563cba6d2..3f866d9b4b 100755
--- a/bin/apalache-mc
+++ b/bin/apalache-mc
@@ -7,11 +7,16 @@
 DIR=`dirname $0`
 DIR=`cd "$DIR/.."; pwd`
 echo "# Tool home: $DIR"
-JAR=`find "$DIR/mod-distribution/target/" -name "distribution-*-jar-with-dependencies.jar" | head -n 1`
+# try to find a release file first
+JAR=`find "$DIR" -depth 1 -name "apalache-bmcmt-*-with-dependencies.jar" | head -n 1`
 
 if [ ! -f "$JAR" ]; then
-    echo "ERROR: Distribution jar not found. Did you run mvn package?"
-    exit 1
+    # try to find a package file
+    JAR=`find "$DIR/mod-distribution/target/" -depth 1 -name "distribution-*-jar-with-dependencies.jar" | head -n 1`
+    if [ ! -f "$JAR" ]; then
+        echo "ERROR: Distribution jar not found. Did you run mvn package?"
+        exit 1
+    fi
 fi
 
 echo "# Package: $JAR"