Makefile.init
author Claus Gittinger <cg@exept.de>
Tue, 14 May 2019 09:46:21 +0200
changeset 3663 9d49ecf8661a
parent 3146 94b9eff076a3
permissions -rw-r--r--
#UI_ENHANCEMENT by cg
class: TabListEditor class
changed:
#canvasSpec
#menu
#windowSpec
     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