From 2b614526e133d9a1a96286429fea7ebf3a6f0b90 Mon Sep 17 00:00:00 2001
From: Dave Parker <dave.x.parker@gmail.com>
Date: Tue, 30 Apr 2013 14:56:01 +0000
Subject: [PATCH] old, uncommitted lpsolve compiel fix

git-svn-id: https://www.prismmodelchecker.org/svn/prism/prism/trunk@6728 bbc10eb1-c90d-0410-af57-cb519fbb1720
---
 prism/ext/lpsolve55/src/lp_solve_5.5/lpsolve55/ccc | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

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 96fadbd1..4ec2d232 100644
--- a/prism/ext/lpsolve55/src/lp_solve_5.5/lpsolve55/ccc
+++ b/prism/ext/lpsolve55/src/lp_solve_5.5/lpsolve55/ccc
@@ -6,10 +6,10 @@ if [ "$ARCH" = "" ]; then
 	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)