Cannot sudo make install because dune is not in sudo's PATH

[rafoo]

After a successful compilation with make, the README advises to run sudo make install but this fails in my environment:;

$ make
Done: 727/733 (jobs: 1)
$ sudo make install
[sudo] Mot de passe de cauderlier : 
make: dune: Command not found
make: *** [GNUmakefile:18: bin] Error 127
$ sudo dune install
sudo: dune : commande introuvable
$ dune --version
2.7.1
$ which dune
/home/cauderlier/.opam/4.10.1/bin/dune

IIRC, the problem is that I have no system-wide installation of dune but only a local one installed through Opam.

I suggest to add an opam file at the root of the repository so that Dedukti can be installed locally using opam pin.

[rafoo]

I suggest to add an opam file at the root of the repository so that Dedukti can be installed locally using opam pin.

Actually there is one already...

[rafoo]

Also remark that make install (without sudo) successfully installs the binaries locally.