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
cg@2731
     1
#
sv@3146
     2
# DO NOT EDIT
cg@2731
     3
#
sv@3146
     4
# make uses this file (Makefile) only, if there is no
sv@3146
     5
# file named "makefile" (lower-case m) in the same directory.
sv@3146
     6
# My only task is to generate the real makefile and call make again.
sv@3146
     7
# Thereafter, I am no longer used and needed.
sv@3146
     8
#
sv@3146
     9
# MACOSX caveat:
sv@3146
    10
#   as filenames are not case sensitive (in a default setup),
sv@3146
    11
#   we cannot use the above trick. Therefore, this file is now named
sv@3146
    12
#   "Makefile.init", and you have to execute "make -f Makefile.init" to
sv@3146
    13
#   get the initial makefile.  This is now also done by the toplevel CONFIG
sv@3146
    14
#   script.
sv@3146
    15
sv@3146
    16
.PHONY: run
sv@3146
    17
sv@3146
    18
run: makefile
sv@3146
    19
	$(MAKE) -f makefile
sv@3146
    20
sv@3146
    21
#only needed for the definition of $(TOP)
cg@2731
    22
include Make.proto
cg@2731
    23
sv@3146
    24
makefile: mf
cg@2980
    25
sv@3146
    26
mf:
sv@3146
    27
	$(TOP)/rules/stmkmf