4.1 Adding or updating a module

Each module is included in the benchmark repository as a git submodule. This module is fixed at a particular commit (example).

Adding a submodule

REMOTE=git@…
SUBMODULE_PATH=modules/…
git submodule init $REMOTE $SUBMODULE_PATH

Updating a module is currently not so straightforward as I would like:

# first clone the repository
git clone https://github.com/komparo/tde.git
cd tde

# init the submodule, update it and pull the latest version
SUBMODULE_PATH=…
git submodule init
git submodule update $SUBMODULE_PATH
pushd $SUBMODULE_PATH
git pull
popd

# commit the new pointer to the submodule
git add $SUBMODULE_PATH
git commit -m "updated submodule"