mirror of
https://github.com/raspberrypi/pico-sdk.git
synced 2025-03-14 13:21:06 +00:00
Update picotool dependency to 2.1.0 (not strictly required, but we prefer people to be on the latest)
This commit is contained in:
parent
2a1e1af6af
commit
beb2449622
@ -6,7 +6,7 @@ module(
|
||||
bazel_dep(name = "platforms", version = "0.0.9")
|
||||
bazel_dep(name = "bazel_skylib", version = "1.6.1")
|
||||
bazel_dep(name = "rules_python", version = "0.36.0")
|
||||
bazel_dep(name = "picotool", version = "2.0.0")
|
||||
bazel_dep(name = "picotool", version = "2.1.0")
|
||||
bazel_dep(name = "rules_cc", version = "0.0.10")
|
||||
|
||||
http_archive = use_repo_rule("@bazel_tools//tools/build_defs/repo:http.bzl", "http_archive")
|
||||
|
@ -101,7 +101,7 @@ endfunction()
|
||||
|
||||
# Check picotool is installed, or download and build it if not installed
|
||||
function(pico_init_picotool)
|
||||
set(picotool_VERSION_REQUIRED 2.0.0)
|
||||
set(picotool_VERSION_REQUIRED 2.1.0)
|
||||
if (NOT TARGET picotool AND NOT DEFINED picotool_FOUND)
|
||||
# Build path of local install dir
|
||||
if (DEFINED ENV{PICOTOOL_FETCH_FROM_GIT_PATH} AND (NOT PICOTOOL_FETCH_FROM_GIT_PATH))
|
||||
|
Loading…
x
Reference in New Issue
Block a user