Before you start you should install the folloging tools on your system:
- git
- cmake
- conan
- a C++ compiler (gcc, mingw, visual-C++, xcode, ...)
- ninja
- If building on linux, you should install gtk libraries.
Instructions to install these tools should be easy to find.
Clone the repository using ssh
git clone git@github.com:dasys-lab/clingo-debug-gui.git
or https
git clone https://github.com/dasys-lab/clingo-debug-gui.git
If you use jetbrains Clion you can open the project and everything should simply work.
To build the project manually input the following commands one after the other:
If you want to use ninja as build system
# linux and mac:
mkdir build && cd build
cmake -G Ninja ..
cmake --build
cd ..
If you want to use the default build system:
# linux and mac:
mkdir build && cd build
cmake ..
cmake --build
cd ..
If no errors occure this should be it.
Execute using Linux or MacOS
./build/ClingDebugGui
Execute using Windows
build\ClingoDebugGui.exe
Please ignore Gtk-Warnings, as they are normal and should mostly be the absence of themes.
This should not be neccesary since the settings are in the repository, but if it does not work you can set it manually.
You can set Clion to generate ninja files if the version of Clion is newer that 2019.3. To do this you have to go to the clion settings via "File" -> "Settings" and navigate to "Build, Execution, Deployment" -> "CMake" and find the text input with the Label: "CMake Options". In there you have to add the following flag:
-G Ninja
If you built the project before changing this you should clear the build directory or simply delete it.