.PHONY: all openocd debug

OPENOCD := openocd
OPENOCD_OPT := -f interface/stlink-v2.cfg -f target/stm32f1x.cfg
BIN := target/thumbv7m-none-eabi/debug/picardy

# Build and flash in release mode
all:
	cargo build
	$(OPENOCD) $(OPENOCD_OPT) -c "program $(BIN) reset exit"

# Start a openocd session.
openocd:
	$(OPENOCD) $(OPENOCD_OPT)

# Start a gdb session. Works if a valid openocd session is existing.
debug:
	arm-none-eabi-gdb $(BIN) -q -x utils/debug.gdb