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 

    10 .PHONY: run

    11 

    12 run: makefile

    13 	$(MAKE) -f makefile

    14 

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

    16 include Make.proto

    17 

    18 makefile:

    19 	$(TOP)/rules/stmkmf