diff options
Diffstat (limited to 'modal/ocaml/_build/log')
-rw-r--r-- | modal/ocaml/_build/log | 16 |
1 files changed, 16 insertions, 0 deletions
diff --git a/modal/ocaml/_build/log b/modal/ocaml/_build/log new file mode 100644 index 0000000..ac231d0 --- /dev/null +++ b/modal/ocaml/_build/log @@ -0,0 +1,16 @@ +# dune exec modal -- -q /Users/eli/Code/tour/modal/tests/cases/03_and_or_not.modal +# OCAMLPARAM: unset +# Shared cache: enabled-except-user-rules +# Shared cache location: /Users/eli/.cache/dune/db +# Workspace root: /Users/eli/Code/tour/modal/ocaml +# Auto-detected concurrency: 12 +# Dune context: +# { name = "default" +# ; kind = "default" +# ; profile = Dev +# ; merlin = true +# ; fdo_target_exe = None +# ; build_dir = In_build_dir "default" +# ; instrument_with = [] +# } +$ /Users/eli/.opam/default/bin/ocamlc.opt -config > /var/folders/m5/0f01vcws5td_kbb882wcb70c0000gn/T/dune_22e00f_output |