Makefile: update install target to copy to prefix subdir

runtimeverification · Aug 30, 2020 · 6f57319 · 6f57319
1 parent ad1fcb6
commit 6f57319
Showing 1 changed file with 3 additions and 1 deletion.
diff --git 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