ports/esp32: Install binary in $(SHAREDIR)

Signed-off-by: Keith Packard <keithp@keithp.com>
keith-packard · May 18, 2020 · 75d4f6c · 75d4f6c
1 parent e7b0c43
commit 75d4f6c
Showing 1 changed file with 6 additions and 1 deletion.
diff --git a/ports/esp32/Makefile b/ports/esp32/Makefile
@@ -12,7 +12,8 @@
 # General Public License for more details.
 #
 
-include ../../snek.defs
+SNEK_ROOT = ../..
+include ../../snek-install.defs
 
 ESP32_IDF ?= ./esp32-idf
 
@@ -37,3 +38,7 @@ load:
 
 connect:
 	minicom -D /dev/ttyUSB1 -b 115200
+
+install: $(TARGET)
+	install -d $(DESTDIR)$(SHAREDIR)
+	install -m 0644 $(TARGET) $(DESTDIR)$(SHAREDIR)