tinygo/targets/pca10031.json

{
	"inherits": ["nrf51"],
	"build-tags": ["pca10031"],
	"flash": "nrfjprog -f nrf51 --sectorerase --program {hex} --reset",
	"ocd-daemon": ["openocd", "-f", "interface/cmsis-dap.cfg", "-f", "target/nrf51.cfg"],
	"gdb-initial-cmds": ["target remote :3333", "monitor halt", "load", "monitor reset", "c"]
}