From 7d1e0c47e263bd7fcb4506ae7b16a1a3519dc6f6 Mon Sep 17 00:00:00 2001 From: David Allsopp Date: Wed, 16 Aug 2017 16:08:03 +0100 Subject: [PATCH] Allow bootstrap.ml to be compiled (#221) Signed-off-by: David Allsopp --- .gitignore | 3 +++ Makefile | 2 +- bootstrap.ml | 2 +- 3 files changed, 5 insertions(+), 2 deletions(-) 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