Makefile.init
author Jan Vrany <jan.vrany@fit.cvut.cz>
Mon, 16 Sep 2013 14:09:52 +0100
branchdevelopment
changeset 2734 f56049613ff3
parent 2642 fad6365a2e15
child 2965 bac7022ca26a
child 3425 e427c77d0e07
permissions -rw-r--r--
Initial support for live code checker / lint. JavaLintService parses the code as you type and displays all errors and other problems. This is done by running compiler in check mode in background. This also removes the necessity for JavaCompilerProblemRegistry.
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
2642
fad6365a2e15 Fix in JavaClassRegistry when notifying about class change.
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff changeset
     1
#
fad6365a2e15 Fix in JavaClassRegistry when notifying about class change.
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff changeset
     2
# DO NOT EDIT
fad6365a2e15 Fix in JavaClassRegistry when notifying about class change.
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff changeset
     3
#
fad6365a2e15 Fix in JavaClassRegistry when notifying about class change.
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff changeset
     4
# make uses this file (Makefile) only, if there is no
fad6365a2e15 Fix in JavaClassRegistry when notifying about class change.
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff changeset
     5
# file named "makefile" (lower-case m) in the same directory.
fad6365a2e15 Fix in JavaClassRegistry when notifying about class change.
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff changeset
     6
# My only task is to generate the real makefile and call make again.
fad6365a2e15 Fix in JavaClassRegistry when notifying about class change.
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff changeset
     7
# Thereafter, I am no longer used and needed.
fad6365a2e15 Fix in JavaClassRegistry when notifying about class change.
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff changeset
     8
#
fad6365a2e15 Fix in JavaClassRegistry when notifying about class change.
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff changeset
     9
# MACOSX caveat:
fad6365a2e15 Fix in JavaClassRegistry when notifying about class change.
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff changeset
    10
#   as filenames are not case sensitive (in a default setup),
fad6365a2e15 Fix in JavaClassRegistry when notifying about class change.
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff changeset
    11
#   we cannot use the above trick. Therefore, this file is now named
fad6365a2e15 Fix in JavaClassRegistry when notifying about class change.
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff changeset
    12
#   "Makefile.init", and you have to execute "make -f Makefile.init" to
fad6365a2e15 Fix in JavaClassRegistry when notifying about class change.
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff changeset
    13
#   get the initial makefile.  This is now also done by the toplevel CONFIG
fad6365a2e15 Fix in JavaClassRegistry when notifying about class change.
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff changeset
    14
#   script.
fad6365a2e15 Fix in JavaClassRegistry when notifying about class change.
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff changeset
    15
fad6365a2e15 Fix in JavaClassRegistry when notifying about class change.
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff changeset
    16
.PHONY: run
fad6365a2e15 Fix in JavaClassRegistry when notifying about class change.
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff changeset
    17
fad6365a2e15 Fix in JavaClassRegistry when notifying about class change.
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff changeset
    18
run: makefile
fad6365a2e15 Fix in JavaClassRegistry when notifying about class change.
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff changeset
    19
	$(MAKE) -f makefile
fad6365a2e15 Fix in JavaClassRegistry when notifying about class change.
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff changeset
    20
fad6365a2e15 Fix in JavaClassRegistry when notifying about class change.
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff changeset
    21
#only needed for the definition of $(TOP)
fad6365a2e15 Fix in JavaClassRegistry when notifying about class change.
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff changeset
    22
include Make.proto
fad6365a2e15 Fix in JavaClassRegistry when notifying about class change.
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff changeset
    23
fad6365a2e15 Fix in JavaClassRegistry when notifying about class change.
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff changeset
    24
makefile: mf
fad6365a2e15 Fix in JavaClassRegistry when notifying about class change.
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff changeset
    25
fad6365a2e15 Fix in JavaClassRegistry when notifying about class change.
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff changeset
    26
mf:
fad6365a2e15 Fix in JavaClassRegistry when notifying about class change.
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff changeset
    27
	$(TOP)/rules/stmkmf