From 914d35fba3d2baf7101785df6288a976272ed92c Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Franc=CC=A7ois=20Pottier?= <francois.pottier@inria.fr>
Date: Thu, 6 Jan 2022 22:30:16 +0100
Subject: [PATCH] Benchmarks: remove redundant (flags) directives and make sure
 everything builds without warnings.

---
 benchmark/dune                  | 2 +-
 benchmark/src/construction/dune | 1 -
 benchmark/src/dune              | 1 -
 benchmark/src/fill/dune         | 1 -
 benchmark/src/flatten/dune      | 1 -
 benchmark/src/iteration/dune    | 1 -
 benchmark/src/reach/dune        | 1 -
 benchmark/src/split/dune        | 1 -
 benchmark/src/stack/dune        | 1 -
 benchmark/src/traversal/dune    | 1 -
 10 files changed, 1 insertion(+), 10 deletions(-)

diff --git a/benchmark/dune b/benchmark/dune
index 4c2b2bc..4559db4 100644
--- a/benchmark/dune
+++ b/benchmark/dune
@@ -2,7 +2,7 @@
   (_
     (flags
       :standard
-      -w A-4-44
+      -w A-4-44-67-70
     )
     (ocamlopt_flags
       -O3
diff --git a/benchmark/src/construction/dune b/benchmark/src/construction/dune
index a8f88e3..d4c9ba5 100644
--- a/benchmark/src/construction/dune
+++ b/benchmark/src/construction/dune
@@ -5,6 +5,5 @@
 
 (executable
   (name Main)
-  (flags (:standard -w A-4-44))
   (libraries str unix core core.time_stamp_counter sek)
 )
diff --git a/benchmark/src/dune b/benchmark/src/dune
index 73b8305..653f008 100644
--- a/benchmark/src/dune
+++ b/benchmark/src/dune
@@ -2,6 +2,5 @@
 ; though there isn't) so that dune generates a .merlin file.
 (library
   (name benchmark)
-  (flags (:standard -w A-4-44))
   (libraries str unix core core.time_stamp_counter sek)
 )
diff --git a/benchmark/src/fill/dune b/benchmark/src/fill/dune
index a8f88e3..d4c9ba5 100644
--- a/benchmark/src/fill/dune
+++ b/benchmark/src/fill/dune
@@ -5,6 +5,5 @@
 
 (executable
   (name Main)
-  (flags (:standard -w A-4-44))
   (libraries str unix core core.time_stamp_counter sek)
 )
diff --git a/benchmark/src/flatten/dune b/benchmark/src/flatten/dune
index a8f88e3..d4c9ba5 100644
--- a/benchmark/src/flatten/dune
+++ b/benchmark/src/flatten/dune
@@ -5,6 +5,5 @@
 
 (executable
   (name Main)
-  (flags (:standard -w A-4-44))
   (libraries str unix core core.time_stamp_counter sek)
 )
diff --git a/benchmark/src/iteration/dune b/benchmark/src/iteration/dune
index a8f88e3..d4c9ba5 100644
--- a/benchmark/src/iteration/dune
+++ b/benchmark/src/iteration/dune
@@ -5,6 +5,5 @@
 
 (executable
   (name Main)
-  (flags (:standard -w A-4-44))
   (libraries str unix core core.time_stamp_counter sek)
 )
diff --git a/benchmark/src/reach/dune b/benchmark/src/reach/dune
index a8f88e3..d4c9ba5 100644
--- a/benchmark/src/reach/dune
+++ b/benchmark/src/reach/dune
@@ -5,6 +5,5 @@
 
 (executable
   (name Main)
-  (flags (:standard -w A-4-44))
   (libraries str unix core core.time_stamp_counter sek)
 )
diff --git a/benchmark/src/split/dune b/benchmark/src/split/dune
index a8f88e3..d4c9ba5 100644
--- a/benchmark/src/split/dune
+++ b/benchmark/src/split/dune
@@ -5,6 +5,5 @@
 
 (executable
   (name Main)
-  (flags (:standard -w A-4-44))
   (libraries str unix core core.time_stamp_counter sek)
 )
diff --git a/benchmark/src/stack/dune b/benchmark/src/stack/dune
index 0ea0fe3..d4c9ba5 100644
--- a/benchmark/src/stack/dune
+++ b/benchmark/src/stack/dune
@@ -5,6 +5,5 @@
 
 (executable
   (name Main)
-  (flags (:standard -w A-4-44-67))
   (libraries str unix core core.time_stamp_counter sek)
 )
diff --git a/benchmark/src/traversal/dune b/benchmark/src/traversal/dune
index 7da1361..d4c9ba5 100644
--- a/benchmark/src/traversal/dune
+++ b/benchmark/src/traversal/dune
@@ -5,6 +5,5 @@
 
 (executable
   (name Main)
-  (flags (:standard -w A-4-44 -g))
   (libraries str unix core core.time_stamp_counter sek)
 )
-- 
GitLab