initialising jsoo

UQ-PAC · Jun 24, 2024 · 72ad324 · 72ad324
1 parent 9b14c90
commit 72ad324
Show file tree

Hide file tree

Showing 3 changed files with 24 additions and 0 deletions.
diff --git a/web/dune b/web/dune
@@ -0,0 +1,11 @@
+(executable
+  (name js)
+  (modes js)
+  (modules js)
+  (libraries z3 libASLResources dune-site str zarith pprint zarith_stubs_js)
+  (js_of_ocaml (flags --debug-info --no-inline :standard \ --source-map-inline))
+  )
+
+(alias
+ (name default)
+ (deps js.bc.js index.html))
diff --git a/web/index.html b/web/index.html
@@ -0,0 +1,9 @@
+<!doctype html>
+<html>
+  <head>
+    <title>Cubes</title>
+    <script type="text/javascript" src="js.bc.js"></script>
+  </head>
+  <body>
+  </body>
+</html>
diff --git a/web/js.ml b/web/js.ml
@@ -0,0 +1,4 @@
+let () =
+  print_endline "hello from js";
+  print_endline @@ Int.to_string @@ List.length LibASLResources.Res.Sites.aslfiles
+  (* print_endline @@ LibASL.Value.(pp_value @@ from_bitsLit "100") *)