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

@@ -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