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