Makefile: compile ngprism with CFLAGS instead of CPPFLAGS options (calls C compiler)

git-svn-id: https://www.prismmodelchecker.org/svn/prism/prism/trunk@11788 bbc10eb1-c90d-0410-af57-cb519fbb1720

prism/src/prism/Makefile

@@ -57,7 +57,7 @@ $(PRISM_DIR_REL)/$(OBJ_DIR)/$(THIS_DIR)/%.o: %.cc
 # Don't build ngprism on Windows/Cygwin for now
 $(PRISM_DIR_REL)/$(OBJ_DIR)/$(THIS_DIR)/ngprism$(EXE): ngprism.c
 	@if [ "$(EXE)" = "" ]; then \
-	  $(C) $(LDFLAGS) $(CPPFLAGS) -o $@ $<; \
+	  $(C) $(LDFLAGS) $(CFLAGS) -o $@ $<; \
 	else \
 	  touch $@; \
 	fi;