[dune] alias default is @install

223aac48 · Loïc Correnson · b0042935 · 223aac48
Commit 223aac48 authored 2 years ago by Loïc Correnson
--- a/dune
+++ b/dune
@@ -20,4 +20,5 @@
 ;;                                                                        ;;
 ;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;

+(alias (name default) (deps (alias install)))
 (dirs src tools tests headers share bin)