From 4eeda215e00d08ac08eecf8cd1ba8b1e1d83c59e Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Ga=C3=ABtan=20Harter?= <gaetan.harter@fu-berlin.de>
Date: Thu, 31 May 2018 17:00:30 +0200
Subject: [PATCH] pic32-wifire: add flasher using pic32prog

For PICkit3 it requires having a scripting firmware installed.
---
 boards/pic32-wifire/Makefile.include | 11 ++++++++++-
 1 file changed, 10 insertions(+), 1 deletion(-)

diff --git a/boards/pic32-wifire/Makefile.include b/boards/pic32-wifire/Makefile.include
index 732eede6fc..1653a8daad 100644
--- a/boards/pic32-wifire/Makefile.include
+++ b/boards/pic32-wifire/Makefile.include
@@ -7,4 +7,13 @@ PORT_LINUX ?= /dev/ttyUSB0
 BAUD ?= 9600
 include $(RIOTMAKE)/tools/serial.inc.mk
 
-FLASHFILE ?= $(HEXFILE)
+# pic32prog
+#
+# For PICkit3:
+#
+# * Connect the chipKIT-Wi-Fire to USB
+# * Connect the PICkit3 to ICSP holes
+# * https://docs.creatordev.io/wifire/guides/wifire-programming/
+# * The triangle `▶` goes into the port number 1 (a hole with a square around it)
+#   opposite side of the JP1 ICSP text.
+include $(RIOTMAKE)/tools/pic32prog.inc.mk