helm/matita/template_makefile.in

   1 SRC=$(shell find @ROOT@ -name "*.ma" -a -type f)
   2 TODO=$(SRC:%.ma=%.mo)
   3
   4 MATITA_FLAGS=-noprofile
   5 NODB=false
   6 ifeq ($(NODB),true)
   7         MATITA_FLAGS += -nodb
   8 endif
   9
  10 MATITAC=@CC@
  11 MATITACLEAN=@CLEAN@
  12 MATITADEP=@DEP@
  13
  14 all: $(TODO)
  15
  16 clean:
  17         $(MATITACLEAN) $(MATITA_FLAGS) $(SRC)
  18         rm -f $(TODO)
  19
  20 %.moo:
  21         ($(MATITAC) $(MATITA_FLAGS) -q -I @ROOT@ $< | (grep -v "^make" || true))
  22
  23 @DEPFILE@ : $(SRC)
  24         $(MATITADEP) $(MATITA_FLAGS) -I '@ROOT@' $^ 1> @DEPFILE@ 2>/dev/null
  25
  26 # this is the depend for full targets like:
  27 # dir/dir/name.moo: dir/dir/name.ma dir/dep.moo
  28 -include @DEPFILE@