Makefile
author Claus Gittinger <cg@exept.de>
Mon, 20 Aug 2018 10:11:25 +0200
changeset 4346 6604af2f1554
parent 3187 97352376de77
permissions -rw-r--r--
#OTHER by cg class: FileBasedSourceCodeManager class removed: #version_FileRepository
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
2270
556040391edb initial checkin
Claus Gittinger <cg@exept.de>
parents:
diff changeset
     1
#
3187
97352376de77 automatically generated by browser
Claus Gittinger <cg@exept.de>
parents: 3120
diff changeset
     2
# DO NOT EDIT
97352376de77 automatically generated by browser
Claus Gittinger <cg@exept.de>
parents: 3120
diff changeset
     3
#
97352376de77 automatically generated by browser
Claus Gittinger <cg@exept.de>
parents: 3120
diff changeset
     4
# make uses this file (Makefile) only, if there is no
97352376de77 automatically generated by browser
Claus Gittinger <cg@exept.de>
parents: 3120
diff changeset
     5
# file named "makefile" (lower-case m) in the same directory.
97352376de77 automatically generated by browser
Claus Gittinger <cg@exept.de>
parents: 3120
diff changeset
     6
# My only task is to generate the real makefile and call make again.
97352376de77 automatically generated by browser
Claus Gittinger <cg@exept.de>
parents: 3120
diff changeset
     7
# Thereafter, I am no longer used and needed.
2270
556040391edb initial checkin
Claus Gittinger <cg@exept.de>
parents:
diff changeset
     8
#
3187
97352376de77 automatically generated by browser
Claus Gittinger <cg@exept.de>
parents: 3120
diff changeset
     9
97352376de77 automatically generated by browser
Claus Gittinger <cg@exept.de>
parents: 3120
diff changeset
    10
.PHONY: run
97352376de77 automatically generated by browser
Claus Gittinger <cg@exept.de>
parents: 3120
diff changeset
    11
97352376de77 automatically generated by browser
Claus Gittinger <cg@exept.de>
parents: 3120
diff changeset
    12
run: makefile
97352376de77 automatically generated by browser
Claus Gittinger <cg@exept.de>
parents: 3120
diff changeset
    13
	$(MAKE) -f makefile
97352376de77 automatically generated by browser
Claus Gittinger <cg@exept.de>
parents: 3120
diff changeset
    14
97352376de77 automatically generated by browser
Claus Gittinger <cg@exept.de>
parents: 3120
diff changeset
    15
#only needed for the definition of $(TOP)
2270
556040391edb initial checkin
Claus Gittinger <cg@exept.de>
parents:
diff changeset
    16
include Make.proto
556040391edb initial checkin
Claus Gittinger <cg@exept.de>
parents:
diff changeset
    17
3187
97352376de77 automatically generated by browser
Claus Gittinger <cg@exept.de>
parents: 3120
diff changeset
    18
makefile: mf
3002
4898958eb448 automatically generated by browser
Claus Gittinger <cg@exept.de>
parents: 2386
diff changeset
    19
3187
97352376de77 automatically generated by browser
Claus Gittinger <cg@exept.de>
parents: 3120
diff changeset
    20
mf:
97352376de77 automatically generated by browser
Claus Gittinger <cg@exept.de>
parents: 3120
diff changeset
    21
	$(TOP)/rules/stmkmf