From 5c8519d47d6dfcdafdc3ee1e92e47ffd8018f34c Mon Sep 17 00:00:00 2001
From: Sungkeun Cho <scho@fb.com>
Date: Tue, 15 Oct 2019 08:13:25 -0700
Subject: [PATCH] Use fixed Yojson internally

Reviewed By: jvillard

Differential Revision: D17828853

fbshipit-source-id: 51dc255f3
---
 build-infer.sh | 5 +++++
 1 file changed, 5 insertions(+)

diff --git a/build-infer.sh b/build-infer.sh
index 158f9180f..0ed252157 100755
--- a/build-infer.sh
+++ b/build-infer.sh
@@ -13,7 +13,9 @@ set -u
 
 SCRIPT_DIR="$( cd "$( dirname "${BASH_SOURCE[0]}" )" && pwd )"
 INFER_ROOT="$SCRIPT_DIR"
+DEPENDENCIES_DIR="$INFER_ROOT/facebook/dependencies"
 PLATFORM="$(uname)"
+SANDCASTLE=${SANDCASTLE:-}
 NCPU="$(getconf _NPROCESSORS_ONLN 2>/dev/null || echo 1)"
 INFER_OPAM_DEFAULT_SWITCH="ocaml-variants.4.07.1+flambda"
 INFER_OPAM_SWITCH=${INFER_OPAM_SWITCH:-$INFER_OPAM_DEFAULT_SWITCH}
@@ -129,6 +131,9 @@ install_opam_deps () {
         locked=--locked
     fi
     opam install --deps-only infer "$INFER_ROOT" $locked
+    if [ -n "$SANDCASTLE" ]; then
+        opam pin list | grep yojson || opam pin add yojson "${DEPENDENCIES_DIR}/yojson-1.7.0fix"
+    fi
 }
 
 echo "initializing opam... " >&2