Python: Use poetry.core.masonry.api as build-backend

This is motivated by a desire to switch away from `setuptools`, which has some unfortunate interactions with static analysis tools. This also bumps the following submodules, which apply similar changes: * `argo` submodule: GaloisInc/argo#197 * `cryptol` submodule: GaloisInc/cryptol#1519
GaloisInc · May 9, 2023 · 7688675 · 7688675
1 parent 9e78344
commit 7688675
Show file tree

Hide file tree

Showing 3 changed files with 4 additions and 3 deletions.
diff --git a/deps/argo b/deps/argo
diff --git a/deps/cryptol b/deps/cryptol
diff --git a/saw-remote-api/python/pyproject.toml b/saw-remote-api/python/pyproject.toml
@@ -21,4 +21,5 @@ argo-client = "0.0.11"
 mypy = "^0.991"
 
 [build-system]
-requires = ["poetry>=1.1.4", "setuptools>=40.8.0"]
+requires = ["poetry-core>=1.0.0"]
+build-backend = "poetry.core.masonry.api"
+4 −4		.github/workflows/ci.yml
+4 −4		argo/argo.cabal
+2 −2		file-echo-api/file-echo-api.cabal
+6 −0		python/CHANGELOG.md
+42 −111		python/poetry.lock
+5 −4		python/pyproject.toml
+5 −5		.github/workflows/ci.yml
+9 −1		cryptol-remote-api/CHANGELOG.md
+21 −1		cryptol-remote-api/docs/Cryptol.rst
+9 −1		cryptol-remote-api/python/CHANGELOG.md
+10 −0		cryptol-remote-api/python/cryptol/commands.py
+19 −1		cryptol-remote-api/python/cryptol/connection.py
+68 −1		cryptol-remote-api/python/cryptol/cryptoltypes.py
+13 −3		cryptol-remote-api/python/cryptol/single_connection.py
+25 −11		cryptol-remote-api/python/cryptol/synchronous.py
+2 −1		cryptol-remote-api/python/pyproject.toml
+33 −0		cryptol-remote-api/python/tests/cryptol/test-files/Names.cry
+48 −0		cryptol-remote-api/python/tests/cryptol/test_names.py
+2 −2		cryptol-remote-api/src/CryptolServer/Data/Type.hs
+52 −17		cryptol-remote-api/src/CryptolServer/Names.hs
+1 −1		deps/argo
+1 −1		src/Cryptol/ModuleSystem/NamingEnv.hs