aboutsummaryrefslogtreecommitdiffhomepage
path: root/app/Main.hs
diff options
context:
space:
mode:
authorMarvin Borner2024-02-24 18:40:54 +0100
committerMarvin Borner2024-02-24 18:40:54 +0100
commit02d531a2dff18aed6ec8085c10113ac0a46b05b9 (patch)
treedb7af5225a9c67ee1ada684de57dab71332d8c3a /app/Main.hs
parent1f78034588a4f545fce3dcd5070b45c60d3f0bdd (diff)
Added reducer selection flag
Diffstat (limited to 'app/Main.hs')
-rw-r--r--app/Main.hs7
1 files changed, 7 insertions, 0 deletions
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 ()