Stuck on stage #QP2 - cannot use readline package

Challenges
1

I’m unable to install the readline ocaml package. Sounds like readline.h file isn’t present on the system. How can I solve this? Thanks!

build] > #=== ERROR while compiling readline.0.2 =======================================#
[build] > # context              2.0.10 | linux/x86_64 | ocaml-base-compiler.5.4.0 | git+file:///home/opam/opam-repository
[build] > # path                 ~/.opam/5.4/.opam-switch/build/readline.0.2
[build] > # command              ~/.opam/5.4/bin/dune build -p readline -j 71 @install
[build] > # exit-code            1
[build] > # env-file             ~/.opam/log/readline-7-29d576.env
[build] > # output-file          ~/.opam/log/readline-7-29d576.out
[build] > ### output ###
[build] > # File "src/dune", line 17, characters 11-19:
[build] > # 17 |     (names readline)
[build] > #                 ^^^^^^^^
[build] > # (cd _build/default/src && /usr/bin/gcc -O2 -fno-strict-aliasing -fwrapv -fPIC -pthread -D_FILE_OFFSET_BITS=64 -Wall -fdiagnostics-color=always -g -I /home/opam/.opam/5.4/lib/ocaml -o readline.o -c readline.c)
[build] > # readline.c:6:10: fatal error: readline/readline.h: No such file or directory
[build] > #     6 | #include <readline/readline.h>
[build] > #       |          ^~~~~~~~~~~~~~~~~~~~~
[build] > # compilation terminated.
3

Is that on the tester or locally? I’m guessing Ocaml is trying to build a library and need the development package for the header file? Locally, you may find it easiest to install libreadline-dev or whatever you system calls the underlying package (that the ocaml package itself needs).

4

Locally it’s working, as the package is installed on my system. It’s the tester that’s failing and I’m unable to install the package.

I found this thread with a similar problem with Zig: [#QP2][Zig] Using readline, huh? @andy1li upgraded the Zig buildpack to solve it. Maybe the same thing needs to be done for Ocaml?

Zig Dockerfile:

image
image421×158 9.24 KB

The Ocaml Dockerfile doesn’t install any additional packages.