Download and Compile Cheddar

In this page, you can find instructions to download and compile Cheddar from the source code on Linux and Windows.

Linux

Required software

To checkout the source code and compile Cheddar, the following software are required:

  • GNAT compiler GPL, we recommend using GNAT 2021 available on the AdaCore website https://www.adacore.com/download/more
  • GtkAda 2021, also available on the AdaCore website above
  • A svn client is necessary. The default subversion works fine on Linux

The instructions have been applied to compile Cheddar on Ubuntu 20.04 64 bits. Please contact us if you encounter problems on other Linux distributions.

Steps to follow

  1. Checkout Cheddar source code - the trunk folder on the svn repository http://beru.univ-brest.fr/svn/CHEDDAR/trunk/
  2. Install GNAT 2021
  3. Install GtkAda 2021
  4. Move to [CHEDDAR]/trunk/src with [CHEDDAR] is the folder used to checkout the Cheddar source code
  5. Edit "script/compilelinux.bash" in the script folder according to:
    • Cheddar source code location – CHEDDAR_DIR
    • Your GNAT installation – variable GNAT_DIR
    • Your GtkAda installation – variable GTKADA_DIR
  6. Run “source script/compilelinux.bash”
  7. Run “make cheddar” to produce cheddar binary. One compiled, you should have a binary either called “cheddar” and you can then run it from the directory where the binary is stored

Example

This is just an example, you need to adapt CHEDDAR_DIR, GNAT_DIR, and GTKADA according to your installation

  • The trunk repository is checked out at /home/user/cheddar/trunk
  • GNAT is installed at /opt/gnat2021
  • GtkAda is installed at /opt/gtkada2021

File: compilelinux.bash 

    export CHEDDAR_DIR=/home/user/cheddar/trunk
    export GNAT_DIR=/opt/gnat2021
    export GTKADA_DIR=/opt/gtkada2021

Commands to compile and run Cheddar in the terminal

    $: cd /home/user/cheddar/trunk/src
    $: source script/compilelinux.bash
    $: make cheddar
    (...compilation, can take a while)
    $ : ./cheddar

Windows

To compile Cheddar with Windows:

  1. Checkout Cheddar source code from its SVN repository. Official source code is in the "trunk" folder.
  2. Install GNAT 2021.
  3. Install GtkAda for GNAT 2021.
  4. Launch windows "cmd" command
  5. Move to CHEDDAR/trunk/src/scripts
  6. Edit "compilewindows.bat" according to your GNAT, GtkAda and Cheddar source code installation location
  7. Run "compilewindows.bat"
  8. Go back to CHEDDAR/trunk/src
  9. Run "gnatmake –Pgpr/gprfilename" where gprfilename is the gpr file you want to compile. To produce cheddar, the gpr file for windows is "gpr/cheddar.gpr"

Virtual Box

To compile Cheddar in a prepared Virtual Box image:

  1. Install Virtual Box
  2. Download the Cheddar virtual hard disk file: http://beru.univ-brest.fr/vbox/CHEDDAR_DEV.vdi
  3. Create a new Ubuntu 64-bit virtual machine, and load the cheddar_dev.vdi
  4. Start the virtual machine
  5. Select keyboard layout (french by default) and connect: password and login are both "cheddar"
  6. Open a terminal and go to the directory contained the Cheddar source (~/cheddar/trunk/src)
  7. Do "source script/compilelinux.bash" to setup the environment
  8. Do "make" to compile (or "make cheddar" if you just want the Cheddar GUI binary)