mirror of
https://github.com/CatalaLang/catala.git
synced 2024-09-19 00:15:39 +03:00
bc8eda581c
We have an obvious limitation: static builds won't support plugins. We could resort to the classic method and do normal builds but on an old distrib to dodge compatibility issues. That would still be compatible with statically linking the more specific libs, like e.g. z3.
53 lines
839 B
Plaintext
53 lines
839 B
Plaintext
(library
|
|
(name driver)
|
|
(public_name catala.driver)
|
|
(libraries
|
|
dynlink
|
|
utils
|
|
surface
|
|
desugared
|
|
literate
|
|
dcalc
|
|
lcalc
|
|
scalc
|
|
catala.runtime_ocaml
|
|
verification)
|
|
(modules plugin driver))
|
|
|
|
(executable
|
|
(name catala_web_interpreter)
|
|
(modes byte js)
|
|
(package catala)
|
|
(public_name catala_web_interpreter)
|
|
(modules catala_web_interpreter)
|
|
(preprocess
|
|
(pps js_of_ocaml-ppx))
|
|
(libraries
|
|
catala.driver
|
|
js_of_ocaml
|
|
catala.runtime_ocaml
|
|
catala.runtime_jsoo))
|
|
|
|
(rule
|
|
(target custom_linking.sexp)
|
|
(mode fallback)
|
|
(action
|
|
(with-stdout-to
|
|
%{target}
|
|
(echo "()"))))
|
|
|
|
(executable
|
|
(name catala)
|
|
(modes native js)
|
|
(flags
|
|
(:standard
|
|
(:include custom_linking.sexp)))
|
|
(package catala)
|
|
(modules catala)
|
|
(public_name catala)
|
|
(libraries catala.driver))
|
|
|
|
(documentation
|
|
(package catala)
|
|
(mld_files index))
|