From c7773251857171c27e494644483c20080f08e660 Mon Sep 17 00:00:00 2001
From: Josh Berdine <jjb@fb.com>
Date: Wed, 24 Mar 2021 14:18:42 -0700
Subject: [PATCH] [sledge] Suppress newly flagged no-cmx-file warning

Summary:
These no-cmx-file warnings on libraries in dependencies do not seem to
be resolvable, and there is no smaller scope I can find to suppress
them.

Reviewed By: jvillard

Differential Revision: D27280739

fbshipit-source-id: 6e8886f7f
---
 sledge/nonstdlib/dune | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/sledge/nonstdlib/dune b/sledge/nonstdlib/dune
index d09d84d7d..77848d72d 100644
--- a/sledge/nonstdlib/dune
+++ b/sledge/nonstdlib/dune
@@ -7,7 +7,7 @@
  (name NS)
  (public_name nonstdlib)
  (libraries containers containers-data core_kernel.fheap iter zarith trace)
- (flags (:standard))
+ (flags (:standard -w -no-cmx-file))
  (preprocess
   (pps ppx_sledge ppx_trace))
  (inline_tests))