diff --git a/.gitignore b/.gitignore index 65edb30d..99af1064 100644 --- a/.gitignore +++ b/.gitignore @@ -6,3 +6,6 @@ boot.ml *.corrected *.swp *.swo +bootstrap.cmi +bootstrap.cmo +bootstrap.exe diff --git a/Makefile b/Makefile index e97634a3..1bfd4301 100644 --- a/Makefile +++ b/Makefile @@ -26,7 +26,7 @@ all-supported-ocaml-versions: clean: $(BIN) clean - rm -f ./boot.exe + rm -f ./boot.exe $(wildcard ./bootstrap.cmi ./bootstrap.cmo ./bootstrap.exe) doc: cd doc && sphinx-build . _build diff --git a/bootstrap.ml b/bootstrap.ml index 823608d7..d2ab0972 100644 --- a/bootstrap.ml +++ b/bootstrap.ml @@ -1,4 +1,4 @@ -#warnings "-40";; +[@@@ocaml.warning "-40"] module Array = ArrayLabels module List = ListLabels