Makefile
author Stefan Vogel <sv@exept.de>
Fri, 20 Jan 2017 19:59:28 +0100
changeset 21267 4c1185a27941
parent 15137 e7104b6ad825
child 18053 e0683b878c4c
permissions -rw-r--r--
#BUGFIX by stefan class: Collection comment/format in: #union: #xor: changed: # #difference: #intersect: #select: (send #speciesForAdding instead of #species) make set operations work with Dictionaries
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