helm/software/matita/contribs/Makefile

   1 GOALS = all opt clean clean.opt
   2
   3 DEVELS = ../library ../legacy RELATIONAL LOGIC LAMBDA-TYPES
   4
   5 $(GOALS):
   6         @$(foreach DEVEL, $(DEVELS), $(MAKE) -C $(DEVEL) $@;)
   7
   8 .PHONY: (GOALS)
   9
  10 .SUFFIXES: