From e1347b52a38a35e2260c2c5e30d6dee2c7b7df09 Mon Sep 17 00:00:00 2001
From: Vishesh Handa <me@vhanda.in>
Date: Sat, 19 Oct 2019 17:18:39 +0100
Subject: [PATCH] Add missing file

---
 gj_common/install_infer.sh | 8 ++++++++
 1 file changed, 8 insertions(+)
 create mode 100755 gj_common/install_infer.sh

diff --git a/gj_common/install_infer.sh b/gj_common/install_infer.sh
new file mode 100755
index 00000000..da9840af
--- /dev/null
+++ b/gj_common/install_infer.sh
@@ -0,0 +1,8 @@
+#!/usr/bin/env bash
+
+set -eux
+
+export VERSION=0.17.0
+curl -sSL "https://github.com/facebook/infer/releases/download/v$VERSION/infer-linux64-v$VERSION.tar.xz" |
+    sudo tar -C /opt -xJ &&
+    ln -s "/opt/infer-linux64-v$VERSION/bin/infer" /usr/local/bin/infer