| Age | Commit message (Collapse) | Author | |
|---|---|---|---|
| 2020-11-19 | Specifically note that Ubuntu 18.04 needs a new opam | Brian Campbell | |
| 2020-10-29 | Update INSTALL.md | Alasdair Armstrong | |
| 2020-08-01 | tweak overview pic | pes20 | |
| 2020-06-16 | Update INSTALL.md | Alasdair Armstrong | |
| 2020-04-01 | Update INSTALL.md | Alasdair Armstrong | |
| Mention robert's workaround for z3 on WSL | |||
| 2020-02-12 | made list of required ubuntu packages complete | jp | |
| 2019-12-18 | Update INSTALL.md with feedback from Patrick Taylor on MacOS | Robert Norton | |
| 2019-12-11 | Add github actions to build on macOS and ubuntu | Alasdair Armstrong | |
| This commit adds two github action to build Sail on macOS and ubuntu (both using the latest version of each for now). These just build and don't run any tests, as we run those on our own Jenkins server which is much faster than the github build runners. I also fixed INSTALL.md to include brew installing pkg-config on macOS as this seems to be required. From testing on a personal fork it seems quite email happy when it fails. Maybe that's what we want though. There's also a windows option but I leave that as future work... | |||
| 2019-12-04 | Another word. | Robert Norton | |
| 2019-12-04 | Re-direct building link. | Robert Norton | |
| 2019-12-04 | Move building from source instructions from wiki into repo and update links. ↵ | Robert Norton | |
| Other minor tweaks. | |||
| 2019-12-04 | Make INSTALL.md in repo canonical and make some tweaks (will now redirect ↵ | Robert Norton | |
| the wiki page). | |||
| 2019-05-22 | Use opam instructions in INSTALL.md | Alasdair Armstrong | |
| Move the instructions to build everything from source to the wiki | |||
| 2019-05-22 | Fix: Update INSTALL.md with opam switch instructions | Alasdair Armstrong | |
| 2019-01-21 | Fix typo in install instructions | Alasdair Armstrong | |
| 2018-11-29 | Update install instructions. | Prashanth Mundkur | |
| 2018-07-28 | Update INSTALL.md | hirataqdees | |
| adding sail's installation steps for macOS | |||
| 2018-07-24 | Fix a tiny typo in INSTALL.md | Georgy Lukyanov | |
| 2018-05-30 | Fix typo in install instructions | Alasdair Armstrong | |
| 2018-05-30 | Update INSTALL.md | Alasdair Armstrong | |
| Some tweaks to installation instructions for latest OCaml versions (4.05 and 4.06) | |||
| 2018-02-17 | Add a note detailing hopefully up-to-date install process | Alasdair Armstrong | |
 |
index : sail | |
| Formal specification language for ISAs |
| summaryrefslogtreecommitdiff |
path: root/INSTALL.md