sync jemalloc name change

rr0gi · rr0gi · commit 3fa65382f12b · 2019-09-20T15:37:41.000-04:00
diff --git a/devkit.opam b/devkit.opam
@@ -32,5 +32,5 @@ depends: [
 ]
 depopts: [
   "gperftools"
-  "jemalloc"
+  "jemalloc" {>= "0.2"}
 ]
diff --git a/dune b/dune
@@ -53,7 +53,7 @@
   (optional)
   (libraries
     devkit_core
-    jemalloc_ctl)
+    jemalloc)
   (modules memory_jemalloc))
 
 (executable
diff --git a/memory_jemalloc.ml b/memory_jemalloc.ml
@@ -1,7 +1,7 @@
 (** Memory reporting for jemalloc, call [setup] in every binary linked with jemalloc *)
 
 open Devkit_core
-open Jemalloc_ctl
+open Jemalloc
 
 let show_crt_info () =
   let b = Action.bytes_string in
