pic32prog: add pic32prog programming tool

pic32prog is a program for flashing pic32 boards from command line on Linux.

It works with:
* Microchip PICkit2
* Microchip PICkit3 with script firmware.
* Other ones: https://github.com/sergev/pic32prog/wiki

Author: cladmi

dist/tools/pic32prog/.gitignore

@@ -0,0 +1,2 @@
+pic32prog
+bin/

dist/tools/pic32prog/Makefile

@@ -0,0 +1,19 @@
+PKG_NAME     = pic32prog
+PKG_URL      = https://github.com/sergev/pic32prog
+PKG_VERSION  = f5d27d6c9506bc0d1f2053002e2aadad1ac424cd
+PKG_LICENSE  = GPL-2
+PKG_BUILDDIR = bin
+
+# For building it requires some dependencies, on ubuntu:
+#
+#     sudo apt-get install libusb-dev libusb-1.0-0-dev libudev-dev
+
+all: git-download
+	@echo "[INFO] compiling pic32prog from source now"
+	@env -i PATH=$(PATH) TERM=$(TERM) make -C $(PKG_BUILDDIR)
+	@mv $(PKG_BUILDDIR)/pic32prog pic32prog
+
+distclean::
+	@rm -f pic32prog
+
+include $(RIOTBASE)/pkg/pkg.mk

makefiles/tools/targets.inc.mk

@@ -12,6 +12,11 @@ $(RIOTTOOLS)/bossa/bossac:
 	@make -C $(RIOTTOOLS)/bossa
 	@echo "[INFO] bossac binary successfully build!"
 
+$(RIOTTOOLS)/pic32prog/pic32prog: $(RIOTTOOLS)/pic32prog/Makefile
+	@echo "[INFO] $(@F) binary not found - building it from source now"
+	make -C $(@D)
+	@echo "[INFO] $(@F) binary successfully build!"
+
 $(RIOTTOOLS)/edbg/edbg: $(RIOTTOOLS)/edbg/Makefile
 	@echo "[INFO] edbg binary not found - building it from source now"
 	CC= CFLAGS= make -C $(RIOTTOOLS)/edbg