Install KLLVM python package (#553)

* Rename module to _kllvm * Install kllvm as a package * Stand in toml * Package structure * README * Don't build? * Python evrsion * Fix ignored build * Update authors
runtimeverification · Sep 1, 2022 · 2125afb · 2125afb
1 parent d2981c8
commit 2125afb
Show file tree

Hide file tree

Showing 5 changed files with 26 additions and 5 deletions.
diff --git a/bindings/python/CMakeLists.txt b/bindings/python/CMakeLists.txt
@@ -14,11 +14,11 @@ pybind11_add_module(kllvm-static STATIC NO_EXTRAS
  runtime.cpp
 )
 
-pybind11_add_module(kllvm  SHARED
+pybind11_add_module(_kllvm SHARED
  ast.cpp
 )
 
-target_link_libraries(kllvm PUBLIC
+target_link_libraries(_kllvm PUBLIC
  AST
  Parser
 )
@@ -36,6 +36,9 @@ install(FILES $<TARGET_FILE:kllvm-static>
  DESTINATION lib/kllvm
  RENAME libkllvm.a)
 
-install(TARGETS kllvm
- DESTINATION lib/kllvm
+install(DIRECTORY package/
+ DESTINATION lib/python)
+
+install(TARGETS _kllvm
+ DESTINATION lib/python/kllvm
  LIBRARY)
diff --git a/bindings/python/ast.cpp b/bindings/python/ast.cpp
@@ -77,7 +77,7 @@ void bind_ast(py::module_ &m) {
  .def_property_readonly("name", &KORECompositeSort::getName);
 }
 
-PYBIND11_MODULE(kllvm, m) {
+PYBIND11_MODULE(_kllvm, m) {
 #ifdef KLLVM_BUILD_RUNTIME
  bind_runtime(m);
 #endif

diff --git a/bindings/python/package/README.md b/bindings/python/package/README.md
diff --git a/bindings/python/package/kllvm/__init__.py b/bindings/python/package/kllvm/__init__.py
@@ -0,0 +1 @@
+from ._kllvm import *
diff --git a/bindings/python/package/pyproject.toml b/bindings/python/package/pyproject.toml
@@ -0,0 +1,17 @@
+[tool.poetry]
+name = "kllvm"
+version = "0.1.0"
+description = "Python bindings for the K LLVM backend"
+authors = [
+ "Runtime Verification, Inc. <contact@runtimeverification.com>",
+]
+readme = "README.md"
+include = ["kllvm/*"]
+
+[tool.poetry.dependencies]
+python = ">=3.8"
+
+
+[build-system]
+requires = ["poetry-core"]
+build-backend = "poetry.core.masonry.api"