Don't install z3 in cygwin

coq-tactician · Apr 11, 2024 · 250ac40 · 250ac40
1 parent ee3291b
commit 250ac40
Showing 1 changed file with 7 additions and 2 deletions.
diff --git a/shell_scripts/build.sh b/shell_scripts/build.sh
@@ -39,8 +39,13 @@ if ! $COQ_PLATFORM_TIME opam pin -n coq-tactician-dummy 1.0~beta2+8.17; then dum
 if ! $COQ_PLATFORM_TIME opam pin -n coq-tactician 1.0~beta2.1+8.18; then dump_opam_logs; fi
 if ! $COQ_PLATFORM_TIME opam pin -n coq-core 8.18.0; then dump_opam_logs; fi
 if ! $COQ_PLATFORM_TIME opam pin -n ocamlfind 1.9.5~relocatable; then dump_opam_logs; fi
-if ! $COQ_PLATFORM_TIME opam pin -n z3 4.11.2; then dump_opam_logs; fi # Installing z3 later will cause Tactician to be recompiled
-if ! $COQ_PLATFORM_TIME opam install dune coq-core coq-tactician-dummy coq-tactician ocamlfind z3; then dump_opam_logs; fi
+if ! $COQ_PLATFORM_TIME opam install dune coq-core coq-tactician-dummy coq-tactician ocamlfind; then dump_opam_logs; fi
+
+if [[ "$OSTYPE" != cygwin ]]
+then
+    if ! $COQ_PLATFORM_TIME opam pin -n z3 4.11.2; then dump_opam_logs; fi # Installing z3 later will cause Tactician to be recompiled
+    if ! $COQ_PLATFORM_TIME opam install z3; then dump_opam_logs; fi
+  fi
 
 opam switch
 opam switch set ${COQ_PLATFORM_SWITCH_NAME}