Skip to content

Latest commit

 

History

History
25 lines (22 loc) · 1.04 KB

README.md

File metadata and controls

25 lines (22 loc) · 1.04 KB
Raw

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
ctest --test-dir build --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