Makefile tweak: Detection of Cygwin when OSTYPE=posix.

git-svn-id: https://www.prismmodelchecker.org/svn/prism/prism/trunk@211 bbc10eb1-c90d-0410-af57-cb519fbb1720
19 years ago · 8ff5d1ae93
1 changed files with 4 additions and 0 deletions
--- a/prism/Makefile
+++ b/prism/Makefile
@ -31,6 +31,10 @@ ifdef OSTYPE
 	ifneq (,$(findstring cygwin, $(OSTYPE)))
 	  OSTYPE = cygwin
 	endif
+	# For Cygwin , OSTYPE is sometimes set to "posix"
+	ifneq (,$(findstring posix, $(OSTYPE)))
+	  OSTYPE = cygwin
+	endif
 	ifneq (,$(findstring darwin, $(OSTYPE)))
 	  OSTYPE = darwin
 	endif