equal
deleted
inserted
replaced
|
1 # |
|
2 # DO NOT EDIT |
|
3 # |
|
4 # make uses this file (Makefile) only, if there is no |
|
5 # file named "makefile" (lower-case m) in the same directory. |
|
6 # My only task is to generate the real makefile and call make again. |
|
7 # Thereafter, I am no longer used and needed. |
|
8 # |
|
9 # MACOSX caveat: |
|
10 # as filenames are not case sensitive (in a default setup), |
|
11 # we cannot use the above trick. Therefore, this file is now named |
|
12 # "Makefile.init", and you have to execute "make -f Makefile.init" to |
|
13 # get the initial makefile. This is now also done by the toplevel CONFIG |
|
14 # script. |
|
15 |
|
16 .PHONY: run |
|
17 |
|
18 run: makefile |
|
19 $(MAKE) -f makefile |
|
20 |
|
21 #only needed for the definition of $(TOP) |
|
22 include Make.proto |
|
23 |
|
24 makefile: mf |
|
25 |
|
26 mf: |
|
27 $(TOP)/rules/stmkmf |