Remove the build dir when we remove a library. This doesn't change th…

…e behavior of reinstall, it just clean up more space.
samoht · Jul 17, 2012 · 44ff6c4 · 44ff6c4
1 parent 8854165
commit 44ff6c4
Show file tree

Hide file tree

Showing 2 changed files with 9 additions and 0 deletions.
diff --git a/CHANGES b/CHANGES
@@ -1,3 +1,11 @@
+0.3 [July 2012]
+* improve parallel compilation of packages
+* better recovery on compilation/installation errors
+* first draft of version pinnig
+* fix 'opam config -env' for old shells
+* install the latest version of packages when possible
+* more robust 'opam update' (ie. old files are gc-ed)
+
 0.2 [July 2012]
 * more robust switch command
 * more robust parallel build (not yet activated by default)

diff --git a/src/client.ml b/src/client.ml
@@ -773,6 +773,7 @@ let proceed_todelete t nv =
 
   (* Remove the libraries *)
   Dirname.rmdir (Path.C.lib t.compiler name);
+  Dirname.rmdir (Path.C.build t.compiler nv);
 
   (* Remove the binaries *)
   let install = File.Dot_install.safe_read (Path.C.install t.compiler name) in