diff --git a/sledge/Makefile b/sledge/Makefile
index cf0cb0f9b..6c2b9411e 100644
--- a/sledge/Makefile
+++ b/sledge/Makefile
@@ -20,7 +20,7 @@ setup: dunes
 
 .PHONY: exes
 exes: setup
-	dune build _build/dev/src/sledge.exe _build/release/src/sledge.exe
+	dune build _build/dev/src/sledge.exe _build/release/src/sledge.exe _build/dev/sledge.install _build/release/sledge.install
 
 .PHONY: watch
 watch: setup
diff --git a/sledge/bin/sledge.dbg b/sledge/bin/sledge.dbg
index 39fb020be..f2558589e 120000
--- a/sledge/bin/sledge.dbg
+++ b/sledge/bin/sledge.dbg
@@ -1 +1 @@
-../_build/dev/src/sledge.exe
\ No newline at end of file
+../_build/install/dev/bin/sledge
\ No newline at end of file
diff --git a/sledge/bin/sledge.opt b/sledge/bin/sledge.opt
index b65347864..9c49f9623 120000
--- a/sledge/bin/sledge.opt
+++ b/sledge/bin/sledge.opt
@@ -1 +1 @@
-../_build/release/src/sledge.exe
\ No newline at end of file
+../_build/install/release/bin/sledge
\ No newline at end of file
diff --git a/sledge/dune-project b/sledge/dune-project
index 1c220e4d0..b38208cca 100644
--- a/sledge/dune-project
+++ b/sledge/dune-project
@@ -1,2 +1,2 @@
-(lang dune 1.0)
+(lang dune 1.1)
 (using fmt 1.0)
diff --git a/sledge/src/dune.in b/sledge/src/dune.in
index bc691d918..544f56f1b 100644
--- a/sledge/src/dune.in
+++ b/sledge/src/dune.in
@@ -13,7 +13,8 @@ Jbuild_plugin.V1.send
  (mode promote-until-clean))
 
 (executable
- (name sledge)
+ (public_name sledge)
+ (package sledge)
  %s
  (libraries cmdliner %s))
 |}