From da2aa0e165077fa89b137b7470403afb1ece8384 Mon Sep 17 00:00:00 2001 From: Dave Parker Date: Fri, 21 Dec 2012 21:24:49 +0000 Subject: [PATCH] lpsolve55j makefile bug git-svn-id: https://www.prismmodelchecker.org/svn/prism/prism/trunk@6271 bbc10eb1-c90d-0410-af57-cb519fbb1720 --- prism/ext/lp_solve_5.5_java/lib/build | 6 +++--- 1 file changed, 3 insertions(+), 3 deletions(-) diff --git a/prism/ext/lp_solve_5.5_java/lib/build b/prism/ext/lp_solve_5.5_java/lib/build index ffa9ef4e..972b96ce 100755 --- a/prism/ext/lp_solve_5.5_java/lib/build +++ b/prism/ext/lp_solve_5.5_java/lib/build @@ -23,13 +23,13 @@ echo DIR $JDK_DIR c=g++ if [ "$ARCH" = "" ]; then - CFLAGS = -m32 + CFLAGS=-m32 fi if [ "$ARCH" = "amd64" ]; then - CFLAGS = -m64 -fPIC -DPIC + CFLAGS=-m64 -fPIC -DPIC fi if [ "$ARCH" = "ia64" ]; then - CFLAGS = -fPIC -DPIC + CFLAGS=-fPIC -DPIC fi #determine platform (32/64 bit)