From 6f57319f2b1ff39efb07265530419610059c0378 Mon Sep 17 00:00:00 2001
From: Stephen Skeirik <stephen.skeirik@runtimeverification.com>
Date: Sat, 29 Aug 2020 20:45:21 -0400
Subject: [PATCH] Makefile: update install target to copy to prefix subdir

---
 Makefile | 4 +++-
 1 file changed, 3 insertions(+), 1 deletion(-)

diff --git a/Makefile b/Makefile
index 1da8c3997..89111d67b 100644
--- a/Makefile
+++ b/Makefile
@@ -26,9 +26,11 @@ plugin-c/blockchain.o: plugin-c/proto/msg.pb.h
 	protoc --cpp_out=. $<
 
 .PHONY: install clean
+
+PLUGIN_NAMESPACE := blockchain-k-plugin
 install:
 	@mkdir -p $(PREFIX)
-	cp plugin/* $(PREFIX)
+	cp plugin/* $(PREFIX)/$(PLUGIN_NAMESPACE)
 
 clean:
 	rm -rf */*.o */*/*.o plugin/proto/*.pb.* build deps/libff/build