[sledge] Add memtrace support

Reviewed By: jvillard

Differential Revision: D27280743

fbshipit-source-id: 3a6fdb1a9

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
 ;;

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

sledge/sledge.opam

@@ -22,6 +22,7 @@ depends: [
   "dune-build-info" {build}
   "fpath"
   "iter"
+  "memtrace"
   "mtime"
   "ppx_compare"
   "ppx_hash"