You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
echo "deb [signed-by=/usr/share/keyrings/souffle-archive-keyring.gpg] https://souffle-lang.github.io/ppa/ubuntu/ stable main" | sudo tee /etc/apt/sources.list.d/souffle.list
18
+
sudo apt update
19
+
sudo apt install souffle
18
20
```
19
21
20
-
Then to install souffle itself
22
+
These steps install the signing key for the repository as well as adding the repository details to the package manager. The packages are built using Ubuntu 20.04 and are compatible with that and later releases. Older editions of Ubuntu will require building from source.
Packages built using Oracle Linux 8 are likely to be compatible with related OS installs such as CentOS8. If the installation fails, souffle will need to be built from source.
0 commit comments