Age | Commit message (Collapse) | Author |
|
|
|
|
|
|
|
This introduce config_host.mk and config_build.mk
generated from config_host.mk.in
The intent is for that file to be both sourcable in a shell and includable
in a gnu Makefile.
Eventually all the environment set-up will be in config_host.mk.in
and so there won't be a need to source anything in shell before make.
|
|
Only when given --with-outpath the IDs include projects/$INPATH/inc (also
solver/$INPATH/inc)
|
|
|
|
|
|
Commit 22d9caecc978a5739ddd1430fd26abe06454726c renames the
environment file to always be Env.Host.sh. Reflecting that in the
shell scripts attempting to source it.
|
|
* make id: create GNU idutils symbol lookup index
* make tags: create ctags index file (c++, java, html)
* make docs: create doxygen-style documentation below docs/
|