suggest opam pin when requesting a specific version of a package

Reviewed By: jberdine

Differential Revision: D2718312

fb-gh-sync-id: bed7353

m4/ac_assert_ocaml_pkg.m4

@@ -19,17 +19,18 @@ AC_DEFUN([AC_ASSERT_OCAML_PKG],
   has_pkg=$AS_TR_SH[OCAML_PKG_$1]
   AS_IF([test "$has_pkg" = "no"],
   [dnl
+   unset opam_command
    unset version
-    unset version_msg
+    opam_command="opam pin add $1 $3"
     version=".$3"
-    AS_IF([test "x$3" = "x"], [version=""])
+    AS_IF([test "x$3" = "x"],
-    version_msg=""
+      [opam_command="opam install $1"
-    AS_IF([test "x$3" != "x"], [version_msg=" version $3"])
+      version=""])
-    AC_MSG_ERROR([missing dependency: $1$version_msg.
+    AC_MSG_ERROR([missing dependency: $1$version.
 
 If you are using opam, please run
 
-  opam install $1$version])
+  $opam_command])
   ])
 ])
 

opam

@@ -1,24 +1,27 @@
 opam-version: "1.2"
 name: "infer"
-version: "0.1.0"
+version: "0.4.0"
 maintainer: "opam-devel@lists.ocaml.org"
 authors: "Facebook"
 homepage: "https://github.com/facebook/infer"
 bug-reports: "https://github.com/facebook/infer/issues"
 dev-repo: "https://github.com/facebook/infer.git"
 license: "BSD"
-build: [ [make "-C" "infer" "java"] ]
+build: [
+  ["./autogen.sh"]
+  ["./configure"]
+  [make "infer" "java"]
+]
 install: []
 remove: []
 depends: [
   "ocamlfind" {build}
-  "sawja" {>="1.5.1"}
+  "sawja" {="1.5.1"}
-  "atdgen" {>="1.6"}
+  "atdgen" {="1.6.0"}
-  "javalib" {>="2.3.1"}
+  "javalib" {="2.3.1"}
-  "extlib" {>="1.5.4"}
+  "extlib" {="1.5.4"}
 ]
 depexts: [
   [ ["ubuntu"] ["python2.7-dev"] ]
   [ ["debian"] ["python2.7-dev"] ]
 ]
-