Add new target 'install-otheros'

This sticks all of the generated distribution files in $(PREFIX) to
include them in the github artifacts for CI builds

Signed-off-by: Keith Packard <keithp@keithp.com>

Makefile

@@ -46,6 +46,9 @@ upload: $(SNEKS)
 	+cd doc && make upload
 	+for otheros in $(SNEK_OTHEROS_DIR); do (cd "$$otheros" && make upload); done
 
+install-otheros: otheros
+	+for otheros in $(SNEK_OTHEROS_DIR); do (cd "$$otheros" && make install-otheros); done
+
 otheros: $(SNEKS)
 	+cd doc && make
 	+for otheros in $(SNEK_OTHEROS_DIR); do (cd "$$otheros" && make); done

hosts/linux/Makefile

@@ -67,6 +67,9 @@ install:
 upload: $(LINUX_SH)
 	rsync -avz $(LINUX_SH) $(SNEKDIST)
 
+install-otheros: $(LINUX_SH)
+	cp $(LINUX_SH) $(DESTDIR)$(PREFIX)
+
 clean:
 	rm -f snek-*.sh *.bz2
 	rm -rf linux

hosts/macosx/Makefile

@@ -105,6 +105,9 @@ FORCE:
 install:
 	echo install done
 
+install-otheros: $(MACOSX_DIST)
+	cp $(MACOSX_DIST) $(DESTDIR)$(PREFIX)
+
 upload: $(MACOSX_DIST)
 	rsync -avz $(MACOSX_DIST) $(SNEKDIST)
 

hosts/windows/Makefile

@@ -69,6 +69,9 @@ RES=16 24 32 48 64 72 96 128 180 256
 install:
 	echo install done
 
+install-otheros: $(WINDOWS_INSTALL)
+	cp $(WINDOWS_INSTALL) $(DESTDIR)$(PREFIX)
+
 upload: $(WINDOWS_INSTALL)
 	rsync -avz $(WINDOWS_INSTALL) $(SNEKDIST)
 

hosts/zip/Makefile

@@ -45,6 +45,9 @@ $(ZIP_DIST): $(ZIP_FILES)
 install:
 	echo install done
 
+install-otheros: $(ZIP_DIST)
+	cp $(ZIP_DIST) $(DESTDIR)$(PREFIX)
+
 upload: $(ZIP_DIST)
 	rsync -avz $(ZIP_DIST) $(SNEKDIST)