Skip to content
Permalink
Branch: master
Find file Copy path
Find file Copy path
Fetching contributors…
Cannot retrieve contributors at this time
19 lines (14 sloc) 412 Bytes
public.COQC = coqc
public.COQC_FLAGS =
public.COQLIB = $(shell coqc -where)/
public.COQDEP = coqdep -w -coqlib $`(COQLIB) -I .
public.CoqProof(files) =
vo=$(addsuffix .vo,$(files))
value $(vo)
public.CoqExtract(targets, files) =
export
$(addsuffix .ml, $(targets)) $(addsuffix .mli, $(targets)) : $(addsuffix .vo,$(files))
%.vo %.glob: %.v
$(COQC) $(COQC_FLAGS) $<
.SCANNER: %.vo: %.v
$(COQDEP) $<
You can’t perform that action at this time.