Skip to content

Just a little clean-up of the README#56

Open
didriklundberg wants to merge 4 commits into
mainfrom
dev_readme
Open

Just a little clean-up of the README#56
didriklundberg wants to merge 4 commits into
mainfrom
dev_readme

Conversation

@didriklundberg
Copy link
Copy Markdown
Member

No description provided.

Copy link
Copy Markdown
Contributor

@palmskog palmskog left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

@didriklundberg isn't this a good time to skip the instructions about opam? If p4Script.sml is in version control, most people probably do not want to bother with Ott. There could be some separate instructions to "regenerate Ott file" or similar, unrelated to INSTALL.md.

@didriklundberg didriklundberg changed the title Just a litte clean-up of the README Just a little clean-up of the README May 11, 2026
@didriklundberg
Copy link
Copy Markdown
Member Author

@didriklundberg isn't this a good time to skip the instructions about opam? If p4Script.sml is in version control, most people probably do not want to bother with Ott. There could be some separate instructions to "regenerate Ott file" or similar, unrelated to INSTALL.md.

opam is needed for petr4, which we need in order to import .p4 programs.

Do you think that the current arrangement of Ott installation in an optional step is fine, or should it fall under a separate subsection?

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants