Error building the Resource Leak analysis lab in docker

[jubnzv]

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:

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.