author | Claus Gittinger <cg@exept.de> |
Sat, 30 Mar 2013 16:57:18 +0100 | |
changeset 12584 | 6797149a2942 |
parent 12489 | 3a8c6986c415 |
child 12603 | af982630f6ad |
permissions | -rw-r--r-- |
9196 | 1 |
# |
12584
6797149a2942
automatically generated by browser
Claus Gittinger <cg@exept.de>
parents:
12489
diff
changeset
|
2 |
# DO NOT EDIT |
6797149a2942
automatically generated by browser
Claus Gittinger <cg@exept.de>
parents:
12489
diff
changeset
|
3 |
# |
6797149a2942
automatically generated by browser
Claus Gittinger <cg@exept.de>
parents:
12489
diff
changeset
|
4 |
# make uses this file (Makefile) only, if there is no |
6797149a2942
automatically generated by browser
Claus Gittinger <cg@exept.de>
parents:
12489
diff
changeset
|
5 |
# file named "makefile" (lower-case m) in the same directory. |
6797149a2942
automatically generated by browser
Claus Gittinger <cg@exept.de>
parents:
12489
diff
changeset
|
6 |
# My only task is to generate the real makefile and call make again. |
6797149a2942
automatically generated by browser
Claus Gittinger <cg@exept.de>
parents:
12489
diff
changeset
|
7 |
# Thereafter, I am no longer used and needed. |
9196 | 8 |
# |
12584
6797149a2942
automatically generated by browser
Claus Gittinger <cg@exept.de>
parents:
12489
diff
changeset
|
9 |
|
6797149a2942
automatically generated by browser
Claus Gittinger <cg@exept.de>
parents:
12489
diff
changeset
|
10 |
.PHONY: run |
6797149a2942
automatically generated by browser
Claus Gittinger <cg@exept.de>
parents:
12489
diff
changeset
|
11 |
|
6797149a2942
automatically generated by browser
Claus Gittinger <cg@exept.de>
parents:
12489
diff
changeset
|
12 |
run: makefile |
6797149a2942
automatically generated by browser
Claus Gittinger <cg@exept.de>
parents:
12489
diff
changeset
|
13 |
$(MAKE) -f makefile |
6797149a2942
automatically generated by browser
Claus Gittinger <cg@exept.de>
parents:
12489
diff
changeset
|
14 |
|
6797149a2942
automatically generated by browser
Claus Gittinger <cg@exept.de>
parents:
12489
diff
changeset
|
15 |
#only needed for the definition of $(TOP) |
12489 | 16 |
include Make.proto |
9196 | 17 |
|
12364
70cb55e48802
automatically generated by browser
Claus Gittinger <cg@exept.de>
parents:
10102
diff
changeset
|
18 |
makefile: mf |
70cb55e48802
automatically generated by browser
Claus Gittinger <cg@exept.de>
parents:
10102
diff
changeset
|
19 |
|
70cb55e48802
automatically generated by browser
Claus Gittinger <cg@exept.de>
parents:
10102
diff
changeset
|
20 |
mf: |
10102
7661700a58aa
automatically generated by browser
Claus Gittinger <cg@exept.de>
parents:
9196
diff
changeset
|
21 |
$(TOP)/rules/stmkmf |