From ebf60095691d0754c22a4fc31a8f3156a5f78c7d Mon Sep 17 00:00:00 2001 From: Dave Parker Date: Fri, 21 Dec 2012 21:30:30 +0000 Subject: [PATCH] lpsolve55j makefile fix. git-svn-id: https://www.prismmodelchecker.org/svn/prism/prism/trunk@6272 bbc10eb1-c90d-0410-af57-cb519fbb1720 --- prism/ext/lpsolve55/src/lp_solve_5.5/lpsolve55/ccc | 6 +++--- 1 file changed, 3 insertions(+), 3 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 c05d7d87..96fadbd1 100644 --- a/prism/ext/lpsolve55/src/lp_solve_5.5/lpsolve55/ccc +++ b/prism/ext/lpsolve55/src/lp_solve_5.5/lpsolve55/ccc @@ -3,13 +3,13 @@ src='../lp_MDO.c ../shared/commonlib.c ../shared/mmio.c ../shared/myblas.c ../in #c=cc 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)