Python: Use poetry.core.masonry.api as build-backend (#1519)

This is motivated by a desire to switch away from `setuptools`, which has some unfortunate interactions with static analysis tools. This also bumps the `argo` submodule to bring in the changes from GaloisInc/argo#197, which applies similar changes.
GaloisInc · May 9, 2023 · 5eff6e5 · 5eff6e5
1 parent ea2531f
commit 5eff6e5
Show file tree

Hide file tree

Showing 2 changed files with 3 additions and 2 deletions.
diff --git a/cryptol-remote-api/python/pyproject.toml b/cryptol-remote-api/python/pyproject.toml
@@ -23,4 +23,5 @@ typing-extensions = "^4.1.1"
 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"
diff --git a/deps/argo b/deps/argo