; PlatformIO Project Configuration File
;
;   Build options: build flags, source filter
;   Upload options: custom upload port, speed and extra flags
;   Library options: dependencies, extra library storages
;   Advanced options: extra scripting
;
; Please visit documentation for the other options and examples
; https://docs.platformio.org/page/projectconf.html

[env:pico]
platform = https://github.com/maxgerhardt/platform-raspberrypi.git
board = rpipicow
framework = arduino
platform_packages = 
	framework-arduinopico@https://github.com/earlephilhower/arduino-pico.git#master ; use master branch for setXXX fix
upload_port = /run/media/amelia/RPI-RP2/
board_build.core = earlephilhower
lib_deps = 
	xreef/PCF8574 library@^2.3.6
	gbr1/rp2040-encoder-library@^0.1.1
	trevorwslee/DumbDisplay Arduino Library@^0.9.841
	ftjuh/I2Cwrapper@^0.5.0
	waspinator/AccelStepper@^1.64
	olikraus/Ucglib@^1.5.2
	khoih-prog/RP2040_ISR_Servo@^1.1.2
debug_tool = cmsis-dap
build_flags = -O3 ; optimize build level 3