Update build.sh

viperproject · Dec 26, 2024 · 8d1ebad · 8d1ebad
1 parent 0831143
commit 8d1ebad
Showing 1 changed file with 5 additions and 2 deletions.
diff --git a/viper/build.sh b/viper/build.sh
@@ -1,7 +1,10 @@
 # Must be launched from the viper directory
+
+echo "Building VIPER $(pwd)"
+pip install -r viper_client/requirements.txt
+
 if [ ! -f viperserver/target/scala-*/viperserver.jar ]; then
   cd viperserver && sbt assembly
 fi
 
-pip install -r viper_client/requirements.txt
-python viper_client/client.py -p 50424 -f $0 &> /dev/null || (Z3_EXE=$(which z3) java -Xss1024m -Xmx4024m -jar viperserver/target/scala-*/viperserver.jar -p 50424 > /dev/null &)
+python viper_client/client.py -p 50424 -f viper_client/__empty_viper_file__.vpr &> /dev/null || (Z3_EXE=$(which z3) java -Xss1024m -Xmx4024m -jar viperserver/target/scala-*/viperserver.jar -p 50424 > /dev/null &)