docker-coala-base icon indicating copy to clipboard operation
docker-coala-base copied to clipboard

Published 20 hours ago • verified publisher icon coala

find sustainable solution for infer

Open fneu opened this issue 8 years ago • 7 comments

we are using a binary version, but only the newest release is provided at the download location. Every new release breaks the link and our dockerfile.

fneu avatar Aug 09 '16 13:08 fneu

https://github.com/facebook/infer/releases/download/v0.9.0/infer-linux64-v0.9.0.tar.xz infer-linux64-v0.9.0.tar.xz

This is the URL in the Dockerfile. Is it not a stable URL?

jayvdb avatar Nov 29 '16 05:11 jayvdb

Latest release is https://github.com/facebook/infer/releases 0.9.4.1

jayvdb avatar Nov 29 '16 05:11 jayvdb

Well, apparently 0.9.0 is still there... I know they removed the 0.8.x link (which we had previously in the dockerfile) when 0.9 came out.

fneu avatar Nov 29 '16 06:11 fneu

Hmm. https://github.com/facebook/infer/releases still shows 0.8.x tarballs. Maybe they rebuilt them. Anyway, it looks like they are doing stable releases now, so now we just need to re-enable infer.

jayvdb avatar Nov 29 '16 06:11 jayvdb

Infer has its own Docker file so might be able to compose the two.

ghost avatar May 12 '17 16:05 ghost

Note we've just encountered a problem with infer 0.7.0 on Ubuntu. https://github.com/coala/coala-bears/issues/1763

Infer has its own Docker file so might be able to compose the two.

It would be wonderful if you were interested in working on a solution for that, or even creating a separate issue explaining how that could work with coala. That would also be helpful in solving ghc-mod https://github.com/coala/docker-coala-base/issues/87

jayvdb avatar May 25 '17 13:05 jayvdb

A new problem is that infer 0.11.0+ require ocaml-version: [ >= "4.04.0" ] which isnt yet packaged on openSUSE, which only has 4.03.0. Also opam 2.0.0betas are now packaged by openSUSE, and it appears to be incompatible with the infer build script.

jayvdb avatar Jul 03 '17 00:07 jayvdb