lucasra1 / clingo-debug-gui

clingo-debug-gui

Prerequisites

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.

Installing this software

Clone the repository using ssh

git clone [e-mail]:dasys-lab/clingo-debug-gui.git

or https

git clone https://github.com/dasys-lab/clingo-debug-gui.git

Building:

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.

Executing ClingoDebugGui

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.

Tweaks for Clion

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.