Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom

copilot: Add installation instructions for Fedora 40 and up. Refs #542. #548

Open
wants to merge 2 commits into
base: master
Choose a base branch
from
Open

copilot: Add installation instructions for Fedora 40 and up. Refs #542. #548

Show file tree
Hide file tree
Changes from all commits
Commits
Show all changes
2 commits
Select commit Hold shift + click to select a range
2fbe5d2
copilot: Add installation instructions for Fedora 40 and up. Refs #542.
fdedden Oct 14, 2024
1df4aa9
copilot: Document changes in CHANGELOG. Refs #542.
fdedden Oct 22, 2024
File filter

Filter by extension

Filter by extension
Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
1 change: 1 addition & 0 deletions copilot/CHANGELOG
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -4,6 +4,7 @@
* Make the what4-propositional example's comments match results. (#535)
* Add example describing how to implement updateField. (#525)
* Standardize changelog format. (#550)
* Add installation instructions for Fedora 40 and up. (#542)

2024-09-07
* Version bump (4.0). (#532)
Expand Down
19 changes: 19 additions & 0 deletions copilot/README.md
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -76,6 +76,25 @@ It should end with a line like the following and not print any error messages:
ghci> ghci> Leaving GHCi.
```

### Fedora 40

On Fedora 40 or newer, Copilot can be installed directly from the package
repositories with:

```sh
$ sudo dnf install ghc-copilot-devel
```

To test that Copilot is available, execute the following:
```sh
$ ghci <<< 'import Language.Copilot'
```

It should end with a line like the following and not print any error messages:
```sh
ghci> ghci> Leaving GHCi.
```

### Other Linux distributions

On other Linux distributions or older Debian-based distributions, to use
Expand Down