From 52e194d35cba6fb29eda72899e18fa3398db2931 Mon Sep 17 00:00:00 2001 From: F-WRunTime Date: Tue, 4 Jun 2024 09:33:15 -0600 Subject: [PATCH] Updating README for Pyk, adding to publsihing package, resolving packaging twine error standards for PyPi to publish --- .github/workflows/release.yml | 2 +- README.md | 3 ++- pyk/README.md | 1 + pyk/pyproject.toml | 3 ++- 4 files changed, 6 insertions(+), 3 deletions(-) diff --git a/.github/workflows/release.yml b/.github/workflows/release.yml index 15415d7a9e7..e9a4b47ccc9 100644 --- a/.github/workflows/release.yml +++ b/.github/workflows/release.yml @@ -374,7 +374,7 @@ jobs: restore-keys: | ${{ runner.os }}-poetry- - - name: Build Pyk Whl + - name: Build Pyk working-directory: pyk run: | make build diff --git a/README.md b/README.md index d7411aab322..902c7f5445d 100644 --- a/README.md +++ b/README.md @@ -375,7 +375,8 @@ For running either program in the debugger, use the main class `org.kframework.m # Installing Python Support -Python tools for K can be found under [runtimeverification/pyk](https://github.com/runtimeverification/pyk). +Python tools for K can be found under [runtimeverification/pyk](https://github.com/runtimeverification/k/tree/master/pyk). +OR on PypI # Troubleshooting Common build-time error messages: diff --git a/pyk/README.md b/pyk/README.md index 57e617f365a..0d61d27ff84 100644 --- a/pyk/README.md +++ b/pyk/README.md @@ -1,4 +1,5 @@ # pyk +## Python tools for K [API documentation](https://kframework.org/pyk/) diff --git a/pyk/pyproject.toml b/pyk/pyproject.toml index b76fa828d68..adfec867fe8 100644 --- a/pyk/pyproject.toml +++ b/pyk/pyproject.toml @@ -5,10 +5,11 @@ build-backend = "poetry.core.masonry.api" [tool.poetry] name = "pyk" version = "7.0.41" -description = "" +description = "Python Tool for K" authors = [ "Runtime Verification, Inc. ", ] +readme = "README.md" [tool.poetry.dependencies] python = "^3.10"