matita/template_makefile.in

   1 SRC=$(shell find @ROOT@ -name "*.ma" -a -type f)
   2 SHORTSRC=$(echo $(SRC) | sed 's?^@ROOT@/??g')
   3 TODO=$(SRC:%.ma=%.mo)
   4
   5 MATITA_FLAGS=
   6 MATITA_FLAGS+=-noprofile
   7 NODB=false
   8 ifeq ($(NODB),true)
   9         MATITA_FLAGS += -nodb
  10 endif
  11
  12 MATITAC=@CC@
  13 MATITACLEAN=@CLEAN@
  14 MATITADEP=@DEP@
  15
  16 all: $(TODO)
  17
  18 clean:
  19         $(MATITACLEAN) $(MATITA_FLAGS) $(SRC)
  20         rm -f $(TODO) @DEPFILE@
  21
  22 %.moo:
  23         if [ -z "$<" ]; then \
  24                 echo "missing dependencies for $@"; \
  25         else \
  26                 $(MATITAC) $(MATITA_FLAGS) -q -I @ROOT@ $<; \
  27         fi
  28
  29 @DEPFILE@ : $(SRC)
  30         $(MATITADEP) $(MATITA_FLAGS) -I '@ROOT@' -dot @DEPFILE@.dot $^ \
  31                 1> @DEPFILE@ 2>@DEPFILE@.errors \
  32                 || (echo;cat @DEPFILE@.errors;echo;rm @DEPFILE@;false)
  33
  34 # this is the depend for full targets like:
  35 # dir/dir/name.moo: dir/dir/name.ma dir/dep.moo
  36 include @DEPFILE@