From 45e2daa4fb0de7b789ba8d5c50370bdef4fb67d5 Mon Sep 17 00:00:00 2001
From: Leni Aniva <v@leni.sh>
Date: Thu, 11 Apr 2024 16:38:44 -0700
Subject: [PATCH] build: Add poetry stub

---
 .gitignore             |  6 ++++++
 pantograph/__init__.py |  0
 poetry.lock            |  7 +++++++
 pyproject.toml         | 15 +++++++++++++++
 4 files changed, 28 insertions(+)
 create mode 100644 .gitignore
 create mode 100644 pantograph/__init__.py
 create mode 100644 poetry.lock
 create mode 100644 pyproject.toml

diff --git a/.gitignore b/.gitignore
new file mode 100644
index 0000000..f79e65f
--- /dev/null
+++ b/.gitignore
@@ -0,0 +1,6 @@
+.*
+!.gitignore
+
+# Python
+*.py[cod]
+*.egg-info
diff --git a/pantograph/__init__.py b/pantograph/__init__.py
new file mode 100644
index 0000000..e69de29
diff --git a/poetry.lock b/poetry.lock
new file mode 100644
index 0000000..b6550d4
--- /dev/null
+++ 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"
diff --git a/pyproject.toml b/pyproject.toml
new file mode 100644
index 0000000..d6c8f70
--- /dev/null
+++ 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"