From b9b7c1dc01e57d9d28235c17c8eee09f87aae0b1 Mon Sep 17 00:00:00 2001
From: Joachim Klein <klein@tcs.inf.tu-dresden.de>
Date: Wed, 2 Aug 2017 14:28:02 +0000
Subject: [PATCH] ngprism.c: tweak to get ngprism.c to compile under Windows
 (MinGW)

git-svn-id: https://www.prismmodelchecker.org/svn/prism/prism/trunk@12195 bbc10eb1-c90d-0410-af57-cb519fbb1720
---
 prism/src/prism/ngprism.c | 4 +++-
 1 file changed, 3 insertions(+), 1 deletion(-)

diff --git a/prism/src/prism/ngprism.c b/prism/src/prism/ngprism.c
index 430b8f54..d0f54a5e 100644
--- a/prism/src/prism/ngprism.c
+++ b/prism/src/prism/ngprism.c
@@ -54,7 +54,9 @@
 	HANDLE NG_STDOUT_FILENO;
 	HANDLE NG_STDERR_FILENO;
 	#define FILE_SEPARATOR '\\'
+#ifndef MSG_WAITALL
 	#define MSG_WAITALL 0
+#endif
 #else
 	#define NG_STDIN_FILENO STDIN_FILENO
 	#define NG_STDOUT_FILENO STDOUT_FILENO
@@ -64,7 +66,7 @@
 	typedef unsigned int SOCKET;
 #endif
 
-#ifdef __APPLE__
+#if defined(__APPLE__) || !defined(MSG_NOSIGNAL)
   #define SEND_FLAGS 0
 #else
   #define SEND_FLAGS MSG_NOSIGNAL