From 3a5d1e8f830b6a65b267c49447100d6e0e3002f3 Mon Sep 17 00:00:00 2001 From: polybeandip Date: Fri, 9 Aug 2024 17:38:56 -0400 Subject: [PATCH] Simulation -> Simulator + dune project comment --- dsl/dsl.opam | 2 +- dsl/dune-project | 14 +++++++++++++- dsl/simulation/dune | 4 ++-- dsl/tests/compilation.ml | 2 +- dsl/tests/dune | 2 +- dsl/tests/util.ml | 2 +- 6 files changed, 19 insertions(+), 7 deletions(-) diff --git a/dsl/dsl.opam b/dsl/dsl.opam index bdbe0dc..3c14f02 100644 --- a/dsl/dsl.opam +++ b/dsl/dsl.opam @@ -17,8 +17,8 @@ depends: [ "core_kernel" "pcap-format" "hex" - "csv" "mmap" + "csv" "odoc" {with-doc} ] build: [ diff --git a/dsl/dune-project b/dsl/dune-project index 483a8a0..9362d2b 100644 --- a/dsl/dune-project +++ b/dsl/dune-project @@ -27,5 +27,17 @@ (name dsl) (synopsis "DSL for Programmable Packet Scheduling") (description "TBD") - (depends ocaml dune ounit2 menhir core_kernel pcap-format hex csv mmap)) + (depends + ocaml + dune + ounit2 + menhir + ; libraries for Simulator + core_kernel + pcap-format + hex + mmap + csv + ) +) diff --git a/dsl/simulation/dune b/dsl/simulation/dune index 1cce620..893a4cb 100644 --- a/dsl/simulation/dune +++ b/dsl/simulation/dune @@ -1,6 +1,6 @@ (library - (name Simulation) - (public_name dsl.simulation) + (name Simulator) + (public_name dsl.simulator) (libraries dsl.frontend core_kernel.fheap pcap-format hex csv mmap) (preprocess (pps ppx_cstruct))) diff --git a/dsl/tests/compilation.ml b/dsl/tests/compilation.ml index 4fe2f4b..15f6a5f 100644 --- a/dsl/tests/compilation.ml +++ b/dsl/tests/compilation.ml @@ -1,4 +1,4 @@ -open Simulation +open Simulator open OUnit2 let fcfs_flow, two_then_three, strict_flow, wfq_flow = diff --git a/dsl/tests/dune b/dsl/tests/dune index 67bea62..661439e 100644 --- a/dsl/tests/dune +++ b/dsl/tests/dune @@ -1,3 +1,3 @@ (tests (names parsing compilation) - (libraries dsl.frontend dsl.simulation ounit2)) + (libraries dsl.frontend dsl.simulator ounit2)) diff --git a/dsl/tests/util.ml b/dsl/tests/util.ml index 5f62d61..fc09e87 100644 --- a/dsl/tests/util.ml +++ b/dsl/tests/util.ml @@ -1,5 +1,5 @@ open Frontend -open Simulation +open Simulator let prefix = "../../../../" let parse filename = prefix ^ filename |> Parser.parse_file |> Policy.of_program