Makefile

   1
   2 MAKE = make
   3 SRC_DIR = src
   4 MAN_DIR = man/man1
   5 TARGET = playumidi
   6 MAN_FILE = playumidi.1
   7 TARGET_MAN = playumidi.1.gz
   8 INSTALL_BIN_DIR = /usr/local/bin
   9 INSTALL_MAN_DIR = /usr/local/man/man1
  10
  11
  12 all: $(TARGET) $(TARGET_MAN)
  13
  14 install: $(TARGET) $(TARGET_MAN)
  15         install $(TARGET) $(INSTALL_BIN_DIR)
  16         install $(TARGET_MAN) $(INSTALL_MAN_DIR)
  17
  18 deinstall:
  19         test -e $(INSTALL_BIN_DIR)/$(TARGET) && rm -v $(INSTALL_BIN_DIR)/$(TARGET)
  20         test -e $(INSTALL_MAN_DIR)/$(TARGET_MAN) && rm -v $(INSTALL_MAN_DIR)/$(TARGET_MAN)
  21
  22 clean:
  23         test -e $(TARGET) && rm $(TARGET)
  24         test -e $(TARGET_MAN) && rm $(TARGET_MAN)
  25         $(MAKE) -C $(SRC_DIR) clean
  26
  27 $(TARGET):
  28         $(MAKE) -C $(SRC_DIR) all
  29         cp $(SRC_DIR)/$(TARGET) .
  30
  31 $(TARGET_MAN):
  32         gzip -c $(MAN_DIR)/$(MAN_FILE) > ./$(TARGET_MAN)
  33