1 #

     2 # DO NOT EDIT

     3 #

     4 # make uses this file (Makefile) only, if there is no

     5 # file named "makefile" (lower-case m) in the same directory.

     6 # My only task is to generate the real makefile and call make again.

     7 # Thereafter, I am no longer used and needed.

     8 #

     9 # MACOSX caveat:

    10 #   as filenames are not case sensitive (in a default setup),

    11 #   we cannot use the above trick. Therefore, this file is now named

    12 #   "Makefile.init", and you have to execute "make -f Makefile.init" to

    13 #   get the initial makefile.  This is now also done by the toplevel CONFIG

    14 #   script.

    15 

    16 .PHONY: run

    17 

    18 run: makefile

    19 	$(MAKE) -f makefile

    20 

    21 #only needed for the definition of $(TOP)

    22 include Make.proto

    23 

    24 makefile: mf

    25 

    26 mf:

    27 	$(TOP)/rules/stmkmf