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