Specifying specific version of extlib in opam

[charany1]

After getting terminal output as pasted by me in #324 .

I went on to execute following three commands :

  opam update
  opam pin add --yes --no-action infer .
  opam install --deps-only infer

and got this :

yogeshwardancharan@yogeshwardancharan-Lenovo-G570:~/infer$ opam install --deps-only infer

=-=- Synchronising pinned packages =-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=
[infer] /home/yogeshwardancharan/infer/ already up-to-date
The following dependencies couldn't be met:
  - javalib -> extlib <= 1.6.0
Your request can't be satisfied:
  - No package matches extlib<=1.6.0.

No solution found, exiting

I think it is because of this line in opam file .

 "extlib" {>="1.5.4"}

It results in installing of latest extlib release from here which as of now is 1.7.0 .

To avoid this problem I guess we should specify highest extlib version <= 1.6.0 which is 1.6.0 itself rather than conditional range .

System detail : 32-bit Ubuntu 14.04 LTS

[jvillard]

@charany1 can you install javalib on its own? For example opam pin remove infer && opam install javalib?

[charany1]

this results in installing of javalib 2.3a whereas required is javalib>=2.3.1 .

I get this error :

yogeshwardancharan@yogeshwardancharan-Lenovo-G570:~/infer$ ./build-infer.sh java
initializing opam... 
preparing build... 
checking if we are in an Infer release build... no
checking for python2.7... python2.7
checking for xcode-select... no
checking for clang... no
checking for gcc... gcc
checking whether the C compiler works... yes
checking for C compiler default output file name... a.out
checking for suffix of executables... 
checking whether we are cross compiling... no
checking for suffix of object files... o
checking whether we are using the GNU C compiler... yes
checking whether gcc accepts -g... yes
checking for gcc option to accept ISO C89... none needed
checking for gawk... no
checking for mawk... mawk
checking for a BSD-compatible install... /usr/bin/install -c
checking whether ln -s works... yes
checking whether make sets $(MAKE)... yes
checking for a thread-safe mkdir -p... /bin/mkdir -p
checking for ocamlc... ocamlc
OCaml version is 4.02.1
OCaml library path is /home/yogeshwardancharan/.opam/4.02.1/lib/ocaml
checking for ocamlopt... ocamlopt
checking for ocamlc.opt... ocamlc.opt
checking for ocamlopt.opt... ocamlopt.opt
checking for dynlink.cmxa... yes
checking for ocaml... ocaml
checking for ocamldep... ocamldep
checking for ocamlmktop... ocamlmktop
checking for ocamlmklib... ocamlmklib
checking for ocamldoc... ocamldoc
checking for ocamlbuild... ocamlbuild
checking if OCaml version is >= 4.02.1... yes
checking for ocamlfind... ocamlfind
checking for ocamllex... ocamllex
checking for ocamllex.opt... ocamllex.opt
checking for ocamlyacc... ocamlyacc
checking for OCaml findlib package atdgen version 1.6.0... /home/yogeshwardancharan/.opam/4.02.1/lib/atdgen
checking for OCaml findlib package biniou... /home/yogeshwardancharan/.opam/4.02.1/lib/biniou
checking for OCaml findlib package camlzip... /home/yogeshwardancharan/.opam/4.02.1/lib/camlzip/../zip
checking for OCaml findlib package easy-format... /home/yogeshwardancharan/.opam/4.02.1/lib/easy-format
checking for OCaml findlib package extlib version 1.5.4... /home/yogeshwardancharan/.opam/4.02.1/lib/extlib
checking for OCaml findlib package oUnit version 2.0.0... /home/yogeshwardancharan/.opam/4.02.1/lib/oUnit
checking for OCaml findlib package yojson... /home/yogeshwardancharan/.opam/4.02.1/lib/yojson
checking for java... java
checking for javac... javac
checking for OCaml findlib package javalib version 2.3.1... not found
configure: error: missing dependency: javalib.

If you are using opam, please run

  opam update
  opam pin add --yes --no-action infer .
  opam install --deps-only infer

I can get javalib jar from here , can you guide how to install this from here .

When I try to install javalib 2.3.1 I get this

yogeshwardancharan@yogeshwardancharan-Lenovo-G570:~/infer$ opam install javalib.2.3.1
Your request can't be satisfied:
  - No package matches javalib.2.3.1.

No solution found, exiting

[jvillard]

What's the output of opam switch show?

[jvillard]

Hi @charany1, any news here?

[jvillard]

Looks like it was an issue with the opam install, closing optimistically. Please do re-open if there is still an issue.