[Date Prev][Date Next] [Thread Prev][Thread Next] [Date Index] [Thread Index]

Re: ocaml-source sources location

Stefano Zacchiroli <zack@debian.org> writes:

> I really don't remember if we have talked about the location of ocaml
> sources distributed in the ocaml-source package.
> Currently that sources are put in /usr/lib/ocaml/source, IMO is better
> to put them in /usr/src/ocaml.
> I've had a rapid look at the FHS, quoting from it:
>   4.4  /usr/lib : Libraries for programming and packages
>     /usr/lib includes object files, libraries, and internal binaries
>     that are not intended to be executed directly by users or shell
>     scripts.
>   4.8  /usr/src : Source code
>     Any non-local source code should be placed in this subdirectory.
> Again, it seems to me that /usr/src is a better place.
> Sven, if you agree with this idea, just apply this tiny patch to the
> debian/rules:
>    --- ocaml-3.04.orig/debian/rules  Wed Apr  3 16:08:09 2002
>    +++ ocaml-3.04/debian/rules Wed Apr  3 16:09:11 2002
>    @@ -117,7 +117,7 @@
>      # And finally the ocaml-source package.
>      for i in `cat debian/ocaml-source.files`; do      \
>        install -m 644 -D $$i         \
>    -     debian/ocaml-source/usr/lib/ocaml/source/$$i; \
>    +     debian/ocaml-source/usr/src/ocaml/$$i;  \
>      done
>     # Build architecture-independent files here.
> and add a file debian/ocaml-source.dirs containing:
>   usr/src/ocaml

I've something else to add: ocaml-source is primarily useful for
library that need the ocaml source to compile. It would be useful
if the source were already configured, because one have to look into
the ocaml source package to see the debian/rules file to have the
option used at the configuration stage (if he want exactly the same

Also all the shell script of ocaml-source have lost their executable
mask, is there any good reason ? one have to manually add them before
successful recompile ocaml from source taken in ocaml-source.

Rémi Vanicat

To UNSUBSCRIBE, email to debian-ocaml-maint-request@lists.debian.org
with a subject of "unsubscribe". Trouble? Contact listmaster@lists.debian.org

Reply to: