; 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]
lib_deps = git+https://gitlab.maxregan.me/max/uclisp


[common]
build_flags =
            -Wall
            -Werror
            -Wextra
            ;;-Wpedantic
            -D NO_READLINE
release_build_flags =
            -O2
            -flto
debug_build_flags =
            -ggdb
            -O0
src_filter =
           +<main.c>


[env:pico-repl-debug]
platform = https://github.com/Wiz-IO/wizio-pico.git
framework = baremetal
board = raspberry-pi-pico
build_flags =
            ${common.build_flags}
            ${common.debug_build_flags}
            -D PLATFORM_PICO_SDK
            -D LIB_PICO_STDIO_USB
            -D PICO_USB
            -D REPL_APPLICATION
build_src_filter =
                 ${common.src_filter}
                 +<pico*.c>
upload_protocol = picotool
;; upload_port = /run/media/max/RPI-RP2
extra_scripts = pre:extra_script.py

[env:pico-lisp-src-debug]
platform = https://github.com/Wiz-IO/wizio-pico.git
framework = baremetal
board = raspberry-pi-pico
build_flags =
            ${common.build_flags}
            ${common.debug_build_flags}
            -D PLATFORM_PICO_SDK
            -D LIB_PICO_STDIO_USB
            -D PICO_USB
            -D LISP_SOURCE_APPLICATION
build_src_filter =
                 ${common.src_filter}
                 +<pico*.c>
upload_protocol = uf2
upload_port = /run/media/max/RPI-RP2
extra_scripts = pre:extra_script.py

[env:native-debug]
platform = native
build_flags =
            ${common.build_flags}
            ${common.debug_build_flags}
            -D PLATFORM_NATIVE
build_src_filter =
                 ${common.src_filter}
                 +<native-plat.c>


[env:native-release]
platform = native
build_flags =
            ${common.build_flags}
            ${common.release_build_flags}
            -D PLATFORM_NATIVE
build_src_filter =
                 ${common.src_filter}
                 +<native-plat.c>

;monitor_port = SELECT SERIAL PORT
;monitor_speed = 115200