mirror
/
pico-playground
kopia lustrzana https://github.com/raspberrypi/pico-playground
1
0
Forkuj 0
Kod Zgłoszenia Projekty Wydania Wiki Aktywność

Change PICO_EXTRAS to PICO_PLAYGROUND

pull/47/head
Juan Jose Carranza Garcia 2023-12-06 21:52:13 -06:00
rodzic d492e22859
commit 5ea49957d4
2 zmienionych plików z 4 dodań i 3 usunięć
Pokaż statystyki Ściągnij plik aktualizacji Ściągnij plik porównania Expand all files Collapse all files

1
CMakeLists.txt
Wyświetl plik

@ -6,6 +6,7 @@ include(pico_sdk_import.cmake)
# We also need PICO EXTRAS
include(pico_extras_import.cmake)
set(PICO_PLAYGROUND_PATH ${PROJECT_SOURCE_DIR})
# Include playground_auto_set_url
include(playground_auto_set_url.cmake)

6
playground_auto_set_url.cmake
Wyświetl plik

@ -1,5 +1,5 @@
set(PICO_EXTRAS_URL_BASE "https://github.com/raspberrypi/pico-playground/tree/HEAD")
set(PICO_PLAYGROUND_URL_BASE "https://github.com/raspberrypi/pico-playground/tree/HEAD")
macro(playground_auto_set_url TARGET)
file(RELATIVE_PATH URL_REL_PATH "${PICO_EXTRAS_PATH}" "${CMAKE_CURRENT_LIST_DIR}")
pico_set_program_url(${TARGET} "${PICO_EXTRAS_URL_BASE}/${URL_REL_PATH}")
file(RELATIVE_PATH URL_REL_PATH "${PICO_PLAYGROUND_PATH}" "${CMAKE_CURRENT_LIST_DIR}")
pico_set_program_url(${TARGET} "${PICO_PLAYGROUND_URL_BASE}/${URL_REL_PATH}")
endmacro()