From b5a711202cef9d75819b712be55cf005d73b33b6 Mon Sep 17 00:00:00 2001 From: Leni Aniva Date: Tue, 10 Dec 2024 16:36:41 -0800 Subject: [PATCH 1/2] fix: Force poetry to include executable in wheel --- pyproject.toml | 5 +++++ 1 file changed, 5 insertions(+) diff --git a/pyproject.toml b/pyproject.toml index ef55b3c..0394282 100644 --- a/pyproject.toml +++ b/pyproject.toml @@ -6,6 +6,11 @@ authors = ["Leni Aniva "] license = "GPL-3" readme = "README.md" +include = [ + { path = "pantograph/pantograph-repl", format = ["sdist", "wheel"] }, + { path = "pantograph/lean-toolchain", format = ["sdist", "wheel"] }, +] + [tool.poetry.dependencies] pexpect = "^4.9.0" python = "^3.10" From 1aacbfa42eda203c07f8e47c2d9ff0f0264e153e Mon Sep 17 00:00:00 2001 From: Leni Aniva Date: Tue, 10 Dec 2024 16:40:07 -0800 Subject: [PATCH 2/2] doc: Add documentation about using wheel --- docs/setup.md | 8 +++++++- 1 file changed, 7 insertions(+), 1 deletion(-) diff --git a/docs/setup.md b/docs/setup.md index f1a4382..abe1df5 100644 --- a/docs/setup.md +++ b/docs/setup.md @@ -4,7 +4,13 @@ Install `poetry`. Then, run ```sh poetry build ``` -This builds a wheel of Pantograph which can then be installed. + +This builds a wheel of Pantograph in `dist` which can then be installed. For +example, a downstream project could have this line in its `pyproject.toml` + +```toml +pantograph = { file = "path/to/wheel/dist/pantograph-0.2.19-cp312-cp312-manylinux_2_40_x86_64.whl" } +``` To run the examples and experiments, setup a poetry shell: ```sh