From 197de502a12be3bb32ae3e34dec67b43aed11eaf Mon Sep 17 00:00:00 2001 From: Dave Parker Date: Thu, 20 Dec 2012 12:19:52 +0000 Subject: [PATCH] Use pre-built lpsolve libraries on Win. git-svn-id: https://www.prismmodelchecker.org/svn/prism/prism/trunk@6245 bbc10eb1-c90d-0410-af57-cb519fbb1720 --- prism/ext/lpsolve55/Makefile | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/prism/ext/lpsolve55/Makefile b/prism/ext/lpsolve55/Makefile index 1b0db80c..945fc70c 100644 --- a/prism/ext/lpsolve55/Makefile +++ b/prism/ext/lpsolve55/Makefile @@ -34,7 +34,7 @@ checks: ../../lib/$(LIBPREFIX)lpsolve55$(LIBSUFFIX): @(if [ "$(OSTYPE)" = "cygwin" ]; then \ - cp "bin/win32/*dll" ../../lib; \ + cp bin/win32/$(LIBPREFIX)lpsolve55$(LIBSUFFIX) ../../lib; \ else \ (cd src/lp_solve_5.5/lpsolve55 && \ c=$(C) sh -x $(LPSOLVE55_BUILD) \