[makedoc]

[makedoc]

[makedoc]

In the future we might make --no-mpi the default choice

[makedoc]

In this manner quotes are not required in -D
making its syntax simpler

[makedoc]

With -hrex, there was a term missing in the acceptance. This
is fixed now.

This cpp macro allows one to set a default path for the PLUMED_KERNEL.

Useful while patching in macports

I fixed a complain of cppcheck which discourage using
find()==0

This will allow upgrading to latest cppcheck.

[makedoc]

I changed the scripts to build the manual (and the vim script stuff) so that
they always use the locally compiled plumed. I think this is more consistent,
especially when one has already installed plumed and is installing it
again to a new location.

useful for macports

[makedoc]

I implemented a shell-only tool "plumed config"

This tool can be used to probe the src/config/config.txt
configuration file.

So far it can be used e.g. as
plumed config has mpi
to enquire for an enabled feature.

It has some advantage wrt the --has-xxx options:

1. It is based on file src/config/config.txt,
which parses configure.ac and header files to find possible -D
and Makefile.conf to find activated -D.
This means that it is not necessary to manually
edit the src/config/Config.h and src/core/CLToolsMain.cpp
file to add new defines

2. it is shell only, thus works in cross compiled environment

This is a textual file that contains all the configuration info.

It should be easier to parse from scripts.

[makedoc]

Now works also when plumed has been installed with a different name