[ frontend ] frontend as separate package

Author: bobatkey

dune-project

@@ -31,9 +31,9 @@
   (name parser_util))
 
 (package
-  (name pikchr))
+  (name site_gen))
 
 (package
-  (name site_gen))
+  (name frontend))
 
 ; See the complete stanza docs at https://dune.readthedocs.io/en/stable/dune-files.html#dune-project

frontend.opam

@@ -0,0 +1,36 @@
+opam-version: "2.0"
+synopsis: "Frontend component of CS208 Logic"
+depends: [
+  "ocaml"
+  "dune" {>= "3.7"}
+  "msat"
+  "menhir"
+  "ulmus"
+  "parser_util"
+  "ppx_monoid"
+  "ppx_deriving"
+  "ppx_inline_test"
+  "fol_formula"
+]
+pin-depends: [
+  [ "ulmus.~dev"
+    "git+https://github.com/bobatkey/ulmus#57e1c963b456a59c7f0f2385c03f8155b7af67fc"
+  ]
+  [ "html_sig.~dev"
+    "git+https://github.com/bobatkey/ulmus#57e1c963b456a59c7f0f2385c03f8155b7af67fc"
+  ]
+]
+build: [
+  ["dune" "subst"] {dev}
+  [
+    "dune"
+    "build"
+    "-p"
+    name
+    "-j"
+    jobs
+    "@install"
+    "@runtest" {with-test}
+    "@doc" {with-doc}
+  ]
+]

frontend/dune

@@ -7,3 +7,8 @@
             natural_deduction
             nd_focusing_widget
             model_checker_widget))
+
+(install
+ (files frontend.bc.js)
+ (section share)
+ (package frontend))

pikchr/dune

@@ -4,10 +4,10 @@
  (libraries ctypes ctypes-foreign)
  (extra_objects pikchr))
 
-(install
- (files pikchr.o)
- (section lib)
- (package pikchr))
+; (install
+;  (files pikchr.o)
+;  (section lib)
+;  (package pikchr))
 
 (rule
  (targets pikchr.o)

slakemoth.opam

@@ -21,14 +21,6 @@ depends: [
   "ppx_deriving"
   "ppx_inline_test"
 ]
-pin-depends: [
-  [ "ulmus.~dev"
-    "git+https://github.com/bobatkey/ulmus#57e1c963b456a59c7f0f2385c03f8155b7af67fc"
-  ]
-  [ "html_sig.~dev"
-    "git+https://github.com/bobatkey/ulmus#57e1c963b456a59c7f0f2385c03f8155b7af67fc"
-  ]
-]
 build: [
   ["dune" "subst"] {dev}
   [