st/lama_byterun
1
0
Fork 0
mirror of https://github.com/ProgramSnail/Lama.git synced 2025-12-06 06:48:48 +00:00
Code Issues Projects Releases Packages Wiki Activity Actions

upd REAME: upd versions

Browse source
This commit is contained in:
Danya Berezun 2023-10-04 09:36:30 +02:00
parent 1dfd5f9f00
commit c21d51f3c5
1 changed files with 15 additions and 17 deletions
Download patch file Download diff file Expand all files Collapse all files

16
README.md
View file

@ -1,11 +1,9 @@
| Lama 1.10 | Lama-devel 1.10 |
| -------------------- | -------------------------- |
| [![Lama 1.10][1]][2] | [![Lama-devel 1.10][3]][4] |
| Lama 1.2 |
| ------------------- |
| [![Lama 1.2][1]][2] |
[1]: https://github.com/JetBrains-Research/Lama/workflows/Build/badge.svg?branch=1.10
[2]: https://github.com/JetBrains-Research/Lama/actions
[3]: https://github.com/JetBrains-Research/Lama-devel/workflows/Build/badge.svg?branch=1.10
[4]: https://github.com/JetBrains-Research/Lama-devel/actions
[1]: https://github.com/PLTools/Lama/Lama/workflows/Build/badge.svg?branch=1.10
[2]: https://github.com/PLTools/Lama//Lama/actions
# Lama
@ -76,7 +74,7 @@ Ubuntu-based variant of WSL is recommended.
# for fresh opam
$ opam switch create lama --packages=ocaml-variants.4.14.0+options,ocaml-option-flambda
# for old opam
$ opam switch create lama ocaml-variants.4.10.1+flambda
$ opam switch create lama ocaml-variants.4.13.1+flambda
```
* In the above command:
@ -100,7 +98,7 @@ Ubuntu-based variant of WSL is recommended.
3. Pin Lama package using `opam` and right URL (remember of "#" being a comment character in various shells)
```bash
$ opam pin add Lama https://github.com/JetBrains-Research/Lama.git\#1.10 --no-action
$ opam pin add Lama https://github.com/PLTools/Lama.git\#1.2 --no-action
```
The extra '#' sign is added because in various Shells it is the start of a comment