[opam-devel] can we remove directory build
Thomas Gazagnaire
thomas at gazagnaire.org
Thu Nov 21 17:15:02 GMT 2013
Yes you can remove that safely.
Your issue is tracked by https://github.com/ocaml/opam/issues/1006
Thomas
On 21 Nov 2013, at 18:12, Dagnat Fabien <fabien.dagnat at telecom-bretagne.eu> wrote:
> Hello,
> While auditing the space occupied by .opam, I found out that when using switch the directory for the new compiler say for exemple 4.01.0 contains a huge build directory that is kept after build whereas the build of each package is removed after the installation finishes.
>
> Can we safely remove the content of this build directory? In my case it would save 350M over 670M for my students that have quotas...
>
> Fabien
>
> Fabien DAGNAT
> Maître de conférences au département informatique
> Responsable de la filière Systèmes Logiciels et Réseaux
> Tél. : (0 | 33) 2 29 00 14 09 Technopôle Brest-Iroise, CS 83818
> 29238 Brest Cedex 3, France
>
> Une école de l'Institut Mines-Télécom
>
> _______________________________________________
> opam-devel mailing list
> opam-devel at lists.ocaml.org
> http://lists.ocaml.org/listinfo/opam-devel
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.ocaml.org/pipermail/opam-devel/attachments/20131121/b97f4acf/attachment.html>
More information about the opam-devel
mailing list