equal
deleted
inserted
replaced
62 # a <TODO> mark) |
62 # a <TODO> mark) |
63 # RELEASE: this will be the released version number. It replaces all places |
63 # RELEASE: this will be the released version number. It replaces all places |
64 # where it normally would print the revision number |
64 # where it normally would print the revision number |
65 # MIDI: if set, it will use it as custom path to midi player. |
65 # MIDI: if set, it will use it as custom path to midi player. |
66 # If unset, it will use the hardcoded path in the c code |
66 # If unset, it will use the hardcoded path in the c code |
67 # NOVERBOSE: supress all warnings and errors during compilation. |
|
68 # It looks nicer, but you will not know what went wrong. Use it on released (stable) sources only |
|
69 # VERBOSE: actually show the commands used for compilation. |
67 # VERBOSE: actually show the commands used for compilation. |
70 # WITH_NETWORK: enable networking |
68 # WITH_NETWORK: enable networking |
71 # DEDICATED: allows compilation on UNIX without SDL. Useful for dedicated servers |
69 # DEDICATED: allows compilation on UNIX without SDL. Useful for dedicated servers |
72 # |
70 # |
73 # Paths: |
71 # Paths: |
118 |
116 |
119 # Makefile version tag |
117 # Makefile version tag |
120 # it checks if the version tag in makefile.config is the same and force update outdated config files |
118 # it checks if the version tag in makefile.config is the same and force update outdated config files |
121 MAKEFILE_VERSION:=6 |
119 MAKEFILE_VERSION:=6 |
122 |
120 |
123 # CONFIG_WRITER have to be found even for manual configuration |
121 # CONFIG_WRITER has to be found even for manual configuration |
124 CONFIG_WRITER=makefiledir/Makefile.config_writer |
122 CONFIG_WRITER=makefiledir/Makefile.config_writer |
125 |
123 |
126 ifndef MANUAL_CONFIG |
124 ifndef MANUAL_CONFIG |
127 # Automatic configuration |
125 # Automatic configuration |
128 MAKE_CONFIG:=Makefile.config |
126 MAKE_CONFIG:=Makefile.config |