Don't ignore --with-llvm-library in kevm kompile (#1965)

* Don't ignore `--with-llvm-library` in `kevm kompile` * Set Version: 1.0.237 * Set Version: 1.0.238 * Set Version: 1.0.240 --------- Co-authored-by: devops <[email protected]> Co-authored-by: rv-jenkins <[email protected]> Co-authored-by: Andrei Văcaru <[email protected]>
runtimeverification · Jul 26, 2023 · c467120 · c467120
1 parent 7b6a595
commit c467120
Show file tree

Hide file tree

Showing 4 changed files with 6 additions and 3 deletions.
diff --git a/kevm-pyk/pyproject.toml b/kevm-pyk/pyproject.toml
@@ -4,7 +4,7 @@ build-backend = "poetry.core.masonry.api"
 
 [tool.poetry]
 name = "kevm-pyk"
-version = "1.0.239"
+version = "1.0.240"
 description = ""
 authors = [
     "Runtime Verification, Inc. <[email protected]>",

diff --git a/kevm-pyk/src/kevm_pyk/__main__.py b/kevm-pyk/src/kevm_pyk/__main__.py
@@ -13,6 +13,7 @@
 from pyk.kast.outer import KApply, KRewrite
 from pyk.kcfg import KCFG, KCFGExplore
 from pyk.kore.prelude import int_dv
+from pyk.ktool.kompile import LLVMKompileType
 from pyk.ktool.krun import KRunOutput, _krun
 from pyk.prelude.ml import is_bottom, is_top
 from pyk.proof import APRProof
@@ -103,6 +104,7 @@ def exec_kompile(
     o3: bool = False,
     debug: bool = False,
     enable_llvm_debug: bool = False,
+    llvm_library: bool = False,
     **kwargs: Any,
 ) -> None:
     optimization = 0
@@ -125,6 +127,7 @@ def exec_kompile(
         ccopts=ccopts,
         optimization=optimization,
         enable_llvm_debug=enable_llvm_debug,
+        llvm_kompile_type=LLVMKompileType.C if llvm_library else LLVMKompileType.MAIN,
         debug=debug,
     )
 

diff --git a/package/debian/changelog b/package/debian/changelog
@@ -1,4 +1,4 @@
-kevm (1.0.239) unstable; urgency=medium
+kevm (1.0.240) unstable; urgency=medium
 
   * Initial Release.
 

diff --git a/package/version b/package/version
@@ -1 +1 @@
-1.0.239
+1.0.240