Skip to content

Commit

Permalink
Hazel go brr
Browse files Browse the repository at this point in the history
  • Loading branch information
7h3kk1d committed Jul 31, 2024
1 parent f66aef3 commit 8630e7a
Show file tree
Hide file tree
Showing 6 changed files with 21 additions and 5 deletions.
1 change: 1 addition & 0 deletions dune-project
Original file line number Diff line number Diff line change
Expand Up @@ -20,6 +20,7 @@
; (tags
; (topics "to describe" your project))
(depends
brr
(ocaml
(>= 5.2.0))
(menhir
Expand Down
1 change: 1 addition & 0 deletions hazel.opam
Original file line number Diff line number Diff line change
Expand Up @@ -8,6 +8,7 @@ homepage: "https://github.com/hazelgrove/hazel"
bug-reports: "https://github.com/hazelgrove/hazel/issues"
depends: [
"dune" {>= "3.16"}
"brr"
"ocaml" {>= "5.2.0"}
"menhir" {>= "2.0"}
"yojson"
Expand Down
14 changes: 10 additions & 4 deletions hazel.opam.locked
Original file line number Diff line number Diff line change
Expand Up @@ -6,7 +6,7 @@ homepage: "https://github.com/hazelgrove/hazel"
bug-reports: "https://github.com/hazelgrove/hazel/issues"
depends: [
"abstract_algebra" {= "v0.16.0"}
"alcotest" {= "1.8.0"}
"alcotest" {= "1.8.0" & with-test}
"angstrom" {= "0.16.0"}
"astring" {= "0.8.5"}
"async_js" {= "v0.16.0"}
Expand All @@ -25,11 +25,13 @@ depends: [
"bignum" {= "v0.16.0"}
"bigstringaf" {= "0.10.0"}
"bin_prot" {= "v0.16.0"}
"brr" {= "0.0.6"}
"camlp-streams" {= "5.0.1"}
"chrome-trace" {= "3.16.0"}
"cmdliner" {= "1.3.0"}
"conf-bash" {= "1"}
"conf-gmp" {= "4"}
"conf-libX11" {= "1"}
"conf-pkg-config" {= "3"}
"core" {= "v0.16.2"}
"core_kernel" {= "v0.16.0"}
Expand All @@ -47,10 +49,11 @@ depends: [
"fiber" {= "3.7.0"}
"fieldslib" {= "v0.16.0"}
"fix" {= "20230505"}
"fmt" {= "0.9.0"}
"fmt" {= "0.9.0" & with-test}
"fpath" {= "0.7.3"}
"gen" {= "1.1"}
"gen_js_api" {= "1.1.2"}
"graphics" {= "5.1.2"}
"host-arch-x86_64" {= "1"}
"host-system-other" {= "1"}
"incr_dom" {= "v0.16.0"}
Expand All @@ -63,11 +66,13 @@ depends: [
"js_of_ocaml" {= "5.8.2"}
"js_of_ocaml-compiler" {= "5.8.2"}
"js_of_ocaml-ppx" {= "5.8.2"}
"js_of_ocaml-toplevel" {= "5.8.2"}
"js_of_ocaml_patches" {= "v0.16.0"}
"jst-config" {= "v0.16.0"}
"junit" {= "2.0.2"}
"junit" {= "2.0.2" & with-test}
"junit_alcotest" {= "2.0.2" & with-test}
"lambdasoup" {= "1.0.0"}
"lwt" {= "5.7.0"}
"markup" {= "1.0.3"}
"menhir" {= "20240715"}
"menhirCST" {= "20240715"}
Expand All @@ -92,6 +97,7 @@ depends: [
"ocamlformat-lib" {= "0.26.2"}
"ocamlformat-rpc-lib" {= "0.26.2"}
"ocp-indent" {= "1.8.1"}
"ocplib-endian" {= "1.2"}
"octavius" {= "1.2.2"}
"ojs" {= "1.1.2"}
"omd" {= "2.0.0~alpha4"}
Expand Down Expand Up @@ -139,7 +145,7 @@ depends: [
"ppx_yojson_conv_lib" {= "v0.16.0"}
"ppxlib" {= "0.33.0"}
"protocol_version_header" {= "v0.16.0"}
"ptime" {= "1.1.0"}
"ptime" {= "1.1.0" & with-test}
"ptmap" {= "2.0.5"}
"re" {= "1.11.0"}
"reason" {= "3.12.0"}
Expand Down
2 changes: 2 additions & 0 deletions src/haz3lcore/dune
Original file line number Diff line number Diff line change
Expand Up @@ -5,6 +5,8 @@
(libraries util re sexplib unionFind uuidm yojson core)
(js_of_ocaml
(flags
+toplevel.js
+dynlink.js
(:include js-of-ocaml-flags-%{profile})))
(preprocess
(pps
Expand Down
2 changes: 1 addition & 1 deletion src/haz3lweb/Main.re
Original file line number Diff line number Diff line change
@@ -1,7 +1,6 @@
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 @@ -77,6 +76,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
6 changes: 6 additions & 0 deletions src/haz3lweb/dune
Original file line number Diff line number Diff line change
Expand Up @@ -9,6 +9,8 @@
(name workerServer)
(modules WorkerServer)
(libraries
brr
brr.poke
str
incr_dom
virtual_dom.input_widgets
Expand Down Expand Up @@ -64,9 +66,12 @@
(name main)
(modules Main)
(libraries ppx_yojson_conv.expander haz3lweb)
(link_flags -linkall)
(modes js)
(js_of_ocaml
(flags
--toplevel
--dynlink
(:include js-of-ocaml-flags-%{profile})))
(preprocess
(pps
Expand All @@ -81,6 +86,7 @@
(modules Worker)
(libraries workerServer)
(modes js)
(link_flags -linkall)
(preprocess
(pps js_of_ocaml-ppx)))

Expand Down

0 comments on commit 8630e7a

Please sign in to comment.