[sledge] Run executables from dune install dir

Summary: instead of hard-coding paths into the build dirs.

Reviewed By: mbouaziz

Differential Revision: D10389472

fbshipit-source-id: 1c90b3c9c

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

sledge/bin/sledge.dbg

@@ -1 +1 @@
-../_build/dev/src/sledge.exe
+../_build/install/dev/bin/sledge

sledge/bin/sledge.opt

@@ -1 +1 @@
-../_build/release/src/sledge.exe
+../_build/install/release/bin/sledge

sledge/dune-project

@@ -1,2 +1,2 @@
-(lang dune 1.0)
+(lang dune 1.1)
 (using fmt 1.0)

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))
 |}