91 lines
2.3 KiB
INI
91 lines
2.3 KiB
INI
; 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
|