Merge pull request #49 from lenianiva/bug/wheel

fix: Force poetry to include executable in wheel

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

pyproject.toml

@@ -6,6 +6,11 @@ authors = ["Leni Aniva <[email protected]>"]
 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"