From 768867536021bb5139c0e2cbb3f15a9e29fb5610 Mon Sep 17 00:00:00 2001 From: Ryan Scott Date: Tue, 9 May 2023 13:21:07 -0400 Subject: [PATCH] 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 --- deps/argo | 2 +- deps/cryptol | 2 +- saw-remote-api/python/pyproject.toml | 3 ++- 3 files changed, 4 insertions(+), 3 deletions(-) diff --git a/deps/argo b/deps/argo index 904fb34872..ef4cc29359 160000 --- a/deps/argo +++ b/deps/argo @@ -1 +1 @@ -Subproject commit 904fb34872fcef462030fe38978842aa5a9db903 +Subproject commit ef4cc29359931789957853e79ee5c0e3a03d5844 diff --git a/deps/cryptol b/deps/cryptol index 9382d52754..aad1276751 160000 --- a/deps/cryptol +++ b/deps/cryptol @@ -1 +1 @@ -Subproject commit 9382d527543db70068b71fe3a327cd07fe0b36c8 +Subproject commit aad1276751fdc87c1d766c7af4a194b33b91df32 diff --git a/saw-remote-api/python/pyproject.toml b/saw-remote-api/python/pyproject.toml index 2228786319..9bbac633ac 100644 --- 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"