Small fixes in z3 install Makefile.

prismmodelchecker · Jul 21, 2021 · 92245ab · 92245ab
1 parent b4e26c7
commit 92245ab
Showing 1 changed file with 2 additions and 1 deletion.
diff --git a/prism/ext/z3/Makefile b/prism/ext/z3/Makefile
@@ -9,9 +9,11 @@ default: all
 
 all: checks z3
 
+# Cygwin libs
 ifeq ($(OSTYPE),cygwin)
     Z3_LIB = $(LIBPREFIX)libz3$(LIBSUFFIX)
     Z3_JAVA_LIB = $(LIBPREFIX)libz3java$(LIBSUFFIX)
+# Anything else (including unsupported OSs) - Mac/Linux libs
 else
     Z3_LIB = $(LIBPREFIX)z3$(LIBSUFFIX)
     Z3_JAVA_LIB = $(LIBPREFIX)z3java$(LIBSUFFIX)
@@ -25,7 +27,6 @@ checks:
 	fi; 
 
 z3:
-	@echo Making sure lpsolve55 Java wrapper is compatible with $(OSTYPE) $(ARCH)
 	@(if [ "$(OSTYPE)" = "linux" ]; then \
 	  echo "Copying Z3 libraries for Linux"; \
 	  cp "$(Z3_LIB)" "$(Z3_JAVA_LIB)" "$(Z3_JAVA_JAR)" ../../$(PRISM_LIB_DIR)/ ; \