reports/Makefile.init
author Jan Vrany <jan.vrany@fit.cvut.cz>
Tue, 04 Jun 2013 10:58:52 +0200
changeset 152 271381898b2c
child 171 073ac4ff3503
permissions -rw-r--r--
initial checkin
jan@152
     1
#
jan@152
     2
# DO NOT EDIT
jan@152
     3
#
jan@152
     4
# make uses this file (Makefile) only, if there is no
jan@152
     5
# file named "makefile" (lower-case m) in the same directory.
jan@152
     6
# My only task is to generate the real makefile and call make again.
jan@152
     7
# Thereafter, I am no longer used and needed.
jan@152
     8
#
jan@152
     9
# MACOSX caveat:
jan@152
    10
#   as filenames are not case sensitive (in a default setup),
jan@152
    11
#   we cannot use tha above trick. Therefore, this file is now named
jan@152
    12
#   "Makefile.init", and you have to execute "make -f Makefile.init" to
jan@152
    13
#   get the initial makefile.  This is now also done by the toplevel CONFIG
jan@152
    14
#   script.
jan@152
    15
jan@152
    16
.PHONY: run
jan@152
    17
jan@152
    18
run: makefile
jan@152
    19
	$(MAKE) -f makefile
jan@152
    20
jan@152
    21
#only needed for the definition of $(TOP)
jan@152
    22
include Make.proto
jan@152
    23
jan@152
    24
makefile: mf
jan@152
    25
jan@152
    26
mf:
jan@152
    27
	$(TOP)/rules/stmkmf