From 02d531a2dff18aed6ec8085c10113ac0a46b05b9 Mon Sep 17 00:00:00 2001
From: Marvin Borner
Date: Sat, 24 Feb 2024 18:40:54 +0100
Subject: Added reducer selection flag

---
 app/Main.hs | 7 +++++++
 1 file changed, 7 insertions(+)

(limited to 'app/Main.hs')

diff --git a/app/Main.hs b/app/Main.hs
index 721dfec..1e22a4b 100644
--- a/app/Main.hs
+++ b/app/Main.hs
@@ -27,6 +27,13 @@ args =
           (long "target" <> short 't' <> metavar "TARGET" <> value "" <> help
             "Optimize to target using BLoC and BLoCade"
           )
+    <*> strOption
+          (  long "reducer"
+          <> short 'r'
+          <> metavar "REDUCER"
+          <> value "RKNL"
+          <> help "Reducer (currently RKNL or ION)"
+          )
     <*> optional (argument str (metavar "PATH" <> help "Path to file"))
 
 main :: IO ()
-- 
cgit v1.2.3