Build directories kept again for pinned packages #4255
Description
#266 came up again. I have installed packages without the --keep-build-dir option (or corresponding environment option), yet build folders were kept and occupied 3G. Anything that could explain it?
I've learned to use opam clean as a workaround, but I thought I'd file this issue for future users anyway.
Also, FWIW, I don't know how to reproduce it. I'll try
$ opam config report
# opam config report
# opam-version 2.0.7
# self-upgrade no
# system arch=x86_64 os=linux os-distribution=debian os-version=10
# solver builtin-mccs+glpk
# install-criteria -removed,-count[version-lag,request],-count[version-lag,changed],-changed
# upgrade-criteria -removed,-count[version-lag,solution],-new
# jobs 1
# repositories 2 (http), 2 (version-controlled) (default repo at 24cd8ca3)
# pinned 1 (git), 2 (version)
# current-switch ocaml-variants.4.07.1+flambda
$ du -h --ma=1 ~/.opam/ocaml-variants.4.07.1+flambda/.opam-switch/
8.0K /home/artifact/.opam/ocaml-variants.4.07.1+flambda/.opam-switch/backup
8.0K /home/artifact/.opam/ocaml-variants.4.07.1+flambda/.opam-switch/config
188K /home/artifact/.opam/ocaml-variants.4.07.1+flambda/.opam-switch/packages
12K /home/artifact/.opam/ocaml-variants.4.07.1+flambda/.opam-switch/overlay
2.9G /home/artifact/.opam/ocaml-variants.4.07.1+flambda/.opam-switch/build
87M /home/artifact/.opam/ocaml-variants.4.07.1+flambda/.opam-switch/sources
676K /home/artifact/.opam/ocaml-variants.4.07.1+flambda/.opam-switch/install
3.0G /home/artifact/.opam/ocaml-variants.4.07.1+flambda/.opam-switch/
$ opam pin
coq.8.11.2+flambda-byte version 8.11.2+flambda-byte
coq-autosubst.dev.coq86 version dev.coq86
dot-iris-builddep.~dev git git+file:///home/artifact/dot-iris#final-artifact
$ opam list
# Packages matching: installed
# Name # Installed # Synopsis
base-bigarray base
base-threads base
base-unix base
conf-findutils 1 Virtual package relying on findutils
conf-m4 1 Virtual package relying on m4
coq 8.11.2+flambda-byte pinned to version 8.11.2+flambda-byte
coq-autosubst dev.coq86 pinned to version dev.coq86
coq-iris dev.2020-06-29.0.462b056f This is the Coq development of the Iris Project
coq-iris-string-ident dev Add support for Gallina names in intro patterns to the Iris Proof Mode
coq-stdpp dev.2020-06-17.1.370c0cf4 std++ is an extended "Standard Library" for Coq
dot-iris-builddep ~dev pinned to version ~dev at git+file:///home/artifact/dot-iris#final-artifact
num 1.3 The legacy Num library for arbitrary-precision integer and rational arithmetic
ocaml 4.07.1 The OCaml compiler (virtual package)
ocaml-config 1 OCaml Switch Configuration
ocaml-variants 4.07.1+flambda Official release 4.07.1, with flambda activated
ocamlfind 1.8.1 A library manager for OCaml