Merge pull request #902 from rgrinberg/faster-bootstrap

Faster bootstrap
This commit is contained in:
Rudi Grinberg 2018-06-20 21:16:46 +06:30 committed by GitHub
commit bb1ea7c56c
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23
3 changed files with 14 additions and 0 deletions

1
src/inline_tests.boot.ml Normal file
View File

@ -0,0 +1 @@
let linkme = ()

View File

@ -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 _ = []

5
src/menhir.boot.ml Normal file
View File

@ -0,0 +1,5 @@
let gen_rules _ _ = ()
let targets _ = []
let module_names _ = []