Makefile
author Jan Vrany <jan.vrany@labware.com>
Tue, 01 Jun 2021 20:19:13 +0100
branchjv
changeset 25424 51bd8a6b196f
parent 18053 e0683b878c4c
permissions -rw-r--r--
Cherry-picked `Context` cherry-picked Context.st from a6b6dda4caff: * 4aaf30c174e9: #DOCUMENTATION by cg, Claus Gittinger <cg@exept.de> * c67311afcc6c: #OTHER by cg, Claus Gittinger <cg@exept.de> * 883f79e7b2a6: #FEATURE by cg, Claus Gittinger <cg@exept.de> * 716f3fbb09e9: Don't mark contexts with `CATCHMARK`, Jan Vrany <jan.vrany@fit.cvut.cz> * cff24fa817b0: #REFACTORING by stefan, Stefan Vogel <sv@exept.de> * 521f0d837330: #UI_ENHANCEMENT by cg, Claus Gittinger <cg@exept.de> * bf1118f0fcca: #UI_ENHANCEMENT by cg, Claus Gittinger <cg@exept.de> * e587cdd22868: #BUGFIX by cg, Claus Gittinger <cg@exept.de> * fe9f9487a3ed: #DOCUMENTATION by cg, Claus Gittinger <cg@exept.de> * d5b781899274: #BUGFIX by cg, Claus Gittinger <cg@exept.de> * 8258751a7465: #FEATURE by cg, Claus Gittinger <cg@exept.de> * 40173e082cbc: Copyright updates, Jan Vrany <jan.vrany@fit.cvut.cz> * 6db5c28207d5: #UI_ENHANCEMENT by cg, Claus Gittinger <cg@exept.de> * 871ea64fd5dc: #FEATURE by cg, Claus Gittinger <cg@exept.de> * 4b544a108e4e: #DOCUMENTATION by cg, Claus Gittinger <cg@exept.de> * 9a8d8399e566: #FEATURE by cgexept.de, Claus Gittinger <cg@exept.de> * 170b00be0103: #BUGFIX by stefan, Stefan Vogel <sv@exept.de> * a6c73965eae8: #FEATURE by cg, Claus Gittinger <cg@exept.de> * ce2a0e462ff0: #FEATURE by cg, Claus Gittinger <cg@exept.de> * 46a260a9ca92: #FEATURE by cg, Claus Gittinger <cg@exept.de> * 46cab49167fb: #UI_ENHANCEMENT by exept, Claus Gittinger <cg@exept.de> * 7d52dfd3997d: #DOCUMENTATION by exept, Claus Gittinger <cg@exept.de> * c52eeea62763: Fix `Context >> argAndVarNames` in cases when debug info is not available, Jan Vrany <jan.vrany@labware.com> * b5d6963fe4a9: Backed out changeset c52eeea62763, Jan Vrany <jan.vrany@labware.com> * 6fd3896f8703: #FEATURE by exept, Claus Gittinger <cg@exept.de> * b530ee616256: #REFACTORING by cg, Claus Gittinger <cg@exept.de> * ef9b481d7498: #FEATURE by cg, Claus Gittinger <cg@exept.de> * ea663b72bd51: #UI_ENHANCEMENT by cg, Claus Gittinger <cg@exept.de> * 6179572a733c: #FEATURE by exept, Claus Gittinger <cg@exept.de> * 84155b1b6622: #DOCUMENTATION by exept, Claus Gittinger <cg@exept.de> * 37d06602d856: *** empty log message ***, Claus Gittinger <cg@exept.de> * f927b9022fea: *** empty log message ***, Claus Gittinger <cg@exept.de> * 427d3be62d97: #UI_ENHANCEMENT by exept, Claus Gittinger <cg@exept.de>
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
9027
sr
parents:
diff changeset
     1
#
15137
e7104b6ad825 automatically generated by browser
Stefan Vogel <sv@exept.de>
parents: 14927
diff changeset
     2
# DO NOT EDIT
e7104b6ad825 automatically generated by browser
Stefan Vogel <sv@exept.de>
parents: 14927
diff changeset
     3
#
e7104b6ad825 automatically generated by browser
Stefan Vogel <sv@exept.de>
parents: 14927
diff changeset
     4
# make uses this file (Makefile) only, if there is no
e7104b6ad825 automatically generated by browser
Stefan Vogel <sv@exept.de>
parents: 14927
diff changeset
     5
# file named "makefile" (lower-case m) in the same directory.
e7104b6ad825 automatically generated by browser
Stefan Vogel <sv@exept.de>
parents: 14927
diff changeset
     6
# My only task is to generate the real makefile and call make again.
e7104b6ad825 automatically generated by browser
Stefan Vogel <sv@exept.de>
parents: 14927
diff changeset
     7
# Thereafter, I am no longer used and needed.
9027
sr
parents:
diff changeset
     8
#
15137
e7104b6ad825 automatically generated by browser
Stefan Vogel <sv@exept.de>
parents: 14927
diff changeset
     9
e7104b6ad825 automatically generated by browser
Stefan Vogel <sv@exept.de>
parents: 14927
diff changeset
    10
.PHONY: run
e7104b6ad825 automatically generated by browser
Stefan Vogel <sv@exept.de>
parents: 14927
diff changeset
    11
e7104b6ad825 automatically generated by browser
Stefan Vogel <sv@exept.de>
parents: 14927
diff changeset
    12
run: makefile
e7104b6ad825 automatically generated by browser
Stefan Vogel <sv@exept.de>
parents: 14927
diff changeset
    13
	$(MAKE) -f makefile
e7104b6ad825 automatically generated by browser
Stefan Vogel <sv@exept.de>
parents: 14927
diff changeset
    14
e7104b6ad825 automatically generated by browser
Stefan Vogel <sv@exept.de>
parents: 14927
diff changeset
    15
#only needed for the definition of $(TOP)
14927
bd3e16b12e11 removed via FileBrowser
Claus Gittinger <cg@exept.de>
parents: 14823
diff changeset
    16
include Make.proto
9027
sr
parents:
diff changeset
    17
14823
63eb290a5988 automatically generated by browser
Claus Gittinger <cg@exept.de>
parents: 13432
diff changeset
    18
makefile: mf
63eb290a5988 automatically generated by browser
Claus Gittinger <cg@exept.de>
parents: 13432
diff changeset
    19
63eb290a5988 automatically generated by browser
Claus Gittinger <cg@exept.de>
parents: 13432
diff changeset
    20
mf:
13432
4327f19a7eb5 automatically generated by browser
Claus Gittinger <cg@exept.de>
parents: 12441
diff changeset
    21
	$(TOP)/rules/stmkmf