Simulation -> Simulator + dune project comment

cucapra · Aug 9, 2024 · 3a5d1e8 · 3a5d1e8
1 parent 1de81ef
commit 3a5d1e8
Show file tree

Hide file tree

Showing 6 changed files with 19 additions and 7 deletions.
diff --git 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
@@ -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
@@ -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
@@ -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
@@ -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
@@ -1,5 +1,5 @@
 open Frontend
-open Simulation
+open Simulator
 
 let prefix = "../../../../"
 let parse filename = prefix ^ filename |> Parser.parse_file |> Policy.of_program