Add jsoo boot file

Signed-off-by: Rudi Grinberg <rudi.grinberg@gmail.com>
This commit is contained in:
Rudi Grinberg 2018-06-20 20:36:04 +06:30
parent 98f055dbed
commit 9883c4450b
1 changed files with 8 additions and 0 deletions

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