[build] Fix missing dependency on addons install directory.

Fixes #171

[build] Fix missing dependency on addons install directory.
57f99a4f · Emilio Jesus Gallego Arias · ccb9b73e · 57f99a4f
Unverified Commit 57f99a4f authored Apr 3, 2020 by Emilio Jesus Gallego Arias
--- a/dune
+++ b/dune
@@ -8,8 +8,7 @@
 (deps
   (package coq)
   (source_tree coq-addons)
-   ; (source_tree coq-external))
- )
+   (source_tree %{env:COQBUILDDIR_REL=}/user-contrib))
 (action
  (progn
   (run mklibfs %{env:COQBUILDDIR=})