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         if [ -z "$<" ]; then \
  23                 echo "missing dependencies for $@"; \
  24         else \
  25                 $(MATITAC) $(MATITA_FLAGS) -q -I @ROOT@ $<; \
  26         fi
  27
  28 @DEPFILE@ : $(SRC)
  29         $(MATITADEP) $(MATITA_FLAGS) -I '@ROOT@' $^ 1> @DEPFILE@ 2>@DEPFILE@.errors
  30
  31 # this is the depend for full targets like:
  32 # dir/dir/name.moo: dir/dir/name.ma dir/dep.moo
  33 -include @DEPFILE@