Makefile: add install target to copy K files

runtimeverification · Aug 13, 2020 · ad1fcb6 · ad1fcb6
1 parent e0f410b
commit ad1fcb6
Showing 1 changed file with 5 additions and 1 deletion.
diff --git a/Makefile b/Makefile
@@ -25,7 +25,11 @@ plugin-c/blockchain.o: plugin-c/proto/msg.pb.h
 %.pb.h: %.proto
 	protoc --cpp_out=. $<
 
-.PHONY: clean
+.PHONY: install clean
+install:
+	@mkdir -p $(PREFIX)
+	cp plugin/* $(PREFIX)
+
 clean:
 	rm -rf */*.o */*/*.o plugin/proto/*.pb.* build deps/libff/build
 	cd deps/secp256k1 && $(MAKE) clean