From ef2f10e97e418e6752b8db5562a8f34123436dbf Mon Sep 17 00:00:00 2001
From: Joachim Klein <klein@tcs.inf.tu-dresden.de>
Date: Wed, 2 Aug 2017 14:28:12 +0000
Subject: [PATCH] Makefile: enable compilation of ngprism.c -> ngprism.exe on
 Windows

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

diff --git a/prism/src/prism/Makefile b/prism/src/prism/Makefile
index 949bdfa2..bb971d94 100644
--- a/prism/src/prism/Makefile
+++ b/prism/src/prism/Makefile
@@ -54,12 +54,12 @@ $(PRISM_DIR_REL)/$(LIB_DIR)/$(LIBPREFIX)prism$(LIBSUFFIX): $(O_FILES)
 $(PRISM_DIR_REL)/$(OBJ_DIR)/$(THIS_DIR)/%.o: %.cc
 	$(CPP) $(CPPFLAGS) -c $< -o $@ $(INCLUDES)
 
-# Don't build ngprism on Windows/Cygwin for now
 $(PRISM_DIR_REL)/$(OBJ_DIR)/$(THIS_DIR)/ngprism$(EXE): ngprism.c
+# For ngprism on Windows, link winsocket library (ws2_32)
 	@if [ "$(EXE)" = "" ]; then \
 	  $(C) $(LDFLAGS) $(CFLAGS) -o $@ $<; \
 	else \
-	  touch $@; \
+	  $(C) $(LDFLAGS) $(CFLAGS) -o $@ $< -lws2_32; \
 	fi;
 
 clean: checks