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: []