diff --git a/.github/workflows/opam.yml b/.github/workflows/opam.yml index 40691964..8e0131ec 100644 --- a/.github/workflows/opam.yml +++ b/.github/workflows/opam.yml @@ -30,6 +30,6 @@ jobs: - run: opam install . --deps-only --with-test working-directory: aslp_server - - run: opam exec -- dune build aslp_server --profile release + - run: opam exec -- dune build --profile release working-directory: aslp_server diff --git a/aslp_server/aslp_server.opam b/aslp_server/aslp_server.opam index 6567ef38..68be2ccd 100644 --- a/aslp_server/aslp_server.opam +++ b/aslp_server/aslp_server.opam @@ -10,7 +10,7 @@ doc: "https://github.com/UQ-PAC/aslp" bug-reports: "https://github.com/UQ-PAC/aslp/issues" depends: [ "ocaml" - "dune" {>= "3.16"} + "dune" {>= "2.8"} "cohttp-lwt-unix" "yojson" "asli" diff --git a/aslp_server/bin/dune b/aslp_server/bin/dune index 4bf7d5df..3c9353cc 100644 --- a/aslp_server/bin/dune +++ b/aslp_server/bin/dune @@ -1,5 +1,6 @@ (executable (public_name aslp_server) + (modes exe byte) (name main) (modules main) (libraries asli.libASL lwt.unix yojson cohttp-lwt cohttp-lwt-unix pprint)) diff --git a/aslp_server/dune-project b/aslp_server/dune-project index e106a40a..8c9f37ab 100644 --- a/aslp_server/dune-project +++ b/aslp_server/dune-project @@ -1,4 +1,4 @@ -(lang dune 3.16) +(lang dune 2.8) (name aslp_server) diff --git a/aslp_server/dune-workspace b/aslp_server/dune-workspace new file mode 100644 index 00000000..e69de29b