Re: Question about a package mixing Coq and OCaml
Dear Jean-Christophe,
Le 02/03/2023 à 13:00, Jean-Christophe Léchenet a écrit :
We are considering building a debian package for Jasmin. As a first
step, we just want to produce a .deb we will distribute ourselves (there
is an parallel attempt to integrate Jasmin in debian
(https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=991435), but I do not
know what its status is, I asked its author). The interrogation I have
is: can we use as a source the extracted code, like we do for the opam
package, or do we have to use the "real" Coq/OCaml source? I mean, while
we distribute the package ourselves, we can do more or less whatever we
want, I guess, but it would be better to do it in the debian spirit from
the beginning.
In Debian (main), everything must be built from source which, in your
case, is the "real" Coq/OCaml source. The idea is that if the source is
modified, one must be able to rebuild the package. The Debian "source"
package must be self-contained and, ideally, it should not contain
prebuilt stuff.
Cheers,
--
Stéphane
Reply to: