From 43af0d24f06f211ad1bf47735584d83ed190e025 Mon Sep 17 00:00:00 2001 From: Kakadu Date: Fri, 12 Feb 2021 21:49:17 +0300 Subject: [PATCH] Update .gitignore files Signed-off-by: Kakadu --- README.md | 4 ++-- regression/.gitignore | 1 + stdlib/.gitignore | 3 +++ tutorial/.gitignore | 1 + 4 files changed, 7 insertions(+), 2 deletions(-) create mode 120000 regression/.gitignore create mode 120000 tutorial/.gitignore diff --git a/README.md b/README.md index 000e7b1c6..d56814b75 100644 --- a/README.md +++ b/README.md @@ -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` diff --git a/regression/.gitignore b/regression/.gitignore new file mode 120000 index 000000000..65f1cfa74 --- /dev/null +++ b/regression/.gitignore @@ -0,0 +1 @@ +../stdlib/.gitignore \ No newline at end of file diff --git a/stdlib/.gitignore b/stdlib/.gitignore index 48382914d..0ec54007e 100644 --- a/stdlib/.gitignore +++ b/stdlib/.gitignore @@ -1,3 +1,6 @@ +*.html +*.sm +*.log *.i *.s diff --git a/tutorial/.gitignore b/tutorial/.gitignore new file mode 120000 index 000000000..65f1cfa74 --- /dev/null +++ b/tutorial/.gitignore @@ -0,0 +1 @@ +../stdlib/.gitignore \ No newline at end of file