remove unused Sliding_window from build

mirage · Mar 2, 2015 · 38cf180 · 38cf180
1 parent 52d21ba
commit 38cf180
Show file tree

Hide file tree

Showing 4 changed files with 6 additions and 8 deletions.
diff --git a/_oasis b/_oasis
@@ -69,7 +69,7 @@ Library tcp
   Path:               tcp
   Findlibparent:      tcpip
   Findlibname:        tcp
-  Modules:            Options,Wire,State,Tcptimer,Sequence,Sliding_window,Ack,
+  Modules:            Options,Wire,State,Tcptimer,Sequence,Ack,
                       Window,Segment,User_buffer,Pcb,Flow
   BuildDepends:       io-page,
                       mirage-types,

diff --git a/_tags b/_tags
@@ -1,5 +1,5 @@
 # OASIS_START
-# DO NOT EDIT (digest: 67ffe3d1ae0f586991f8c38ab831f735)
+# DO NOT EDIT (digest: f9fff6055d6ed99bbe8e141b101ae9f5)
 # Ignore VCS directories, you can use the same kind of rule outside
 # OASIS_START/STOP if you want to exclude directories that contains
 # useless stuff for the build process
@@ -45,7 +45,6 @@ true: annot, bin_annot
 "tcp/state.cmx": for-pack(Tcp)
 "tcp/tcptimer.cmx": for-pack(Tcp)
 "tcp/sequence.cmx": for-pack(Tcp)
-"tcp/sliding_window.cmx": for-pack(Tcp)
 "tcp/ack.cmx": for-pack(Tcp)
 "tcp/window.cmx": for-pack(Tcp)
 "tcp/segment.cmx": for-pack(Tcp)

diff --git a/setup.ml b/setup.ml
@@ -1,7 +1,7 @@
 (* setup.ml generated for the first time by OASIS v0.4.5 *)
 
 (* OASIS_START *)
-(* DO NOT EDIT (digest: 75b4d316c87acd82b1ffa79c5e474a61) *)
+(* DO NOT EDIT (digest: e19c1551baf2d1bbee3584bdd4b93b94) *)
 (*
    Regenerated by OASIS v0.4.5
    Visit http://oasis.forge.ocamlcore.org for more information and
@@ -7012,7 +7012,6 @@ let setup_t =
                            "State";
                            "Tcptimer";
                            "Sequence";
-                           "Sliding_window";
                            "Ack";
                            "Window";
                            "Segment";
@@ -7658,7 +7657,8 @@ let setup_t =
        };
      oasis_fn = Some "_oasis";
      oasis_version = "0.4.5";
-     oasis_digest = Some "õ+¬<\143Öõv \004\151së\031{ý";
+     oasis_digest =
+       Some "rM\151\245\231\138\162t\127\006\016\215\238\188\199\128";
      oasis_exec = None;
      oasis_setup_args = [];
      setup_update = false

diff --git a/tcp/tcp.mlpack b/tcp/tcp.mlpack
@@ -1,11 +1,10 @@
 # OASIS_START
-# DO NOT EDIT (digest: 930522b050ab87350477f790a86dd9d6)
+# DO NOT EDIT (digest: a1d3c8591e91c674b25051803a310a2d)
 Options
 Wire
 State
 Tcptimer
 Sequence
-Sliding_window
 Ack
 Window
 Segment