From 5fcf8f50e6f810057d8119af1374e419d51ad0ef Mon Sep 17 00:00:00 2001
From: Joachim Klein <klein@tcs.inf.tu-dresden.de>
Date: Thu, 8 Sep 2016 14:05:50 +0000
Subject: [PATCH] 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 | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/prism/src/prism/Makefile b/prism/src/prism/Makefile
index 62e786b9..949bdfa2 100644
--- a/prism/src/prism/Makefile
+++ b/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;