From 47e6cc51430933b02d97ac91937844e43b0e43a3 Mon Sep 17 00:00:00 2001
From: Dave Parker <dave.x.parker@gmail.com>
Date: Fri, 10 Jun 2011 10:57:57 +0000
Subject: [PATCH] Use gcc-3 etc by default when building on Cygwin.

git-svn-id: https://www.prismmodelchecker.org/svn/prism/prism/trunk@3081 bbc10eb1-c90d-0410-af57-cb519fbb1720
---
 prism/Makefile | 4 ++++
 1 file changed, 4 insertions(+)

diff --git a/prism/Makefile b/prism/Makefile
index 3a38de93..25d7410f 100644
--- a/prism/Makefile
+++ b/prism/Makefile
@@ -201,6 +201,10 @@ ifeq ($(OSTYPE),cygwin)
 	BINDISTSUFFIX = win
 	OSTYPE_INCLUDE = include
 	CLASSPATHSEP = ;
+	# Also override default compilers
+	# (because -mno-cygwin flag no longer in new versions of gcc)
+	C = gcc-3
+	CPP = g++-3
 endif
 # Darwin
 ifeq ($(OSTYPE),darwin)