Pekka Enberg 91a5994eac Merge 'Fix Python binding packaging' from Gökmen Görgen ... Somehow the `make` command does not work because of the name mismatching. This PR will fix only this issue. For reproducing the issue: ``` $ make Checking requirements files... mkdir -p .tmp pip-compile pyproject.toml --quiet --output-file=.tmp/requirements.txt pip-compile pyproject.toml --quiet --extra=dev --output-file=.tmp/requirements-dev.txt diff -u requirements.txt .tmp/requirements.txt || (echo "requirements.txt doesn't match pyproject.toml" && exit 1) --- requirements.txt 2024-12-17 02:19:29.887227723 +0000 +++ .tmp/requirements.txt 2024-12-17 02:19:38.046065295 +0000 @@ -1,2 +1,2 @@ typing-extensions==4.12.2 - # via limbo (pyproject.toml) + # via pylimbo (pyproject.toml) requirements.txt doesn't match pyproject.toml make: *** [Makefile:28: check-requirements] Error 1 ``` ## Another issue... `maturin` is still not in requirements dev list. Shall we continue to install it manually or add it to dev list? Closes #495		2024-12-19 17:13:52 +02:00
..
limbo	Format Python bindings code using Ruff	2024-09-01 16:10:59 +03:00
src	Add statement interruption support	2024-12-19 12:30:32 +02:00
tests	Format Python bindings code using Ruff	2024-09-01 16:10:59 +03:00
build.rs	feat: impl python binding	2024-08-11 08:58:18 +02:00
Cargo.toml	Bump PyO3 dependency	2024-11-15 16:14:34 +02:00
example.py	bindings/python: Add Python example	2024-11-20 19:10:02 +02:00
Makefile	Add Makefile for Python bindings	2024-09-01 16:11:00 +03:00
pyproject.toml	add maturin as dev dependency.	2024-12-18 21:14:58 +00:00
requirements-dev.txt	add maturin as dev dependency.	2024-12-18 21:14:58 +00:00
requirements.txt	fix project name in txt files.	2024-12-17 01:33:54 +00:00