1 2# this file (either Makefile.dist or Makefile) is the inititial version of 3# Makefile in the top-level directory of GNU APL. It provides a short-cut 4# to those make targets that do not need ./configure, and it runs ./configure 5# for the other make targets (i.e. those that need it). 6# to be made without running ./configure first. 7# 8# If this file is Makefile, then ./configure will override it with a "proper" 9# Makefile that is derived from Makefile.in. 10# 11# Otherwise (i.e. this file is Makefile.dist) this file is not touched so that 12# the initial Makefile can be re-created (e.g. # after make distclean) with: 13# 14# cp Makefile.dist Makefile 15# 16 17# 1. targets defined in Makefile.incl can be built before ./configure 18# 19.PHONY: help develop develop_lib parallel parallel1 20help develop develop_lib parallel parallel1: 21 make -f Makefile.incl $@ 22 23# 2. all other targets shall run ./configure first 24# 25%: 26 rm -f Makefile 27 ./configure 28 make $@ 29 30