Skip to content

GitLab

I
Iris
Commit c4d8c28a authored by Ralf Jung's avatar Ralf Jung
Browse files
Options

disable annoying warning

parent 664a8754
Pipeline #3623 passed with stage
    in 10 minutes and 28 seconds
    Show whitespace changes
    Inline Side-by-side
    Showing with 1 addition and 1 deletion
    Makefile
    View file @ c4d8c28a
    ......@@ -8,7 +8,7 @@ COQ_VERSION=$(shell coqc --version | egrep -o 'version 8.[0-9]' | egrep -o '8.[0
    COQ_MAKEFILE_FLAGS ?=
    ifeq ($(COQ_VERSION), 8.6)
    COQ_MAKEFILE_FLAGS += -arg -w -arg -notation-overridden,-redundant-canonical-projection
    COQ_MAKEFILE_FLAGS += -arg -w -arg -notation-overridden,-redundant-canonical-projection,-several-object-files
    endif
    # Forward most targets to Coq makefile (with some trick to make this phony)
    ......
    Markdown is supported
    0% or .
    You are about to add 0 people to the discussion. Proceed with caution.
    Finish editing this message first!
    Please register or to comment