helm/Makefile

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