From 8597f599d08327f30c19b73cc0d36b946d359548 Mon Sep 17 00:00:00 2001 From: Rudi Grinberg Date: Wed, 20 Jun 2018 20:31:52 +0630 Subject: [PATCH 1/3] Add inline_tests.boot file Signed-off-by: Rudi Grinberg --- src/inline_tests.boot.ml | 1 + 1 file changed, 1 insertion(+) create mode 100644 src/inline_tests.boot.ml diff --git a/src/inline_tests.boot.ml b/src/inline_tests.boot.ml new file mode 100644 index 00000000..3c3a7277 --- /dev/null +++ b/src/inline_tests.boot.ml @@ -0,0 +1 @@ +let linkme = () From 98f055dbede6db527cc3a440e0e1817e1946fd38 Mon Sep 17 00:00:00 2001 From: Rudi Grinberg Date: Wed, 20 Jun 2018 20:32:57 +0630 Subject: [PATCH 2/3] add menhir.boot.ml Signed-off-by: Rudi Grinberg --- src/menhir.boot.ml | 5 +++++ 1 file changed, 5 insertions(+) create mode 100644 src/menhir.boot.ml diff --git a/src/menhir.boot.ml b/src/menhir.boot.ml new file mode 100644 index 00000000..cfa023f9 --- /dev/null +++ b/src/menhir.boot.ml @@ -0,0 +1,5 @@ +let gen_rules _ _ = () + +let targets _ = [] + +let module_names _ = [] From 9883c4450b130daf11a078137de233724116c23b Mon Sep 17 00:00:00 2001 From: Rudi Grinberg Date: Wed, 20 Jun 2018 20:36:04 +0630 Subject: [PATCH 3/3] Add jsoo boot file Signed-off-by: Rudi Grinberg --- src/js_of_ocaml_rules.boot.ml | 8 ++++++++ 1 file changed, 8 insertions(+) create mode 100644 src/js_of_ocaml_rules.boot.ml diff --git a/src/js_of_ocaml_rules.boot.ml b/src/js_of_ocaml_rules.boot.ml new file mode 100644 index 00000000..59d9c512 --- /dev/null +++ b/src/js_of_ocaml_rules.boot.ml @@ -0,0 +1,8 @@ + +let build_cm _ ~scope:_ ~dir:_ ~js_of_ocaml:_ ~src:_ ~target:_ = [] + +let build_exe _ ~dir:_ ~js_of_ocaml:_ ~src:_ ~requires:_ = [] + +let setup_separate_compilation_rules _ _ = () + +let standard _ = []