Skip to content
GitLab
Projects
Groups
Snippets
Help
Loading...
Help
What's new
10
Help
Support
Community forum
Keyboard shortcuts
?
Submit feedback
Contribute to GitLab
Sign in / Register
Toggle navigation
Open sidebar
Iris
stdpp
Commits
5052a548
Commit
5052a548
authored
Feb 06, 2017
by
Robbert Krebbers
1
Browse files
Options
Browse Files
Download
Email Patches
Plain Diff
Move COQ FLAGS to _CoqProject.
parent
2c261344
Pipeline
#3830
passed with stage
in 3 minutes and 40 seconds
Changes
2
Pipelines
1
Hide whitespace changes
Inline
Side-by-side
Showing
2 changed files
with
1 addition
and
3 deletions
+1
-3
Makefile
Makefile
+0
-3
_CoqProject
_CoqProject
+1
-0
No files found.
Makefile
View file @
5052a548
...
...
@@ -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
$@
...
...
_CoqProject
View file @
5052a548
-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
...
...
Ralf Jung
@jung
·
Feb 07, 2017
Owner
Heh, this was part of my MR ;)
Heh, this was part of my MR ;)
Write
Preview
Markdown
is supported
0%
Try again
or
attach a new file
.
Attach a file
Cancel
You are about to add
0
people
to the discussion. Proceed with caution.
Finish editing this message first!
Cancel
Please
register
or
sign in
to comment