From 9d2cdd6213280852b8131ac3ae30b170bb291125 Mon Sep 17 00:00:00 2001 From: Dave Parker Date: Thu, 20 Dec 2012 12:15:27 +0000 Subject: [PATCH] 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 | 12 ++++++------ 1 file changed, 6 insertions(+), 6 deletions(-) diff --git a/prism/ext/lpsolve55/Makefile b/prism/ext/lpsolve55/Makefile index 25e76b1e..1b0db80c 100644 --- a/prism/ext/lpsolve55/Makefile +++ b/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)