From 799e22cd9fb52d33af2989647376c61ebb3934df Mon Sep 17 00:00:00 2001
From: Dave Parker <dave.x.parker@gmail.com>
Date: Tue, 18 Dec 2012 19:22:43 +0000
Subject: [PATCH] lpsolve makefile tweak.

git-svn-id: https://www.prismmodelchecker.org/svn/prism/prism/trunk@6235 bbc10eb1-c90d-0410-af57-cb519fbb1720
---
 prism/ext/lpsolve55/Makefile | 12 ++++++------
 1 file changed, 6 insertions(+), 6 deletions(-)

diff --git a/prism/ext/lpsolve55/Makefile b/prism/ext/lpsolve55/Makefile
index ba8ac777..be07eae0 100644
--- a/prism/ext/lpsolve55/Makefile
+++ b/prism/ext/lpsolve55/Makefile
@@ -8,6 +8,12 @@
 ifeq ($(OSTYPE),linux)
 	  LPSOLVE55_BUILD=ccc
 endif
+ifeq ($(OSTYPE),solaris)
+	  LPSOLVE55_BUILD=ccc.solaris
+endif
+ifeq ($(OSTYPE),cygwin)
+	  LPSOLVE55_BUILD=ccc.cygwin
+endif
 ifeq ($(OSTYPE),darwin)
 	ifeq ($(ARCH),x86_64)
 	  LPSOLVE55_BUILD=ccc.osx64
@@ -15,12 +21,6 @@ ifeq ($(OSTYPE),darwin)
 	  LPSOLVE55_BUILD=ccc.osx32
 	endif
 endif
-ifeq ($(OSTYPE),cygwin)
-	  LPSOLVE55_BUILD=ccc.cygwin
-endif
-ifeq ($(OSTYPE),solaris)
-	  LPSOLVE55_BUILD=ccc.solaris
-endif
 
 default: all