Update .gitignore files

Signed-off-by: Kakadu <Kakadu@pm.me>
This commit is contained in:
Kakadu 2021-02-12 21:49:17 +03:00
parent eaa03785ed
commit 43af0d24f0
4 changed files with 7 additions and 2 deletions

View file

@ -48,7 +48,7 @@ Windows users should get Windows Subsystem for Linux a.k.a WSL (recommended) or
* Check that `opam` is installed (using commands `which opam` or `opam --version`)
* Install right switch for OCaml compiler
* Install right [switch](https://opam.ocaml.org/doc/Manual.html#Switches) for OCaml compiler
`opam switch create lama ocaml-variants.4.10.1+fp+flambda`
@ -72,7 +72,7 @@ Windows users should get Windows Subsystem for Linux a.k.a WSL (recommended) or
Standard library directory: /home/user/.opam/lama/lib/ocaml
```
* Pin Lama package using `opam` and right URL (remember of "#" being a comment character in bash)
* Pin Lama package using `opam` and right URL (remember of "#" being a comment character in various shells)
`opam pin add Lama https://github.com/JetBrains-Research/Lama-devel.git\#1.10+ocaml4.10 -y`

1
regression/.gitignore vendored Symbolic link
View file

@ -0,0 +1 @@
../stdlib/.gitignore

3
stdlib/.gitignore vendored
View file

@ -1,3 +1,6 @@
*.html
*.sm
*.log
*.i
*.s

1
tutorial/.gitignore vendored Symbolic link
View file

@ -0,0 +1 @@
../stdlib/.gitignore