Makefile: update install target to copy to prefix subdir

runtimeverification · Sep 14, 2020 · 82da622 · 82da622
1 parent d81e760
commit 82da622
Showing 1 changed file with 4 additions and 2 deletions.
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)
+	@mkdir -p $(PREFIX)/$(PLUGIN_NAMESPACE)
+	cp plugin/* $(PREFIX)/$(PLUGIN_NAMESPACE)
 
 clean:
 	rm -rf */*.o */*/*.o plugin/proto/*.pb.* build deps/libff/build