Include kompile logs in verbose logger (#2013)

* include kompile logs in verbose logger

* Set Version: 1.0.253

* add verbose arg

* Set Version: 1.0.254

* Set Version: 1.0.254

* Set Version: 1.0.255

---------

Co-authored-by: devops <[email protected]>
Co-authored-by: rv-jenkins <[email protected]>

kevm-pyk/pyproject.toml

@@ -4,7 +4,7 @@ build-backend = "poetry.core.masonry.api"
 
 [tool.poetry]
 name = "kevm-pyk"
-version = "1.0.254"
+version = "1.0.255"
 description = ""
 authors = [
     "Runtime Verification, Inc. <[email protected]>",

kevm-pyk/src/kevm_pyk/__main__.py

@@ -112,6 +112,7 @@ def exec_kompile(
     debug: bool = False,
     enable_llvm_debug: bool = False,
     llvm_library: bool = False,
+    verbose: bool = False,
     **kwargs: Any,
 ) -> None:
     optimization = 0
@@ -136,6 +137,7 @@ def exec_kompile(
         enable_llvm_debug=enable_llvm_debug,
         llvm_kompile_type=LLVMKompileType.C if llvm_library else LLVMKompileType.MAIN,
         debug=debug,
+        verbose=verbose,
     )
 
 
@@ -171,6 +173,7 @@ def exec_foundry_kompile(
     llvm_kompile: bool = True,
     debug: bool = False,
     llvm_library: bool = False,
+    verbose: bool = False,
     **kwargs: Any,
 ) -> None:
     _ignore_arg(kwargs, 'main_module', f'--main-module {kwargs["main_module"]}')
@@ -192,6 +195,7 @@ def exec_foundry_kompile(
         llvm_kompile=llvm_kompile,
         debug=debug,
         llvm_library=llvm_library,
+        verbose=verbose,
     )
 
 

kevm-pyk/src/kevm_pyk/foundry.py

@@ -366,6 +366,7 @@ def foundry_kompile(
     llvm_kompile: bool = True,
     debug: bool = False,
     llvm_library: bool = False,
+    verbose: bool = False,
 ) -> None:
     from .kompile import KompileTarget, kevm_kompile
 
@@ -460,6 +461,7 @@ def _kompile(
             ccopts=ccopts,
             llvm_kompile_type=llvm_kompile_type,
             debug=debug,
+            verbose=verbose,
         )
 
     def kompilation_digest() -> str:

kevm-pyk/src/kevm_pyk/kompile.py

@@ -99,6 +99,7 @@ def kevm_kompile(
     llvm_kompile_type: LLVMKompileType | None = None,
     enable_llvm_debug: bool = False,
     debug: bool = False,
+    verbose: bool = False,
 ) -> Path:
     backend = target.backend
     md_selector = target.md_selector
@@ -141,7 +142,7 @@ def kevm_kompile(
             raise ValueError(f'Unsupported backend: {backend.value}')
 
     try:
-        return kompile(output_dir=output_dir or target.definition_dir, debug=debug)
+        return kompile(output_dir=output_dir or target.definition_dir, debug=debug, verbose=verbose)
     except RuntimeError as err:
         sys.stderr.write(f'\nkompile stdout:\n{err.args[1]}\n')
         sys.stderr.write(f'\nkompile stderr:\n{err.args[2]}\n')

package/debian/changelog

@@ -1,4 +1,4 @@
-kevm (1.0.254) unstable; urgency=medium
+kevm (1.0.255) unstable; urgency=medium
 
   * Initial Release.
 

package/version

@@ -1 +1 @@
-1.0.254
+1.0.255