Skip to content

E
examples
Commit ba8ea2a3 authored by Ralf Jung's avatar Ralf Jung
Browse files
Options

add per-project targets 

Fixes #4
parent 69439eec
Pipeline #6820 passed with stage
    in 9 minutes and 33 seconds
    Hide whitespace changes
    Inline Side-by-side
    Showing with 18 additions and 0 deletions
    Makefile.coq.local 0 → 100644
    View file @ ba8ea2a3
    # Per-project targets
    include Makefile.coq.conf
    VOFILES=$(COQMF_VFILES:.v=.vo)
    barrier: $(filter theories/barrier/%,$(VOFILES))
    .PHONY: barrier
    lecture_notes: $(filter theories/barrier/%,$(VOFILES))
    .PHONY: lecture_notes
    spanning_tree: $(filter theories/spanning_tree/%,$(VOFILES))
    .PHONY: spanning_tree
    concurrent_stacks: $(filter theories/concurrent_stacks/%,$(VOFILES))
    .PHONY: concurrent_stacks
    logrel: $(filter theories/logrel/%,$(VOFILES))
    .PHONY: logrel
    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