Use pre-built lpsolve libraries on Win.

git-svn-id: https://www.prismmodelchecker.org/svn/prism/prism/trunk@6242 bbc10eb1-c90d-0410-af57-cb519fbb1720
13 years ago · 6e80fbfe8e
2 changed files with 7 additions and 3 deletions
--- a/prism/ext/lp_solve_5.5_java/lib/mac/liblpsolve55j.jnilib
+++ b/prism/ext/lp_solve_5.5_java/lib/mac/liblpsolve55j.jnilib
--- a/prism/ext/lpsolve55/Makefile
+++ b/prism/ext/lpsolve55/Makefile
@ -33,9 +33,13 @@ checks:
 	fi; 

 ../../lib/$(LIBPREFIX)lpsolve55$(LIBSUFFIX):
-	@(cd src/lp_solve_5.5/lpsolve55 && \
-	c=$(C) sh $(LPSOLVE55_BUILD) \
-	) && mv lib/$(LIBPREFIX)lpsolve55$(LIBSUFFIX) ../../lib
+	@if [ "$(OSTYPE)" = "cygwin" ]; then \
+	(cp bin/win32/*dll ../../lib) \
+	else \
+	(cd src/lp_solve_5.5/lpsolve55 && \
+	c=$(C) sh -x $(LPSOLVE55_BUILD) \
+	) && mv lib/$(LIBPREFIX)lpsolve55$(LIBSUFFIX) ../../lib \
+	fi;

 clean: checks
 	rm -f lib/$(LIBPREFIX)lpsolve55$(LIBSUFFIX) ../../lib/$(LIBPREFIX)lpsolve55$(LIBSUFFIX)