Makefile

   1 coqc     := coqc -noglob
   2 coqfiles := $(shell find src -name \*.v)
   3 allfiles := $(coqfiles) $(shell find src -name \*.hs)
   4
   5 default: $(allfiles)
   6         make build/Makefile.coq
   7         cd build; make OPT="-opt -dont-load-proofs" -f Makefile.coq Main.vo
   8
   9 build/Makefile.coq: $(coqfiles)
  10         mkdir -p build
  11         rm -f build/*.v
  12         rm -f build/*.d
  13         cd build; ln -s ../src/*.v .
  14         cd build; coq_makefile *.v > Makefile.coq
  15
  16 clean:
  17         rm -rf build