`copilot`: Update README with new installation process in Fedora

Copilot-Language / copilot

A stream-based runtime-verification framework for generating hard real-time C code.

http://copilot-language.github.io

658 stars 55 forks source link

Closed ivanperez-keera closed 1 week ago

ivanperez-keera commented 1 month ago

Description

Copilot is now available in Fedora 40, which makes installation much easier for users on that platform.

The installation instructions should be updated to reflect the simpler installation process for users on that platform.

Type

Additional context

None.

Requester

Method to check presence of bug

Not applicable (issue in documentation).

Expected result

The README contains installation instructions that work with Fedora 40.

Desired result

The README contains installation instructions that work with Fedora 40.

Proposed solution

Further notes

None.

ivanperez-keera commented 1 month ago

Change Manager: Confirmed that the issue exists.

ivanperez-keera commented 1 month ago

Technical Lead: Confirmed that the issue should be addressed.

ivanperez-keera commented 1 month ago

Technical Lead: Issue scheduled for fixing in Copilot 4.1.

Fix assigned to: @fdedden .

fdedden commented 3 weeks ago

Implementor: Solution implemented, review requested.

ivanperez-keera commented 1 week ago

Change Manager: Verified that:

Solution is implemented:
- [X] The code proposed compiles and passes all tests. Details: Build log: https://app.travis-ci.com/github/Copilot-Language/copilot/builds/272910236
- [X] The solution proposed produces the expected result. Details: The following dockerfile checks that Copilot can be installed following the instructions in the README, after which it prints the message "Success". We specifically check that GHC is also installed and that Copilot can later be found:
```
FROM fedora:40
```
RUN dnf -y install ghc-copilot-devel RUN runhaskell <<< 'import Language.Copilot; main = putStrLn "Success"'
```
This docker file contains no `CMD`, so building the image is enough to check.
```
[X] Implementation is documented. Details: Change is to the documentation.
[X] Change history is clear.
[X] Commit messages are clear.
[X] Changelogs are updated.
[X] Examples are updated. Details: No updates needed. Change is to the README.
[X] Required version bumps are evaluated. Details: No bump needed. Change is to the README.

ivanperez-keera commented 1 week ago

Change Manager: Implementation ready to be merged.