From 38eb6aa8d0f5bbe9980dccad5aece00d3eabed76 Mon Sep 17 00:00:00 2001
From: Josh Berdine <jjb@fb.com>
Date: Wed, 24 Mar 2021 14:17:54 -0700
Subject: [PATCH] [sledge] Add memtrace support

Reviewed By: jvillard

Differential Revision: D27280743

fbshipit-source-id: 3a6fdb1a9
---
 sledge/cli/sledge_cli.ml | 2 ++
 sledge/dune              | 3 ++-
 sledge/sledge.opam       | 1 +
 3 files changed, 5 insertions(+), 1 deletion(-)

diff --git a/sledge/cli/sledge_cli.ml b/sledge/cli/sledge_cli.ml
index 90ba39d20..5631cb1d3 100644
--- a/sledge/cli/sledge_cli.ml
+++ b/sledge/cli/sledge_cli.ml
@@ -267,6 +267,8 @@ let readme () =
    module except the M.f function. The <spec> value * enables all debug \
    tracing."
 
+;;
+Memtrace.trace_if_requested ()
 ;;
 Printexc.record_backtrace Version.debug
 ;;
diff --git a/sledge/dune b/sledge/dune
index 1ceb87a65..d7d6f7b85 100644
--- a/sledge/dune
+++ b/sledge/dune
@@ -101,7 +101,8 @@
   (package sledge)
   (libraries apron apron.boxMPQ core ctypes ctypes.foreign dune-build-info
     llvm llvm.irreader llvm.analysis llvm.scalar_opts llvm.target llvm.ipo
-    llvm.linker shexp.process yojson trace nonstdlib sledge smtlib-utils)
+    llvm.linker memtrace shexp.process yojson trace nonstdlib sledge
+    smtlib-utils)
   (flags
    (:standard -w -58 -open NS -open Sledge))
   (preprocess
diff --git a/sledge/sledge.opam b/sledge/sledge.opam
index 3d824e4ad..f53fc851f 100644
--- a/sledge/sledge.opam
+++ b/sledge/sledge.opam
@@ -22,6 +22,7 @@ depends: [
   "dune-build-info" {build}
   "fpath"
   "iter"
+  "memtrace"
   "mtime"
   "ppx_compare"
   "ppx_hash"