From 88b7a4e26f9e520c22e8a93ed57219e43af4b95f 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 | 6 ++++--
 1 file changed, 4 insertions(+), 2 deletions(-)

diff --git a/Makefile b/Makefile
index 1da8c3997..cfff8a1a3 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)
+	@mkdir -p $(PREFIX)/$(PLUGIN_NAMESPACE)
+	cp plugin/* $(PREFIX)/$(PLUGIN_NAMESPACE)
 
 clean:
 	rm -rf */*.o */*/*.o plugin/proto/*.pb.* build deps/libff/build