Use pre-built lpsolve libraries on Win.

git-svn-id: https://www.prismmodelchecker.org/svn/prism/prism/trunk@6243 bbc10eb1-c90d-0410-af57-cb519fbb1720

prism/ext/lpsolve55/Makefile

@@ -33,13 +33,13 @@ checks:
 	fi; 
 
 ../../lib/$(LIBPREFIX)lpsolve55$(LIBSUFFIX):
-	@if [ "$(OSTYPE)" = "cygwin" ]; then \
-	(cp bin/win32/*dll ../../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;
+	  (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)