mirror of
https://github.com/ProgramSnail/Lama.git
synced 2025-12-06 06:48:48 +00:00
Merge branch '1.10' of github.com:JetBrains-Research/Lama-devel into 1.10
This commit is contained in:
commit
a9d9a4e2be
3 changed files with 53 additions and 0 deletions
40
.github/workflows/blank.yml
vendored
Normal file
40
.github/workflows/blank.yml
vendored
Normal file
|
|
@ -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
|
||||||
|
|
@ -21,6 +21,10 @@ build: [
|
||||||
]
|
]
|
||||||
install: [make "install"]
|
install: [make "install"]
|
||||||
|
|
||||||
|
depexts: [
|
||||||
|
["gcc-multilib"] {os-family = "debian"}
|
||||||
|
]
|
||||||
|
|
||||||
dev-repo: "git+https://github.com/JetBrains-Research/Lama.git"
|
dev-repo: "git+https://github.com/JetBrains-Research/Lama.git"
|
||||||
url {
|
url {
|
||||||
src: "git+https://github.com/JetBrains-Research/Lama.git#1.10+ocaml4.10"
|
src: "git+https://github.com/JetBrains-Research/Lama.git#1.10+ocaml4.10"
|
||||||
|
|
|
||||||
|
|
@ -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
|
||||||
|
|
||||||
 is a programming language developed by JetBrains Research for educational purposes as an exemplary language to introduce
|
 is a programming language developed by JetBrains Research for educational purposes as an exemplary language to introduce
|
||||||
|
|
|
||||||
Loading…
Add table
Add a link
Reference in a new issue