From 49fc19b745e62cc780ef6e2fadaa89ec5525b9f0 Mon Sep 17 00:00:00 2001
From: Nicholas Coughlin <n.coughlin@uq.edu.au>
Date: Sat, 23 Mar 2024 08:34:00 +1000
Subject: [PATCH] Add install alias to default build target

---
 dune | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/dune b/dune
index 47b46643..10c8b130 100644
--- a/dune
+++ b/dune
@@ -24,4 +24,4 @@
 
 (alias
  (name default)
- (deps (package asli)))
+ (deps (package asli) (alias install)))