How to build Tapenade
=====================

Creating a new tapenade sources directory
-----------------------------------------

`git clone git@gitlab.inria.fr:tapenade/tapenade.git`

Building Tapenade from sources in tapenade directory
----------------------------------------------------

`cd tapenade`

`./gradlew`

Building a tar distribution
---------------------------

See executable and upload jobs in `.gitlab-ci.yml`

Building a docker image
-----------------------

See dockerimage job in `.gitlab-ci.yml`