1 #

     2 # DO NOT EDIT 

     3 #

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

     5 # file named "makefile" in the directory.

     6 # Our only task is to generate makefile and call make again

     7 #

     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	

    20 

    21