Skip to content

Commit

Permalink
Hazel go brr
Browse files Browse the repository at this point in the history
  • Loading branch information
7h3kk1d committed Aug 16, 2024
1 parent 4b3d9fb commit fa8503f
Show file tree
Hide file tree
Showing 6 changed files with 13 additions and 3 deletions.
1 change: 1 addition & 0 deletions dune-project
Original file line number Diff line number Diff line change
Expand Up @@ -21,6 +21,7 @@
; (tags
; (topics "to describe" your project))
(depends
brr
(ocaml
(>= 5.2.0))
(menhir
Expand Down
1 change: 1 addition & 0 deletions hazel.opam

Some generated files are not rendered by default. Learn more about how customized files appear on GitHub.

2 changes: 2 additions & 0 deletions hazel.opam.locked

Some generated files are not rendered by default. Learn more about how customized files appear on GitHub.

2 changes: 1 addition & 1 deletion src/haz3lcore/dune
Original file line number Diff line number Diff line change
Expand Up @@ -15,7 +15,7 @@
(env
(dev
(js_of_ocaml
(flags :standard --debuginfo --noinline --dynlink --linkall --sourcemap)))
(flags :standard --toplevel --debuginfo --noinline --dynlink --linkall --sourcemap)))
(release
(js_of_ocaml
(flags :standard))))
2 changes: 1 addition & 1 deletion src/haz3lweb/Main.re
Original file line number Diff line number Diff line change
Expand Up @@ -2,7 +2,6 @@ open Util;
open Js_of_ocaml;
open Incr_dom;
open Haz3lweb;

let scroll_to_caret = ref(true);
let edit_action_applied = ref(true);
let last_edit_action = ref(JsUtil.timestamp());
Expand Down Expand Up @@ -76,6 +75,7 @@ module App = {
module State = State;

let on_startup = (~schedule_action, m: Model.t) => {
Brr_poke.define();
let _ =
observe_font_specimen("font-specimen", fm =>
schedule_action(Haz3lweb.Update.SetMeta(FontMetrics(fm)))
Expand Down
8 changes: 7 additions & 1 deletion src/haz3lweb/dune
Original file line number Diff line number Diff line change
Expand Up @@ -9,6 +9,9 @@
(name workerServer)
(modules WorkerServer)
(libraries
brr
brr.poke
str
incr_dom
virtual_dom.input_widgets
util
Expand Down Expand Up @@ -59,7 +62,9 @@
(name main)
(modules Main)
(libraries ppx_yojson_conv.expander haz3lweb)
(link_flags -linkall)
(modes js)

(preprocess
(pps
ppx_yojson_conv
Expand All @@ -73,13 +78,14 @@
(modules Worker)
(libraries workerServer)
(modes js)
(link_flags -linkall)
(preprocess
(pps js_of_ocaml-ppx)))

(env
(dev
(js_of_ocaml
(flags :standard --debuginfo --noinline --dynlink --linkall --sourcemap)))
(flags :standard --toplevel --debuginfo --noinline --dynlink --linkall --sourcemap)))
(release
(js_of_ocaml
(flags (:standard)))))

0 comments on commit fa8503f

Please sign in to comment.