build: Add poetry stub

2024-04-11 16:38:44 -07:00 · 2024-04-11 16:38:44 -07:00 · 45e2daa4fb
parent b68968958b
commit 45e2daa4fb
4 changed files with 28 additions and 0 deletions
--- a/.gitignore
+++ b/.gitignore
@ -0,0 +1,6 @@
+.*
+!.gitignore
+
+# Python
+*.py[cod]
+*.egg-info
--- a/pantograph/init.py
+++ b/pantograph/init.py
--- a/poetry.lock
+++ b/poetry.lock
@ -0,0 +1,7 @@
+# This file is automatically @generated by Poetry 1.8.2 and should not be changed by hand.
+package = []
+
+[metadata]
+lock-version = "2.0"
+python-versions = "^3.11"
+content-hash = "81b2fa642d7f2d1219cf80112ace12d689d053d81be7f7addb98144d56fc0fb2"
--- a/pyproject.toml
+++ b/pyproject.toml
@ -0,0 +1,15 @@
+[tool.poetry]
+name = "pantograph"
+version = "0.1.0"
+description = "A machine-to-machine interaction system for Lean"
+authors = ["Leni Aniva <v@leni.sh>"]
+license = "GPL-3"
+readme = "README.md"
+
+[tool.poetry.dependencies]
+python = "^3.11"
+
+
+[build-system]
+requires = ["poetry-core"]
+build-backend = "poetry.core.masonry.api"