equal
deleted
inserted
replaced
1 # |
1 # |
2 # DO NOT EDIT |
2 # DO NOT EDIT |
3 # |
3 # |
4 # make uses this file (Makefile) only, if there is no |
4 # make uses this file (Makefile) only, if there is no |
5 # file named "makefile" in the directory. |
5 # file named "makefile" (lower-case m) in the same directory. |
6 # Our only task is to generate makefile and call make again |
6 # My only task is to generate the real makefile and call make again. |
|
7 # Thereafter, I am no longer used and needed. |
7 # |
8 # |
8 |
|
9 |
9 |
10 .PHONY: run |
10 .PHONY: run |
11 |
11 |
12 run: makefile |
12 run: makefile |
13 $(MAKE) -f makefile |
13 $(MAKE) -f makefile |
14 |
14 |
15 #only needed for the definition of $(TOP) |
15 #only needed for the definition of $(TOP) |
16 include Make.proto |
16 include Make.proto |
17 |
17 |
18 makefile: |
18 makefile: |
19 $(TOP)/rules/stmkmf |
19 $(TOP)/rules/stmkmf |
20 |
20 |
21 |
|