Skip to content
This repository was archived by the owner on Sep 30, 2024. It is now read-only.

Commit b1a5ed0

Browse files
committed
Remove picoprobe build
Picoprobe binaries are now available in the project releases.
1 parent a8e17da commit b1a5ed0

File tree

2 files changed

+3
-28
lines changed

2 files changed

+3
-28
lines changed

docs/ReadMe.txt

+3-1
Original file line numberDiff line numberDiff line change
@@ -35,7 +35,9 @@ This is a Python application to help you create new Pico projects.
3535
tools\openocd\openocd.exe
3636
OpenOCD with picoprobe support. Launch from the Developer Command Prompt for
3737
Pico using a command like this:
38-
openocd -f interface/picoprobe.cfg -f target/rp2040.cfg
38+
openocd -f interface/cmsis-dap.cfg -f target/rp2040.cfg
39+
40+
You can get the latest Picoprobe binaries from https://github.com/raspberrypi/picoprobe/releases.
3941

4042
Uninstall
4143
Just delete this directory. Any other software that you installed using Pico

pico-setup.cmd

-27
Original file line numberDiff line numberDiff line change
@@ -45,33 +45,6 @@ for %%i in (blink hello_world) do (
4545

4646
popd
4747

48-
rem Build picoprobe and picotool
49-
rem Not building picotool currently because we need to auto-install and
50-
rem configure libusb
51-
for %%i in (picoprobe) do (
52-
set "DEST=%~dp0%%i"
53-
54-
if exist "!DEST!" (
55-
echo !DEST! exists, skipping clone
56-
) else (
57-
set "REPO_URL=%GITHUB_PREFIX%%%i%GITHUB_SUFFIX%"
58-
echo Cloning !REPO_URL!
59-
git clone -b %SDK_BRANCH% !REPO_URL! || exit /b 1
60-
pushd "!DEST!"
61-
git submodule update --init || exit /b 1
62-
popd
63-
)
64-
65-
echo Building %%i
66-
mkdir %%i\build
67-
pushd %%i\build
68-
69-
cmake -G "NMake Makefiles" .. || exit /b 1
70-
nmake || exit /b 1
71-
72-
popd
73-
)
74-
7548
if exist "%~dp0pico-docs.ps1" (
7649
echo Downloading Pico documents and files...
7750
powershell -NoProfile -NonInteractive -ExecutionPolicy Bypass -File "%~dp0pico-docs.ps1" || exit /b 1

0 commit comments

Comments
 (0)