cg@2731: #
sv@3146: # DO NOT EDIT
sv@3146: #
sv@3146: # make uses this file (Makefile) only, if there is no
sv@3146: # file named "makefile" (lower-case m) in the same directory.
sv@3146: # My only task is to generate the real makefile and call make again.
sv@3146: # Thereafter, I am no longer used and needed.
cg@2731: #
sv@3146: # MACOSX caveat:
sv@3146: #   as filenames are not case sensitive (in a default setup),
sv@3146: #   we cannot use the above trick. Therefore, this file is now named
sv@3146: #   "Makefile.init", and you have to execute "make -f Makefile.init" to
sv@3146: #   get the initial makefile.  This is now also done by the toplevel CONFIG
sv@3146: #   script.
sv@3146: 
sv@3146: .PHONY: run
sv@3146: 
sv@3146: run: makefile
sv@3146: 	$(MAKE) -f makefile
sv@3146: 
sv@3146: #only needed for the definition of $(TOP)
cg@2731: include Make.proto
cg@2731: 
sv@3146: makefile: mf
cg@2980: 
sv@3146: mf:
sv@3146: 	$(TOP)/rules/stmkmf