search

rems-project / sail

Sail architecture definition language
Other
617 stars 112 forks source link

typo in /sail/wiki/OPAMinstall instructions #48

Open marniedunsmore opened 5 years ago

marniedunsmore commented 5 years ago

ln the opam sail install instructions here:

https://github.com/rems-project/sail/wiki/OPAMInstall

"opam switch 4.06."

should be changed to

"opam switch create 4.06.1"

rmn30 commented 5 years ago

That's new to us. What version of opam are you using? We have tested using opam 1.2.2 which is the version that is packaged in Ubuntu 18.04. Since then opam 2 was release and we have not tested with it.

rmn30 commented 5 years ago

Did you get the instructions to work using opam 2 and above command? If so we will document it. We are still using opam 1.2.2 repository format for our custom repo.

Alasdair commented 5 years ago

Afaik opam 2.0+ should support the 1.2.2 repository format. Provided opam 2.0 still works with the packages it's probably worth us continuing to use the older format as at least Ubuntu 16.04 LTS and Debian stable both only have opam 1.2.2

I think we should probably also release some more up-to-date packages next week.

marniedunsmore commented 5 years ago

message to rmn30:

Yes, I am using opam 2.0.4. When I typed

opam switch 4.06

it prompted me, asking instead for

opam switch create 4.06

Anyway, no big deal. I was able to get sail downloaded.

marniedunsmore commented 5 years ago

message to Alasdair:

I'm looking forward to the updated packages.