Makefile

   1
   2 vfiles  = $(shell find src -name \*.v)
   3 vofiles = $(vfiles:src/%.v=src/%.vo)
   4
   5 all: $(vofiles)
   6 clean:; rm */*.vo
   7
   8 docs: $(vfiles:src/%.v=doc/%.html)
   9
  10 src/%.vo: src/%.v
  11         mkdir -p `dirname $@`
  12         coqc -R src/Computation Computation $<
  13 doc/%.html: src/%.v
  14         mkdir -p `dirname $@`
  15         coqdoc --no-index --html -o $@ $<
  16
  17 src/Computation/Equivalence.vo: src/Computation/Monad.vo src/Computation/Termination.vo
  18 src/Computation/Termination.vo: src/Computation/Monad.vo
  19 src/Computation/Tactics.vo: src/Computation/Monad.vo
  20 src/Computation/Eval.vo: src/Computation/Termination.vo