catala/compiler/dune

Ignoring revisions in .git-blame-ignore-revs. Click here to bypass and see the normal blame view.

79 lines
1.2 KiB
Plaintext
Raw Permalink Normal View History

2020-03-08 03:52:31 +03:00
(library
2021-04-22 12:57:50 +03:00
(name driver)
(public_name catala.driver)
2022-01-08 20:37:04 +03:00
(libraries
dynlink
2022-11-21 12:46:17 +03:00
catala_utils
2022-01-08 20:37:04 +03:00
surface
desugared
literate
dcalc
lcalc
scalc
catala.runtime_ocaml
2022-01-08 20:37:04 +03:00
verification)
(modules plugin driver))
2021-02-01 22:09:16 +03:00
(executable
(name catala_web_interpreter)
2021-02-01 22:09:16 +03:00
(modes byte js)
(modules catala_web_interpreter)
2021-02-01 22:09:16 +03:00
(preprocess
(pps js_of_ocaml-ppx))
(libraries
catala.driver
js_of_ocaml
catala.runtime_ocaml
catala.runtime_jsoo))
2021-02-01 22:09:16 +03:00
(install
(section bin)
(package catala)
2024-01-20 13:47:07 +03:00
(files
2024-01-22 15:50:31 +03:00
(catala_web_interpreter.bc.js as catala_web_interpreter.js)))
(executable
(name tests)
(modules tests)
(libraries catala.driver alcotest))
(install
(section bin)
(package catala)
2024-01-20 13:47:07 +03:00
(files
(catala.bc.js as catala.js)))
(rule
(target custom_linking.sexp)
(mode fallback)
(action
(with-stdout-to
%{target}
(echo "()"))))
2021-02-01 22:09:16 +03:00
(executable
(name catala)
(modes exe js)
(flags
(:standard
(:include custom_linking.sexp)
-linkall))
2021-02-01 22:09:16 +03:00
(package catala)
(modules catala)
(public_name catala)
(libraries catala.driver ocamlgraph))
2020-03-08 05:20:04 +03:00
(documentation
2021-04-22 12:57:50 +03:00
(package catala)
(mld_files index))
(alias
(name catala)
(deps catala.exe))
(rule
(alias runtest)
(package catala)
(action
(run ./tests.exe)))