helm/matita/template_makefile.in

   1 SRC=$(shell find @ROOT@ -name "*.ma" -a -type f)
   2 TODO=$(SRC:%.ma=%.mo)
   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:
  15         ($(MATITAC) -q -I @ROOT@ $< | (grep -v "^make" || true))
  16
  17 @DEPFILE@ : $(SRC)
  18         @DEP@ -I '@ROOT@' $^ > @DEPFILE@
  19
  20 # this is the depend for full targets like:
  21 # dir/dir/name.moo: dir/dir/name.ma dir/dep.moo
  22 -include @DEPFILE@