helm/matita/template_makefile.in

   1 SRC=$(shell find @ROOT@ -name "*.ma" -a -type f)
   2 TODO=$(SRC:%.ma=%.moo)
   3
   4 MATITAC=@CC@
   5 MATITACLEAN=@CLEAN@
   6 MATITADEP=@DEP@
   7
   8 all: $(TODO)
   9
  10 clean:
  11         $(MATITACLEAN) $(SRC)
  12         rm -f $(TODO)
  13
  14 %.moo:%.ma
  15         [ ! -e $@ ] || ($(MATITACLEAN) $< 1>/dev/null 2>/dev/null ; rm -f $@)
  16         ($(MATITAC) -q -I @ROOT@ $< | (grep -v "^make" || true)) || \
  17                 ($(MATITACLEAN) $< ; exit 1)
  18
  19 @DEPFILE@ @DEPFILESHORT@: $(SRC)
  20         @DEP@ -I @ROOT@ $^ > @DEPFILE@
  21         >@DEPFILESHORT@
  22         for X in `cat @DEPFILE@ | cut -f 1 -d :`; do\
  23                 TMP=`basename $$X | sed s/\.moo$$//`;\
  24                 echo "$$TMP: $$X" >> @DEPFILESHORT@;\
  25         done
  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@
  30
  31 # this is for short name targets like:
  32 # name: dir/dir/name.moo
  33 -include @DEPFILESHORT@