Skip to content

GitLab

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

fix calling makefile on specific files

parent bbda866b
Pipeline #2609 passed with stage
    in 4 minutes and 15 seconds
    Hide whitespace changes
    Inline Side-by-side
    Showing with 4 additions and 2 deletions
    Makefile
    View file @ ebb51092
    # Makefile originally taken from coq-club
    %: Makefile.coq
    %: Makefile.coq phony
    +make -f Makefile.coq $@
    all: Makefile.coq
    ......@@ -17,4 +17,6 @@ _CoqProject: ;
    Makefile: ;
    .PHONY: all clean
    phony: ;
    .PHONY: all clean 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