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 +