separate server module

.github/workflows/opam.yml

@@ -19,10 +19,17 @@ jobs:
 
     steps:
     - uses: actions/checkout@v4
+
     - uses: ocaml/setup-ocaml@v2
       with:
         ocaml-compiler: 4.14
     - run: opam install dune
+
+    - run: opam install . --deps-only --with-test
+    - run: opam exec -- dune build --profile release
+
     - run: opam install . --deps-only --with-test
+      working-directory: aslp_server
     - run: opam exec -- dune build --profile release
+      working-directory: aslp_server
 

asli.opam

@@ -26,9 +26,6 @@ depends: [
   "z3" {>= "4.8.7"}
   "alcotest" {with-test}
   "ppx_blob"
-  "lwt"
-  "cohttp-lwt-unix"
-  "yojson"
   "mlbdd"
   "odoc" {with-doc}
 ]

aslp_server/aslp_server.opam

@@ -0,0 +1,33 @@
+# This file is generated by dune, edit dune-project instead
+opam-version: "2.0"
+synopsis: "REST server for ASLp"
+description: ""
+maintainer: ["ailrst"]
+authors: ["ailrst"]
+license: "BSD-3-Clause"
+homepage: "https://github.com/UQ-PAC/aslp"
+doc: "https://github.com/UQ-PAC/aslp"
+bug-reports: "https://github.com/UQ-PAC/aslp/issues"
+depends: [
+  "ocaml"
+  "dune" {>= "2.8"}
+  "cohttp-lwt-unix"
+  "yojson"
+  "asli"
+  "odoc" {with-doc}
+]
+build: [
+  ["dune" "subst"] {dev}
+  [
+    "dune"
+    "build"
+    "-p"
+    name
+    "-j"
+    jobs
+    "@install"
+    "@runtest" {with-test}
+    "@doc" {with-doc}
+  ]
+]
+dev-repo: "git+https://github.com/UQ-PAC/aslp.git"

aslp_server/bin/dune

@@ -0,0 +1,7 @@
+(executable
+ (public_name aslp_server)
+ (modes exe byte)
+ (name main)
+ (modules main)
+ (libraries asli.libASL lwt.unix yojson cohttp-lwt cohttp-lwt-unix pprint))
+

bin/server.ml → aslp_server/bin/main.ml

@@ -1,17 +1,9 @@
 open LibASL
 
-
-open Yojson
 open Cohttp
-open Cohttp_lwt
 open Cohttp_lwt_unix
-open String
 open List
-open Array
 open Asl_ast
-open Value
-open Eval
-open Asl_utils
 open Lwt
 
 

aslp_server/dune-project

@@ -0,0 +1,28 @@
+(lang dune 2.8)
+
+(name aslp_server)
+
+(generate_opam_files true)
+
+(source
+ (github  UQ-PAC/aslp))
+
+(authors "ailrst")
+(maintainers "ailrst")
+
+(license BSD-3-Clause)
+
+(documentation https://github.com/UQ-PAC/aslp)
+
+(package
+ (name aslp_server)
+ (synopsis "REST server for ASLp")
+ (description "")
+ (depends ocaml dune
+    "cohttp-lwt-unix"
+    "yojson"
+    "asli"
+ )
+ )
+
+; See the complete stanza docs at https://dune.readthedocs.io/en/stable/reference/dune-project/index.html

bin/dune

@@ -8,15 +8,6 @@
  (libraries asli.libASL linenoise pprint)
  )
 
-(executable
- (name server)
- (public_name aslp-server)
- (modes exe)
- (modules server)
- (flags (-cclib -lstdc++))
- (libraries asli.libASL pprint lwt.unix yojson cohttp-lwt cohttp-lwt-unix))
-
-
 (executable
  (name testlexer)
  (modes exe)

dune-project

@@ -24,9 +24,6 @@
     ("z3"        (>= "4.8.7"))
     ("alcotest"  :with-test)
     "ppx_blob"
-    "lwt"
-    "cohttp-lwt-unix"
-    "yojson"
     "mlbdd"
   )
 )