From 40055899c9aafa3360fac4fa9686e4df29b308df Mon Sep 17 00:00:00 2001 From: elvis Date: Fri, 15 Nov 2024 17:23:39 +0100 Subject: [PATCH] Added binary to output file of main --- bin/dune | 17 +++++++++-------- 1 file changed, 9 insertions(+), 8 deletions(-) diff --git a/bin/dune b/bin/dune index d9d9a4a..d0f4dc7 100644 --- a/bin/dune +++ b/bin/dune @@ -1,9 +1,10 @@ (executable - (name main) - (public_name main) - (libraries exercises - miniImp - miniFun - utility) - (package miniFun) - ) + (name main) + (public_name main) + (libraries exercises + miniImp + miniFun + utility) + (package miniFun) + (modes byte exe) +)