From 6df666b87b73f5f2a894355f2c6b6ce5abbc237a Mon Sep 17 00:00:00 2001 From: Josh Berdine Date: Wed, 31 Oct 2018 11:16:09 -0700 Subject: [PATCH] [sledge] Return dbg and opt build targets Summary: Running `dune build check` while `dune build --watch` is running intermittently produces strange errors due to race conditions between the two. Reviewed By: mbouaziz Differential Revision: D12854510 fbshipit-source-id: 348a902bc --- sledge/Makefile | 13 ++++++++----- 1 file changed, 8 insertions(+), 5 deletions(-) diff --git a/sledge/Makefile b/sledge/Makefile index 85b898585..b678693e4 100644 --- a/sledge/Makefile +++ b/sledge/Makefile @@ -3,11 +3,6 @@ # This source code is licensed under the MIT license found in the # LICENSE file in the root directory of this source tree. -# Expected workflow is to launch `make watch` in a terminal to -# continuously rebuild when files change, and to use `make check` in -# the editor to quickly type-check and populate files used by merlin -# for cross-module information. - .PHONY: default default: exes @@ -31,6 +26,14 @@ check: setup exes: setup dune build _build/dev/src/sledge.exe _build/release/src/sledge.exe _build/dev/sledge.install _build/release/sledge.install +.PHONY: dbg +dbg: setup + dune build _build/dev/src/sledge.exe _build/dev/sledge.install + +.PHONY: opt +opt: setup + dune build _build/release/src/sledge.exe _build/release/sledge.install + .PHONY: watch watch: setup dune build --watch _build/dev/src/sledge.exe _build/release/src/sledge.exe