sail/.github/workflows, branch sail2 Formal specification language for ISAs Add a workflow for latest released ocaml 2020-06-03T13:36:00+00:00 Alasdair 2020-06-03T13:36:00+00:00 dc4fe34905891510b7fd7d3b9fb86af49ce89879 






Add m4 to 18.04 install
2020-06-02T14:41:49+00:00

Alasdair

2020-06-02T14:41:49+00:00

ec500f1ce28656fca7d7c1ab8304d5d5a7dffc5b

It previously installed fine via the build-essential package, so no idea
what changed! Plus 20.04 works fine with just build-essential





It previously installed fine via the build-essential package, so no idea
what changed! Plus 20.04 works fine with just build-essential







Add ubuntu 20.04 workflow
2020-06-02T14:23:36+00:00

Alasdair

2020-06-02T14:23:36+00:00

62038e2448520ad8d1e352b1d5f9ca9dc7306364












Try to fix Github CI
2020-05-27T14:19:07+00:00

Thomas Bauereiss

2020-05-27T14:18:56+00:00

4525d78142cba80c4f4daaeca79426368f26e77e

Add opam PPA when building on Ubuntu to get opam v2.





Add opam PPA when building on Ubuntu to get opam v2.







Add github actions to build on macOS and ubuntu
2019-12-11T18:19:56+00:00

Alasdair Armstrong

2019-12-11T16:35:54+00:00

0c3ae8f4beea29f524247eea27884b07e0ec238e

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...





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...