From 64d49ccd019fce62320be6c1d558a01642b82f94 Mon Sep 17 00:00:00 2001 From: Kakadu Date: Sat, 3 Oct 2020 00:27:45 +0300 Subject: [PATCH] .gitignore files Signed-off-by: Kakadu --- .gitignore | 2 ++ bench/.gitignore | 4 ++++ runtime/.gitignore | 2 ++ src/.gitignore | 4 ++++ stdlib/.gitignore | 3 +++ 5 files changed, 15 insertions(+) create mode 100644 bench/.gitignore create mode 100644 runtime/.gitignore create mode 100644 src/.gitignore create mode 100644 stdlib/.gitignore diff --git a/.gitignore b/.gitignore index 6a2ef53b1..5955142ad 100644 --- a/.gitignore +++ b/.gitignore @@ -1,5 +1,7 @@ *~ *.cmi *.cmx +*.cmo *.o +.merlin diff --git a/bench/.gitignore b/bench/.gitignore new file mode 100644 index 000000000..6265c420a --- /dev/null +++ b/bench/.gitignore @@ -0,0 +1,4 @@ +/bench.exe +/Pprint_gt.ml +/Pprint_default.ml + diff --git a/runtime/.gitignore b/runtime/.gitignore new file mode 100644 index 000000000..ede012c6b --- /dev/null +++ b/runtime/.gitignore @@ -0,0 +1,2 @@ +*.a + diff --git a/src/.gitignore b/src/.gitignore new file mode 100644 index 000000000..af3dc85cf --- /dev/null +++ b/src/.gitignore @@ -0,0 +1,4 @@ +.depend +lamac +lamac.byte + diff --git a/stdlib/.gitignore b/stdlib/.gitignore new file mode 100644 index 000000000..48382914d --- /dev/null +++ b/stdlib/.gitignore @@ -0,0 +1,3 @@ +*.i +*.s +