chore(docker): add perf to image (#7266)

Signed-off-by: Rudi Grinberg <[email protected]>

docker/dev.Dockerfile

@@ -5,8 +5,8 @@ RUN opam init --reinit -ni
 RUN mkdir -p /home/opam/dune/_boot /home/opam/dune/_build && chown opam:opam /home/opam/dune/_boot /home/opam/dune/_build
 COPY Makefile Makefile
 COPY .ocamlformat .ocamlformat
-RUN --mount=type=cache,target=/var/cache/apt sudo apt-get install -y pkg-config nodejs strace file && make dev-depext
+RUN --mount=type=cache,target=/var/cache/apt sudo apt-get update && sudo apt-get install -y pkg-config nodejs strace file linux-perf-5.10
 # XXX not really correct as we should copy dune's source and pin it first. But
 # this docker file is mostly useful for quickly figuring out CI issues, so we
 # aren't too concerned
-RUN opam update && make dev-deps && rm .ocamlformat Makefile
+RUN opam update && make dev-depext && make dev-deps && rm .ocamlformat Makefile

docker/dev.yml

@@ -6,6 +6,12 @@ services:
     image: dune
     user: opam
     tty: true
+    privileged: true
+    cap_add:
+      - SYS_PTRACE
+      - SYS_ADMIN
+    security_opt:
+      - seccomp:unconfined
     stdin_open: true
     volumes:
       - ../:/home/opam/dune