Makefile.safe 1022 B

1234567891011121314151617181920212223242526272829303132333435363738
  1. # This is a hand-written top-level Makefile
  2. .PHONY: dist all csl psl
  3. all:
  4. +$(SHELL) scripts/make.sh $(MFLAGS) $(MAKECMDGOALS)
  5. dist:
  6. $(SHELL) scripts/dist.sh
  7. # This script tries a fairly basic sanity check to see if the
  8. # support-tools, include files and libraries needed to build the
  9. # CSL version of Reduce are available. It is NOT a perfect test but
  10. # may be useful in case of difficulty. See README.testprogram in the
  11. # csl directory for further explanation and especially for how to
  12. # run this test step by step manually.
  13. csltest:
  14. $(SHELL) scripts/csl-sanity-check.sh
  15. # I have csl and psl as special targets here because those names are
  16. # also names of top-level directories, but eg "make csl" wants to
  17. # delegate to the build directory and does not relate to the top-level
  18. # csl directory being up to date.
  19. csl:
  20. +$(SHELL) scripts/make.sh $(MFLAGS) $(MAKECMDGOALS)
  21. psl:
  22. +$(SHELL) scripts/make.sh $(MFLAGS) $(MAKECMDGOALS)
  23. %::
  24. +$(SHELL) scripts/make.sh $(MFLAGS) $(MAKECMDGOALS)
  25. # end of Makefile