From ee67e09cdf736c23569604e042ac9cfba1a94472 Mon Sep 17 00:00:00 2001
From: Jules Villard <jul@fb.com>
Date: Fri, 23 Jun 2017 07:07:32 -0700
Subject: [PATCH] [opamlock] fix opam.lock target
MIME-Version: 1.0
Content-Type: text/plain; charset=UTF-8
Content-Transfer-Encoding: 8bit

Summary:
Forgot to substitute "infer" for "infer-lock-deps" and so `make opam.lock` was
failing if `infer` has not been manually pinned (which I didn't notice
previously because I had it git-pinned for some reason...).

Reviewed By: martinoluca

Differential Revision: D5310206

fbshipit-source-id: c023659
---
 Makefile | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/Makefile b/Makefile
index 2d11a78d4..2f54bd310 100644
--- a/Makefile
+++ b/Makefile
@@ -536,7 +536,7 @@ opam.lock: opam
 	$(QUIET)$(call silent_on_success,installing dependencies $(INFER_PKG_OPAMLOCK) opam package,\
 	  OPAMSWITCH=$(OPAMSWITCH); \
 	  $(OPAM) pin add --yes --no-action -k git $(INFER_PKG_OPAMLOCK) .#HEAD; \
-	  $(OPAM) install --deps-only --yes infer)
+	  $(OPAM) install --deps-only --yes $(INFER_PKG_OPAMLOCK))
 	$(QUIET)$(call silent_on_success,generating opam.lock,\
 	  $(OPAM) lock --pkg  $(INFER_PKG_OPAMLOCK) > opam.lock)