helm/Makefile

   1 DIRS = ocaml matita
   2 # gTopLevel searchEngine mathql_test hxp
   3
   4 DIRS_BYTE = $(patsubst %,%.byte,$(DIRS))
   5 DIRS_OPT = $(patsubst %,%.opt,$(DIRS))
   6 DIRS_CLEAN = $(patsubst %,%.clean,$(DIRS))
   7 all: byte
   8 byte: $(DIRS_BYTE)
   9 opt: $(DIRS_OPT)
  10 world: byte opt
  11 clean: $(DIRS_CLEAN)
  12 %.byte:
  13         $(MAKE) -C $*/ all
  14 %.opt:
  15         $(MAKE) -C $*/ opt
  16 %.clean:
  17         $(MAKE) -C $*/ clean
  18 .PHONY: all byte opt world clean