(library
 (name driver)
 (public_name catala.driver)
 (libraries
  dynlink
  catala_utils
  surface
  desugared
  literate
  dcalc
  lcalc
  scalc
  catala.runtime_ocaml
  verification)
 (modules plugin driver))

(executable
 (name catala_web_interpreter)
 (modes byte js)
 (modules catala_web_interpreter)
 (preprocess
  (pps js_of_ocaml-ppx))
 (libraries
  catala.driver
  js_of_ocaml
  catala.runtime_ocaml
  catala.runtime_jsoo))

(install
 (section bin)
 (package catala)
 (files
  (catala_web_interpreter.bc.js as catala_web_interpreter.js)))

(executable
 (name tests)
 (modules tests)
 (libraries catala.driver alcotest))

(install
 (section bin)
 (package catala)
 (files
  (catala.bc.js as catala.js)))

(rule
 (target custom_linking.sexp)
 (mode fallback)
 (action
  (with-stdout-to
   %{target}
   (echo "()"))))

(executable
 (name catala)
 (modes exe js)
 (flags
  (:standard
   (:include custom_linking.sexp)
   -linkall))
 (package catala)
 (modules catala)
 (public_name catala)
 (libraries catala.driver ocamlgraph))

(documentation
 (package catala)
 (mld_files index))

(alias
 (name catala)
 (deps catala.exe))

(rule
 (alias runtest)
 (package catala)
 (action
  (run ./tests.exe)))