[sledge] Simplify build

Reviewed By: jvillard

Differential Revision: D15316845

fbshipit-source-id: ff7864fb7

.gitignore

@@ -62,6 +62,7 @@ duplicates.txt
 /Makefile.autoconf
 /.buckversion
 /*/.gitignore
+/*/*/.gitignore
 
 # IntelliJ files
 /scripts/.idea/

sledge/.gitignore

@@ -1,4 +1,5 @@
 .merlin
+/bin/
 /llvm/
 /model/cxxabi.bc
 /src/dune

sledge/Makefile

@@ -6,7 +6,19 @@
 .PHONY: default
 default: exes
 
-DUNEINS=$(shell find src -name dune.in)
+EXES = src/sledge
+INSTALLS = sledge
+
+facebook/Makefile:
+	-@${MAKE} -s -C ../facebook setup
+	-@${MAKE} -s -C facebook
+
+-include facebook/Makefile
+
+DBG_TARGETS = $(patsubst %,_build/dev/%.exe,$(EXES)) $(patsubst %,_build/dev/%.install,$(INSTALLS))
+OPT_TARGETS = $(patsubst %,_build/release/%.exe,$(EXES)) $(patsubst %,_build/release/%.install,$(INSTALLS))
+
+DUNEINS = $(shell find src facebook -name dune.in)
 DUNES = $(patsubst %.in,%,$(DUNEINS))
 
 .PHONY: dunes
@@ -16,7 +28,7 @@ dunes: $(DUNES)
 	@cat $+ > $@
 
 .PHONY: setup
-setup: dunes
+setup: facebook/Makefile dunes
 
 .PHONY: check
 check: setup
@@ -24,19 +36,19 @@ check: setup
 
 .PHONY: exes
 exes: setup
-	dune build _build/dev/src/sledge.exe _build/release/src/sledge.exe _build/dev/sledge.install _build/release/sledge.install
+	dune build $(DBG_TARGETS) $(OPT_TARGETS)
 
 .PHONY: dbg
 dbg: setup
-	dune build _build/dev/src/sledge.exe _build/dev/sledge.install
+	dune build $(DBG_TARGETS)
 
 .PHONY: opt
 opt: setup
-	dune build _build/release/src/sledge.exe _build/release/sledge.install
+	dune build $(OPT_TARGETS)
 
 .PHONY: watch
 watch: setup
-	dune build --watch _build/dev/src/sledge.exe _build/release/src/sledge.exe
+	dune build --watch $(DBG_TARGETS) $(OPT_TARGETS)
 
 .PHONY: test
 test: setup

sledge/dune-project

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

sledge/sledge.opam

@@ -21,6 +21,7 @@ depends: [
   "ppx_compare"
   "ppx_deriving_cmdliner" {>= "0.4.2"}
   "ppx_hash"
+  "shexp"
   "zarith"
 ]
 synopsis: "SLEdge analyzer"