From 705e9a93f85cfc18fb607143ba11b3ecd67407c3 Mon Sep 17 00:00:00 2001 From: Benjamin Sergeant Date: Mon, 18 Mar 2019 15:11:08 -0700 Subject: [PATCH] add an install target --- makefile | 2 ++ 1 file changed, 2 insertions(+) diff --git a/makefile b/makefile index 76c669ad..710d42dc 100644 --- a/makefile +++ b/makefile @@ -3,6 +3,8 @@ # all: brew +install: brew + brew: mkdir -p build && (cd build ; cmake .. ; make -j install)