From d9fe80a5500ddaf8cfc450864f975417a00cf501 Mon Sep 17 00:00:00 2001 From: Dave Parker Date: Fri, 21 Dec 2012 16:06:44 +0000 Subject: [PATCH] More lpsolve build fixes git-svn-id: https://www.prismmodelchecker.org/svn/prism/prism/trunk@6266 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 8f3f5ee7..6bea5663 100644 --- a/prism/ext/lpsolve55/Makefile +++ b/prism/ext/lpsolve55/Makefile @@ -37,7 +37,7 @@ checks: cp bin/win32/$(LIBPREFIX)lpsolve55$(LIBSUFFIX) ../../lib; \ else \ (cd src/lp_solve_5.5/lpsolve55 && \ - c=$(C) sh -x $(LPSOLVE55_BUILD) \ + ARCH=$(ARCH) c=$(C) sh -x $(LPSOLVE55_BUILD) \ ) && mv lib/$(LIBPREFIX)lpsolve55$(LIBSUFFIX) ../../lib; \ fi)