From 5052a548cea371d3c611273ae111472aea6c9824 Mon Sep 17 00:00:00 2001
From: Robbert Krebbers <mail@robbertkrebbers.nl>
Date: Mon, 6 Feb 2017 21:02:20 +0100
Subject: [PATCH] Move COQ FLAGS to _CoqProject.

---
 Makefile    | 3 ---
 _CoqProject | 1 +
 2 files changed, 1 insertion(+), 3 deletions(-)

diff --git a/Makefile b/Makefile
index 87749227..8de6ba81 100644
--- a/Makefile
+++ b/Makefile
@@ -3,9 +3,6 @@ ifeq ($(Y), 1)
 	YFLAG=-y
 endif
 
-# Configure Coq warnings
-COQ_MAKEFILE_FLAGS ?= -arg -w -arg -notation-overridden,-redundant-canonical-projection,-several-object-files
-
 # Forward most targets to Coq makefile (with some trick to make this phony)
 %: Makefile.coq phony
 	+@make -f Makefile.coq $@
diff --git a/_CoqProject b/_CoqProject
index a7869b13..8a0c466a 100644
--- a/_CoqProject
+++ b/_CoqProject
@@ -1,4 +1,5 @@
 -Q theories stdpp
+-arg -w -arg -notation-overridden,-redundant-canonical-projection,-several-object-files
 theories/option.v
 theories/fin_map_dom.v
 theories/bset.v
-- 
GitLab