Skip to content

Commit cecf8df

Browse files
authored
Extend package installation instructions
1 parent c5688d4 commit cecf8df

File tree

1 file changed

+22
-5
lines changed

1 file changed

+22
-5
lines changed

pages/docs/install.md

Lines changed: 22 additions & 5 deletions
Original file line numberDiff line numberDiff line change
@@ -10,17 +10,34 @@ You can build and install Soufflé following the instructions from [Build Souffl
1010

1111
## Debian/Ubuntu Systems
1212

13-
For Debian systems, the latest release version of Soufflé can be installed from the PackageCloudIO,
13+
For Debian-based systems, the latest release version of Soufflé can be installed from the souffle-lang repository,
1414

15-
Execute PackageCloudIO's script
1615
```
17-
curl -s https://packagecloud.io/install/repositories/souffle-lang/souffle/script.deb.sh | sudo bash
16+
sudo wget https://souffle-lang.github.io/ppa/souffle-key.public -O /usr/share/keyrings/souffle-archive-keyring.gpg
17+
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
1820
```
1921

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.
23+
24+
## Fedora
25+
2126
```
22-
sudo apt-get install souffle
27+
dnf install https://souffle-lang.github.io/ppa/fedora/36/x86_64/souffle.fedora36repo.rpm
28+
dnf install souffle
29+
````
30+
Packages are built using Fedora 36 and are compatible with that and later releases. Older editions of Fedora will require building from source.
31+
32+
33+
## Oracle Linux 8
34+
2335
```
36+
dnf install https://souffle-lang.github.io/ppa/ol/8/x86_64/souffle.ol8repo.rpm
37+
dnf install souffle
38+
````
39+
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.
40+
2441
2542
## MAC OS X
2643

0 commit comments

Comments
 (0)