From 827e07522a6e652b9b75c9e02bf2f8422f753250 Mon Sep 17 00:00:00 2001 From: Kakadu Date: Fri, 12 Feb 2021 23:46:46 +0300 Subject: [PATCH] Added initial CI workflow Signed-off-by: Kakadu --- .github/workflows/blank.yml | 40 +++++++++++++++++++++++++++++++++++++ Lama.opam | 4 ++++ README.md | 9 +++++++++ 3 files changed, 53 insertions(+) create mode 100644 .github/workflows/blank.yml diff --git a/.github/workflows/blank.yml b/.github/workflows/blank.yml new file mode 100644 index 000000000..f46f30ebf --- /dev/null +++ b/.github/workflows/blank.yml @@ -0,0 +1,40 @@ +name: Build + +on: + pull_request: + push: + paths-ignore: + - 'README.md' + branches: + - '1.10' + +jobs: + build: + strategy: + fail-fast: false + matrix: + os: + #- macos-latest + - ubuntu-20.04 + #- windows-latest + ocaml-version: + #- 4.11.0 + - 4.10.1 + #- 4.09.1 + #- 4.08.1 + + runs-on: ${{ matrix.os }} + + steps: + - name: Checkout code + uses: actions/checkout@v2 + - name: Use OCaml ${{ matrix.ocaml-version }} + uses: avsm/setup-ocaml@v1 + with: + ocaml-version: ${{ matrix.ocaml-version }} + + - run: opam pin add Lama.dev . --no-action + - run: opam depext Lama.dev --yes --with-test + - run: opam install . --deps-only --with-test + - run: opam exec -- make #dune build + - run: opam exec -- make regression # dune runtest diff --git a/Lama.opam b/Lama.opam index 1f7af5948..ba78b2722 100644 --- a/Lama.opam +++ b/Lama.opam @@ -21,6 +21,10 @@ build: [ ] install: [make "install"] +depexts: [ + ["gcc-multilib"] {os-family = "debian"} +] + dev-repo: "git+https://github.com/JetBrains-Research/Lama.git" url { src: "git+https://github.com/JetBrains-Research/Lama.git#1.10+ocaml4.10" diff --git a/README.md b/README.md index d56814b75..ba1bed6a0 100644 --- a/README.md +++ b/README.md @@ -1,3 +1,12 @@ +| Branch 1.10 | +| ------------------------------- | +| [![Lama 1.10][1]][2] | + +[1]: https://github.com/JetBrains-Research/Lama-devel/workflows/Build/badge.svg?branch=1.10 +[2]: https://github.com/JetBrains-Research/Lama-devel/actions + + + # Lama ![lama](lama.png) is a programming language developed by JetBrains Research for educational purposes as an exemplary language to introduce