From 9e2c117954c38630f33df764f6088ad55912f0f6 Mon Sep 17 00:00:00 2001 From: Dave Parker Date: Wed, 25 Jun 2014 19:40:23 +0000 Subject: [PATCH] lpsolve Makefile fix (from Steffen Maercker). git-svn-id: https://www.prismmodelchecker.org/svn/prism/prism/trunk@8599 bbc10eb1-c90d-0410-af57-cb519fbb1720 --- prism/ext/lpsolve55/Makefile | 3 ++- 1 file changed, 2 insertions(+), 1 deletion(-) diff --git a/prism/ext/lpsolve55/Makefile b/prism/ext/lpsolve55/Makefile index 79f3871f..f50fade4 100644 --- a/prism/ext/lpsolve55/Makefile +++ b/prism/ext/lpsolve55/Makefile @@ -33,12 +33,13 @@ checks: fi; ../../lib/$(LIBPREFIX)lpsolve55$(LIBSUFFIX): + mkdir -p lib @(if [ "$(OSTYPE)" = "cygwin" ]; then \ cp bin/$(BINDISTSUFFIX)/$(LIBPREFIX)lpsolve55$(LIBSUFFIX) ../../lib; \ else \ (cd src/lp_solve_5.5/lpsolve55 && \ ARCH=$(ARCH) c=$(C) sh -x $(LPSOLVE55_BUILD) \ - ) && mv lib/$(LIBPREFIX)lpsolve55$(LIBSUFFIX) ../../lib; \ + ) && mv lib/$(LIBPREFIX)lpsolve55$(LIBSUFFIX) ../../lib/; \ fi) clean: checks