From 6f7b299c3bd1a7fb53fa7ed00716fde02fdf76a5 Mon Sep 17 00:00:00 2001
From: Ivan Gotovchits <ivg@ieee.org>
Date: Wed, 3 Aug 2022 11:12:07 -0400
Subject: [PATCH] adds packages to the dune install invocaton (#20)

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

diff --git a/opam b/opam
index 0bd8cd9..a63d2ef 100644
--- a/opam
+++ b/opam
@@ -29,5 +29,5 @@ build: [
 ]
 
 install: [
-  ["dune" "install"]
+  ["dune" "install" "-p" "piqi,piqirun"]
 ]