mikucionisaau / uutils

The (spookiest) UPPAAL utility library

UUtils

Library for miscellaneous utilities used in UDBM, UCDD and others.

Dependencies

UUtils depend on tools like git, cmake, ninja/make and a compiler installed:

sudo apt-get -y install git cmake ninja-build make gcc g++

UUtils also depends on libraries xxHash, doctest, benchmark, boost, which can be preinstalled using getlibs.sh script or just run the build commands bellow where cmake will download and compile the libraries on demand.

Build, Test and Install

git clone https://github.com/UPPAALModelChecker/UUtils
cmake -S UUtils -B build
cmake --build build
(cd build ; ctest --output-on-failure)
sudo cmake --install build

That's it!

To compile for multiple targets while reusing dependencies use compile.sh script:

git clone https://github.com/UPPAALModelChecker/UUtils
./UUtils/compile.sh linux64-libs-release linux64-libs-debug win64-libs-release win64-libs-debug