diff --git a/sledge/dune b/sledge/dune
index d2d76d948..7a22ea385 100644
--- a/sledge/dune
+++ b/sledge/dune
@@ -3,6 +3,29 @@
 ; This source code is licensed under the MIT license found in the
 ; LICENSE file in the root directory of this source tree.
 
+(env
+ (dbg
+  (flags
+   (-w +a-4-9-18-40-42-44-48@50-66 -strict-formats -strict-sequence
+     -short-paths -bin-annot -keep-locs -keep-docs -opaque))
+  (env-vars
+   (PPX_TRACE_ENABLED 1))
+  (inline_tests enabled))
+ (dbg-opt
+  (flags
+   (-w -a -noassert -unboxed-types))
+  (ocamlopt_flags (-O3))
+  (env-vars
+   (PPX_TRACE_ENABLED 1))
+  (inline_tests disabled))
+ (_
+  (flags
+   (-w -a -noassert -unboxed-types))
+  (ocamlopt_flags (-O3))
+  (env-vars
+   (PPX_TRACE_ENABLED 0))
+  (inline_tests disabled)))
+
 (dirs :standard \ llvm test)
 
 (rule
diff --git a/sledge/dune-workspace b/sledge/dune-workspace
index a7b15e663..852c5860b 100644
--- a/sledge/dune-workspace
+++ b/sledge/dune-workspace
@@ -5,29 +5,6 @@
 ; This source code is licensed under the MIT license found in the
 ; LICENSE file in the root directory of this source tree.
 
-(env
- (dbg
-  (flags
-   (-w +a-4-9-18-40-42-44-48@50-66 -strict-formats -strict-sequence
-     -short-paths -bin-annot -keep-locs -keep-docs -opaque))
-  (env-vars
-   (PPX_TRACE_ENABLED 1))
-  (inline_tests enabled))
- (opt
-  (flags
-   (-w -a -noassert -unboxed-types))
-  (ocamlopt_flags (-O3))
-  (env-vars
-   (PPX_TRACE_ENABLED 0))
-  (inline_tests disabled))
- (dbg-opt
-  (flags
-   (-w -a -noassert -unboxed-types))
-  (ocamlopt_flags (-O3))
-  (env-vars
-   (PPX_TRACE_ENABLED 1))
-  (inline_tests disabled)))
-
 (context (opam (switch sledge) (name dbg) (profile dbg) (merlin)))
-(context (opam (switch sledge) (name opt) (profile opt)))
 (context (opam (switch sledge) (name dbg-opt) (profile dbg-opt)))
+(context (opam (switch sledge) (name opt) (profile opt)))
diff --git a/sledge/lib/dune b/sledge/lib/dune
index 6f16daefa..2f5ef1952 100644
--- a/sledge/lib/dune
+++ b/sledge/lib/dune
@@ -5,6 +5,7 @@
 
 (library
  (name sledgelib)
+ (public_name sledge)
  (libraries trace import)
  (flags
   (:standard -open Import))