Build a REPL for ucLISP
Still some rough edges
This commit is contained in:
@@ -7,3 +7,55 @@
|
||||
;
|
||||
; Please visit documentation for the other options and examples
|
||||
; https://docs.platformio.org/page/projectconf.html
|
||||
|
||||
[env]
|
||||
;; TODO: Make uclisp to a remote git repo
|
||||
lib_deps = ../uclisp/
|
||||
|
||||
[common]
|
||||
build_flags =
|
||||
-Wall
|
||||
-Werror
|
||||
-Wextra
|
||||
;;-Wpedantic
|
||||
-D NO_READLINE
|
||||
release_build_flags =
|
||||
-O2
|
||||
-flto
|
||||
debug_build_flags =
|
||||
-ggdb
|
||||
-O0
|
||||
|
||||
|
||||
[env:pico-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
|
||||
|
||||
upload_protocol = uf2
|
||||
upload_port = /run/media/max/RPI-RP2
|
||||
lib_deps = /home/max/repos/uclisp/
|
||||
|
||||
[env:native-debug]
|
||||
platform = native
|
||||
build_flags =
|
||||
${common.build_flags}
|
||||
${common.debug_build_flags}
|
||||
-D PLATFORM_NATIVE
|
||||
|
||||
[env:native-release]
|
||||
platform = native
|
||||
build_flags =
|
||||
${common.build_flags}
|
||||
${common.release_build_flags}
|
||||
-D PLATFORM_NATIVE
|
||||
|
||||
|
||||
;monitor_port = SELECT SERIAL PORT
|
||||
;monitor_speed = 115200
|
||||
|
||||
Reference in New Issue
Block a user