From a7ed1a6fe92e5a55cd40295bcc27e8f703fc0660 Mon Sep 17 00:00:00 2001
From: helixhorned <helixhorned@1a8010ca-5511-0410-912e-c29ae57300e0>
Date: Fri, 6 Dec 2013 18:56:46 +0000
Subject: [PATCH] Makefile: add target 'print-compiler-options'.

May come in handy at times. BUILD_LUNATIC.

git-svn-id: https://svn.eduke32.com/eduke32@4194 1a8010ca-5511-0410-912e-c29ae57300e0
---
 polymer/eduke32/Makefile | 9 +++++++++
 1 file changed, 9 insertions(+)

diff --git a/polymer/eduke32/Makefile b/polymer/eduke32/Makefile
index fd5ab744d..68465579e 100644
--- a/polymer/eduke32/Makefile
+++ b/polymer/eduke32/Makefile
@@ -438,6 +438,15 @@ $(OBJ)/%.$o: $(SRC)/%.c
 	$(COMPILE_STATUS)
 	if $(COMPILER) $(OURCFLAGS) -c $< -o $@; then $(COMPILE_OK); else $(COMPILE_FAILED); fi
 
+#### Frama-C and related
+
+.PHONY: print-compiler-options
+print-compiler-options:
+	@echo "$(OURCFLAGS)"
+
+#frama-c-check:
+#	frama-c -machdep x86_64 -cpp-command "gcc -C -E $(OURCFLAGS)" -no-annot -val source/anim.c
+
 #### Utilities
 
 $(OBJ)/%.$o: $(SRC)/util/%.c