You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
I run it in the docker as described in step 1: docker run -it -v $HOME/infer-docker:/infer-host infer/infer:infer-latest-java-dev /bin/bash and then run the following commands as suggested in the step 2:
cd /infer
git branch --unset-upstream
git pull
git branch --set-upstream-to=origin/main master
git pull
cp -a /infer/. /infer-host
make -C /infer-host -j 4
The build process fails on the last step with the following error:
root@52c39e82d1d4:/infer# make -C /infer-host -j 4
make: Entering directory '/infer-host'
[08:43:24][ 55] Generating source dependencies...
[ 1s][ 55] SUCCESS Generating source dependencies
[08:43:25][ 123] Building native(dev) Infer...
[*ERROR**][123] *** ERROR 'Building native(dev) Infer'
[*ERROR**][123] *** command: ' make INTERACTIVE=1 -C /infer-host/infer/src infer'
[*ERROR**][123] *** CWD: '/infer-host'
[*ERROR**][123] *** stdout:
[*ERROR**][123] make[1]: Entering directory '/infer-host'
[*ERROR**][123] Makefile:124: recipe for target '/infer-host/infer/bin/infer.exe' failed
[*ERROR**][123] make[1]: Leaving directory '/infer-host/infer/src'
[*ERROR**][123] *** stderr:
[*ERROR**][123] make[1]: warning: jobserver unavailable: using -j1. Add '+' to parent make rule.
[*ERROR**][123] File "dune-project", line 1, characters 11-14:
[*ERROR**][123] 1 | (lang dune 3.6)
[*ERROR**][123] ^^^
[*ERROR**][123] Error: Version 3.6 of dune is not supported.
[*ERROR**][123] Supported versions:
[*ERROR**][123] - 0.0
[*ERROR**][123] - 1.0 to 1.6
[*ERROR**][123] make[1]: *** [/infer-host/infer/bin/infer.exe] Error 1
Makefile:376: recipe for target 'src_build' failed
make: *** [src_build] Error 2
make: Leaving directory '/infer-host'
It seems that dune in infer/infer:infer-latest-java-dev is too old to build the project:
root@52c39e82d1d4:/infer# dune --version
1.6.3
As a workaround I built infer from sources.
So, it would be great to update the description of the lab or the docker container mentioned there, because it is referred from the official Infer documentation.
The text was updated successfully, but these errors were encountered:
I encounter build errors when building the Resource Leak analysis lab with
docker
according to its documentation.I run it in the docker as described in step 1:
docker run -it -v $HOME/infer-docker:/infer-host infer/infer:infer-latest-java-dev /bin/bash
and then run the following commands as suggested in the step 2:The build process fails on the last step with the following error:
It seems that
dune
ininfer/infer:infer-latest-java-dev
is too old to build the project:As a workaround I built infer from sources.
So, it would be great to update the description of the lab or the docker container mentioned there, because it is referred from the official Infer documentation.
The text was updated successfully, but these errors were encountered: