From 55e0c90d104ad55b9c679173a97379d87fd507a8 Mon Sep 17 00:00:00 2001 From: Dave Parker Date: Fri, 21 Dec 2012 16:41:34 +0000 Subject: [PATCH] More lpsolve(j) building. git-svn-id: https://www.prismmodelchecker.org/svn/prism/prism/trunk@6267 bbc10eb1-c90d-0410-af57-cb519fbb1720 --- prism/ext/lp_solve_5.5_java/Makefile | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/prism/ext/lp_solve_5.5_java/Makefile b/prism/ext/lp_solve_5.5_java/Makefile index ed9d7dcf..729f4ebc 100644 --- a/prism/ext/lp_solve_5.5_java/Makefile +++ b/prism/ext/lp_solve_5.5_java/Makefile @@ -20,7 +20,7 @@ lpsolve55java: @(if [ "$(OSTYPE)" = "linux" ]; then \ echo "Rebuild lpsolve55 Java wrapper for Linux"; \ pushd lib/ ; \ - JAVA_JNI_H_DIR="$(JAVA_JNI_H_DIR)" sh build; \ + ARCH=$(ARCH) JAVA_JNI_H_DIR="$(JAVA_JNI_H_DIR)" sh build; \ popd; \ if [ "$(ARCH)" = "" ]; then \ cp lib/lpsolve55j.jar lib/ux32/liblpsolve55j.so ../../lib/ ; \