tools/Makefile.init
author Jan Vrany <jan.vrany@fit.cvut.cz>
Sun, 04 Aug 2013 01:46:45 +0100
branchdevelopment
changeset 2641 79395ea8b58f
permissions -rw-r--r--
Initial support for block and incremental highlighting... ...although very naive now. Block and increments are highligter only on on lexical basis, i.e., no full parsing is done. Therefore method calls, fields and classes are not recognized...

#
# DO NOT EDIT
#
# make uses this file (Makefile) only, if there is no
# file named "makefile" (lower-case m) in the same directory.
# My only task is to generate the real makefile and call make again.
# Thereafter, I am no longer used and needed.
#
# MACOSX caveat:
#   as filenames are not case sensitive (in a default setup),
#   we cannot use the above trick. Therefore, this file is now named
#   "Makefile.init", and you have to execute "make -f Makefile.init" to
#   get the initial makefile.  This is now also done by the toplevel CONFIG
#   script.

.PHONY: run

run: makefile
	$(MAKE) -f makefile

#only needed for the definition of $(TOP)
include Make.proto

makefile: mf

mf:
	$(TOP)/rules/stmkmf