From 4adb051325a9de2ddb5d963f2882e29e46d0313e Mon Sep 17 00:00:00 2001
From: Mikael Pettersson <mikpelinux@gmail.com>
Date: Thu, 24 Aug 2023 21:25:29 +0200
Subject: [PATCH] add "make install", installing the tools with pdp10-elf-
 prefixes

---
 Makefile        | 3 +++
 erlang/Makefile | 6 ++++++
 2 files changed, 9 insertions(+)

diff --git a/Makefile b/Makefile
index 1f2f3ee..b47f229 100644
--- a/Makefile
+++ b/Makefile
@@ -21,6 +21,9 @@ SUBDIRS=	erlang
 all:
 	make TARGET= subdirs
 
+install:
+	make TARGET=install subdirs
+
 clean:
 	make TARGET=clean subdirs
 
diff --git a/erlang/Makefile b/erlang/Makefile
index c35b9e8..ec8e0f6 100644
--- a/erlang/Makefile
+++ b/erlang/Makefile
@@ -38,6 +38,12 @@ link:	$(REBAR3)
 test:
 	$(REBAR3) eunit
 
+install:
+	mkdir -p ../bin
+	for PROG in $(PROGRAMS); do \
+		cp _build/default/bin/$$PROG ../bin/pdp10-elf-$$PROG; \
+	done
+
 distclean realclean:	clean
 	rm -f ./rebar3