Makefile 436 B

123456789101112131415161718192021
  1. BASH_DIR = bash-4.1
  2. manifests = $(addsuffix .manifest,bash ls cp rm)
  3. exec_target = $(manifests)
  4. level = ../../
  5. include ../../Makefile
  6. $(bash_src): $(BASH_DIR).tar.gz
  7. tar -xzf $<
  8. $(bash_src)/bash: $(BASH_DIR)
  9. cd $(BASH_DIR) && ./configure --without-gnu-malloc
  10. cd $(BASH_DIR) && $(MAKE) CC="gcc -g"
  11. bash-local: $(BASH_DIR)/bash
  12. cp $< bash-local
  13. distclean: clean-manifests
  14. rm -rf $(bash_src)
  15. rm -rf bash result $(test_targets)