From f0fccd8fe882c4cf7216d4b27f6d3591f986d142 Mon Sep 17 00:00:00 2001
From: Rodrigo Arias Mallo <rodrigo.arias@bsc.es>
Date: Tue, 14 Mar 2023 14:16:55 +0100
Subject: [PATCH] Add install target

---
 Makefile | 5 +++++
 1 file changed, 5 insertions(+)

diff --git a/Makefile b/Makefile
index 028bd7b..14d50dc 100644
--- a/Makefile
+++ b/Makefile
@@ -1,5 +1,6 @@
 CC=clang
 CFLAGS=-O3 -fompss-2
+DESTDIR?=/usr
 
 BENCHMARKS=\
 	sched_get \
@@ -16,6 +17,10 @@ all: $(BIN)
 clean:
 	rm -f $(BIN)
 
+install: $(BIN)
+	mkdir -p $(DESTDIR)/bin
+	cp bench6* $(DESTDIR)/bin
+
 plot: $(BIN) $(DATA) $(PLOT)
 
 bench6.%: src/%.c src/common.c