From 45813c356a98c2a75cb824ff5befc885a4fae6fe Mon Sep 17 00:00:00 2001
From: Jules Villard <jul@fb.com>
Date: Thu, 17 Dec 2015 03:36:28 -0800
Subject: [PATCH] explicitly disable building from opam

Summary:
public
Building from opam is currently broken because opam doesn't preserve the
symlink structure that is needed by Infer. Fixing this from infer side is not
trivial and may have to wait until we have a working `make install` target.

Reviewed By: jberdine

Differential Revision: D2764478

fb-gh-sync-id: 8d53ef0
---
 opam | 5 ++---
 1 file changed, 2 insertions(+), 3 deletions(-)

diff --git a/opam b/opam
index ba8f660af..8985dfe7c 100644
--- a/opam
+++ b/opam
@@ -8,9 +8,8 @@ bug-reports: "https://github.com/facebook/infer/issues"
 dev-repo: "https://github.com/facebook/infer.git"
 license: "BSD"
 build: [
-  ["./autogen.sh"]
-  ["./configure"]
-  [make "infer" "java"]
+  ["echo" "building from opam is not supported yet"]
+  ["exit" "1"]
 ]
 install: []
 remove: []