cg@2731: #
cg@2731: # DO NOT EDIT 
cg@2731: #
cg@2731: # make uses this file (Makefile) only, if there is no 
cg@2731: # file named "makefile" (lower-case m) in the same directory.
cg@2731: # My only task is to generate the real makefile and call make again.
cg@2731: # Thereafter, I am no longer used and needed.
cg@2731: #
cg@2731: 
cg@2731: .PHONY: run
cg@2731: 
cg@2731: run: makefile
cg@2731: 	$(MAKE) -f makefile
cg@2731: 
cg@2731: #only needed for the definition of $(TOP)
cg@2731: include Make.proto
cg@2731: 
cg@2731: makefile:
cg@2731: 	$(TOP)/rules/stmkmf