From c6a6b330aac17be4d7a73477a6230470fdc86f61 Mon Sep 17 00:00:00 2001
From: Dave Parker <dave.x.parker@gmail.com>
Date: Fri, 21 Dec 2012 20:13:14 +0000
Subject: [PATCH] More lpsolve(j) building.

git-svn-id: https://www.prismmodelchecker.org/svn/prism/prism/trunk@6270 bbc10eb1-c90d-0410-af57-cb519fbb1720
---
 prism/ext/lp_solve_5.5_java/lib/build              | 2 +-
 prism/ext/lpsolve55/src/lp_solve_5.5/lpsolve55/ccc | 2 +-
 2 files changed, 2 insertions(+), 2 deletions(-)

diff --git a/prism/ext/lp_solve_5.5_java/lib/build b/prism/ext/lp_solve_5.5_java/lib/build
index 070a6c66..ffa9ef4e 100755
--- a/prism/ext/lp_solve_5.5_java/lib/build
+++ b/prism/ext/lp_solve_5.5_java/lib/build
@@ -28,7 +28,7 @@ fi
 if [ "$ARCH" = "amd64" ]; then
 	CFLAGS = -m64 -fPIC -DPIC
 fi
-if [ "$ARCH" = "" ]; then
+if [ "$ARCH" = "ia64" ]; then
 	CFLAGS = -fPIC -DPIC
 fi
 
diff --git a/prism/ext/lpsolve55/src/lp_solve_5.5/lpsolve55/ccc b/prism/ext/lpsolve55/src/lp_solve_5.5/lpsolve55/ccc
index 753497e0..c05d7d87 100644
--- a/prism/ext/lpsolve55/src/lp_solve_5.5/lpsolve55/ccc
+++ b/prism/ext/lpsolve55/src/lp_solve_5.5/lpsolve55/ccc
@@ -8,7 +8,7 @@ fi
 if [ "$ARCH" = "amd64" ]; then
 	CFLAGS = -m64 -fPIC -DPIC
 fi
-if [ "$ARCH" = "" ]; then
+if [ "$ARCH" = "ia64" ]; then
 	CFLAGS = -fPIC -DPIC
 fi