helm/software/matita/template_makefile.in

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