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