Enhance target options in CLI by adding new summary targets for LLVM and Haskell. This update expands the choices available for the --target argument to include llvm-summary and haskell-summary.

Author: Stevengre

kevm-pyk/src/kevm_pyk/cli.py

@@ -855,7 +855,9 @@ class KEVMCLIArgs(KCLIArgs):
     @cached_property
     def target_args(self) -> ArgumentParser:
         args = ArgumentParser(add_help=False)
-        args.add_argument('--target', choices=['llvm', 'haskell', 'haskell-standalone', 'foundry'])
+        args.add_argument(
+            '--target', choices=['llvm', 'haskell', 'llvm-summary', 'haskell-summary', 'haskell-standalone', 'foundry']
+        )
         return args
 
     @cached_property