Installing Codac v1 on Linux for C++ use

Install from package (latest release, for Ubuntu (amd64, arm64), Debian (arm64, armhf) and possibly others)

A Debian package is available for the last release 1.5.6 of the library:

sudo sh -c 'echo "deb [trusted=yes] https://packages.ensta-bretagne.fr/$(if [ -z "$(. /etc/os-release && echo $UBUNTU_CODENAME)" ]; then echo debian/$(. /etc/os-release && echo $VERSION_CODENAME); else echo ubuntu/$(. /etc/os-release && echo $UBUNTU_CODENAME); fi) ./" > /etc/apt/sources.list.d/ensta-bretagne.list'
sudo apt update
sudo apt install libcodac-dev

Then, check your installation with the instructions of this page.

Warning

URL changed: Please uninstall before.

Note

To uninstall Codac, you might want to do the following:

sudo apt remove libcodac-dev libibex-dev
sudo rm -f /etc/apt/sources.list.d/ensta-bretagne.list
sudo apt update

Note also that libeigen3-dev might have been installed as a dependency of Codac but might be also used by other software. You might want to keep it.

Note

Standalone archives exist also for all the supported configurations, e.g. for a Raspberry Pi running Raspberry Pi OS Bookworm 32 bit, download and extract codac_standalone_armhf_bookworm.zip from https://github.com/codac-team/codac/releases/latest/, then in the example folder run:

cmake . ; cmake --build . ; ./my_project

and check that “My first tube:Tube [0, 10]” appears.

Install from sources (latest development of v1)

In case you prefer the latest development version, Codac can be installed by compiling the sources.

Requirements

Codac uses several features of the IBEX library that you have to install first. The last version of IBEX is maintained on this unofficial development repository:

# Requirements to compile IBEX and Codac
sudo apt-get install -y g++ gcc flex bison cmake git libeigen3-dev

# Download IBEX sources from GitHub
git clone -b master https://github.com/lebarsfa/ibex-lib.git

# Configure IBEX before installation
cd ibex-lib
mkdir build && cd build
cmake ..

# Building + installing
make
sudo make install
cd ../..

For further CMake options, please refer to the IBEX documentation.

Warning

GAOL prerequisite: On some platforms, you might need to install manually MathLib and GAOL with CMake and specify where they are to build IBEX successfully and have accurate computations.

Debug/development mode

Note that the -DCMAKE_BUILD_TYPE=Debug option will slightly slow down your computations, but display useful error messages in case of failure conditions such as access violations. It is highly recommended for your developments. To use it:

cmake -DCMAKE_BUILD_TYPE=Debug ..

Building the Codac library

The last sources are available on the official Codac development repository. You can download the files and compile the sources with:

# The codac directory can be placed in your home, same level as IBEX
git clone https://github.com/codac-team/codac   # download the sources from GitHub
cd codac                                        # move to the Codac directory
git checkout codac1                             # will use latest version of Codac1
git submodule init ; git submodule update       # get pybind11 submodule
mkdir build ; cd build ; cmake .. ; make        # build the sources
sudo make install                               # install the library
cd ..                                           # back to the root of Codac

Compiling the examples

To compile one specific example, use CMake in the example directory. For instance:

cd examples/basics/01_arithmetic                # moving to the example directory
mkdir build -p ; cd build ; cmake .. ; make     # cmake compilation
./codac_basics_01                               # running example

Do not forget to launch the VIBes viewer before running your program.

(for experts) Additional installation options

CMake supports the following options:

Option

Description

CMAKE_INSTALL_PREFIX

By default, the library will be installed in system files (/usr/local/ under Linux). Use CMAKE_INSTALL_PREFIX to specify another path.

Example:

cmake -DCMAKE_INSTALL_PREFIX=$HOME/codac/build_install ..

Warning

The full path of the folder must not contain white space or weird characters like '"\()`*[].

CMAKE_BUILD_TYPE

Set the build mode either to Release or Debug.

Default value is Debug. Example:

cmake -DCMAKE_BUILD_TYPE=Release ..

The -DCMAKE_BUILD_TYPE=Debug option is enabled by default. As for IBEX, it will slightly slow down your computations, but display useful error messages in case of failure conditions such as access violations. It is highly recommended for your developments. You can otherwise use the -DCMAKE_BUILD_TYPE=Release option. Note also that O3 optimizations are always activated.

Once Codac has been compiled with this option, you should also compile your executable in debug mode.

CMAKE_PREFIX_PATH

If IBEX has been installed in a local folder, say ~/ibex-lib/build_install, you need to indicate this path using the CMAKE_PREFIX_PATH option.

Example:

cmake -DCMAKE_PREFIX_PATH=$HOME/ibex-lib/build_install ..

Custom install directory of IBEX and Codac

A convenient way to refer to custom install directories for IBEX and/or Codac is to export the CMAKE_PREFIX_PATH environment variable. For instance:

export CMAKE_PREFIX_PATH=$CMAKE_PREFIX_PATH:$HOME/ibex-lib/build_install
export CMAKE_PREFIX_PATH=$CMAKE_PREFIX_PATH:$HOME/codac/build_install