Library install: don't preserve symlinks on Windows (breaks release b…

…uild).
prismmodelchecker · Jan 11, 2024 · 630ec6f · 630ec6f
1 parent d7c7a53
commit 630ec6f
Show file tree

Hide file tree

Showing 3 changed files with 36 additions and 12 deletions.
diff --git a/prism/ext/ppl/Makefile b/prism/ext/ppl/Makefile
@@ -34,14 +34,22 @@ libfiles: $(NATIVE_LIBS_COPY) $(COMMON_LIBS_COPY)
 
 ../../$(PRISM_LIB_DIR)/%: $(OSTYPE)/$(ARCH)/%
 	@if [ -f "$<" ]; then \
-	  echo cp -R $< $@; \
-	  cp -R $< $@; \
+	  echo Copying $< $@; \
+	  if [ $(OSTYPE) = "cywgin" ]; then \
+	    cp $< $@; \
+	  else \
+	    cp -R $< $@; \
+	  fi \
 	fi
 
 ../../$(PRISM_LIB_DIR)/%: common/%
 	@if [ -f "$<" ]; then \
-	  echo cp -R $< $@; \
-	  cp -R $< $@; \
+	  echo Copying $< $@; \
+	  if [ $(OSTYPE) = "cygwin" ]; then \
+	    cp $< $@; \
+	  else \
+	    cp -R $< $@; \
+	  fi \
 	fi
 
 clean: checks

diff --git a/prism/ext/yices/Makefile b/prism/ext/yices/Makefile
@@ -34,14 +34,22 @@ libfiles: $(NATIVE_LIBS_COPY) $(COMMON_LIBS_COPY)
 
 ../../$(PRISM_LIB_DIR)/%: $(OSTYPE)/$(ARCH)/%
 	@if [ -f "$<" ]; then \
-	  echo cp -R $< $@; \
-	  cp -R $< $@; \
+	  echo Copying $< $@; \
+	  if [ $(OSTYPE) = "cywgin" ]; then \
+	    cp $< $@; \
+	  else \
+	    cp -R $< $@; \
+	  fi \
 	fi
 
 ../../$(PRISM_LIB_DIR)/%: common/%
 	@if [ -f "$<" ]; then \
-	  echo cp -R $< $@; \
-	  cp -R $< $@; \
+	  echo Copying $< $@; \
+	  if [ $(OSTYPE) = "cygwin" ]; then \
+	    cp $< $@; \
+	  else \
+	    cp -R $< $@; \
+	  fi \
 	fi
 
 clean: checks

diff --git a/prism/ext/z3/Makefile b/prism/ext/z3/Makefile
@@ -34,14 +34,22 @@ libfiles: $(NATIVE_LIBS_COPY) $(COMMON_LIBS_COPY)
 
 ../../$(PRISM_LIB_DIR)/%: $(OSTYPE)/$(ARCH)/%
 	@if [ -f "$<" ]; then \
-	  echo cp -R $< $@; \
-	  cp -R $< $@; \
+	  echo Copying $< $@; \
+	  if [ $(OSTYPE) = "cywgin" ]; then \
+	    cp $< $@; \
+	  else \
+	    cp -R $< $@; \
+	  fi \
 	fi
 
 ../../$(PRISM_LIB_DIR)/%: common/%
 	@if [ -f "$<" ]; then \
-	  echo cp -R $< $@; \
-	  cp -R $< $@; \
+	  echo Copying $< $@; \
+	  if [ $(OSTYPE) = "cygwin" ]; then \
+	    cp $< $@; \
+	  else \
+	    cp -R $< $@; \
+	  fi \
 	fi
 
 clean: checks