Le mardi 07 septembre 2021 à 13:30 +0200, Stéphane Glondu a écrit :
> Le 06/09/2021 à 11:01, Julien Puydt a écrit :
> > The configure script checks for the availability of the switch, and
> > adds it to OCAMLCFLAGS... I checked String.set doesn't seem to be
> > used
> > and String.blit only once, s
Hello Stéphane,
Stéphane Glondu writes:
> I guess we are talking about people doing "sudo dune install", right? As
> opposed to "dune install" being called during Debian package builds.
I am talking about both, in particular it would be nice if
DESTDIR=debian/tmp dune install
would install
Hello,
Le 07/09/2021 à 12:27, Emilio Jesús Gallego Arias a écrit :
> dune-install will by default install files in the "doc" section to
> $prefix/doc, this is incorrect in Debian as it should be $share/doc.
I guess we are talking about people doing "sudo dune install", right? As
opposed to "dune
Le 06/09/2021 à 11:01, Julien Puydt a écrit :
> The configure script checks for the availability of the switch, and
> adds it to OCAMLCFLAGS... I checked String.set doesn't seem to be used
> and String.blit only once, so perhaps there's something simple to do.
>
> My current packaging is available
Source: ocaml-dune
Version: 2.7.1-2
Severity: important
Dear OCaml Maintainers,
dune-install will by default install files in the "doc" section to
$prefix/doc, this is incorrect in Debian as it should be $share/doc.
This creates problems for both users and developers.
Dune >= 2.9 allows configu
5 matches
Mail list logo
