From c46712080aa064daddb797f79910520922639777 Mon Sep 17 00:00:00 2001
From: Georgy Lukyanov <mail@geo2a.info>
Date: Wed, 26 Jul 2023 10:02:35 +0200
Subject: [PATCH] Don't ignore `--with-llvm-library` in `kevm kompile` (#1965)
MIME-Version: 1.0
Content-Type: text/plain; charset=UTF-8
Content-Transfer-Encoding: 8bit

* 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 <devops@runtimeverification.com>
Co-authored-by: rv-jenkins <admin@runtimeverification.com>
Co-authored-by: Andrei Văcaru <16517508+anvacaru@users.noreply.github.com>
---
 kevm-pyk/pyproject.toml           | 2 +-
 kevm-pyk/src/kevm_pyk/__main__.py | 3 +++
 package/debian/changelog          | 2 +-
 package/version                   | 2 +-
 4 files changed, 6 insertions(+), 3 deletions(-)

diff --git a/kevm-pyk/pyproject.toml b/kevm-pyk/pyproject.toml
index cdf440c657..b82b8c4c97 100644
--- 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. <contact@runtimeverification.com>",
diff --git a/kevm-pyk/src/kevm_pyk/__main__.py b/kevm-pyk/src/kevm_pyk/__main__.py
index ccb17deac5..e29e4671b7 100644
--- 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
index 9aec7b0bab..39387f397a 100644
--- 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
index f5f769a902..9191d2162c 100644
--- a/package/version
+++ b/package/version
@@ -1 +1 @@
-1.0.239
+1.0.240