diff options
Diffstat (limited to 'dune-workspace')
| -rw-r--r-- | dune-workspace | 13 |
1 files changed, 13 insertions, 0 deletions
diff --git a/dune-workspace b/dune-workspace new file mode 100644 index 0000000..e9c669b --- /dev/null +++ b/dune-workspace @@ -0,0 +1,13 @@ +(lang dune 3.11) + +;; Markup.ml uses a lot of tail call recursion to parse XML, so it essentially +;; shits itself when compiled with Jsoo (which doesn't support tail-call by +;; default). So we need this. + +;; Obviously, this ought to be removed the instant https://github.com/aantron/markup.ml/issues/26 is merged. + +(env + (_ + (js_of_ocaml + (flags (:standard --effects=cps)) + (build_runtime_flags (:standard --effects=cps))))) |