From d06bb0561402a6035cf809b08c464254dfaabd18 Mon Sep 17 00:00:00 2001
From: Alessandro Iezzi <aiezzi@alessandroiezzi.it>
Date: Tue, 14 Mar 2023 18:34:37 +0100
Subject: Add to `install` target the archive and includes and add `uninstall`
 target

---
 Makefile | 10 +++++++++-
 1 file changed, 9 insertions(+), 1 deletion(-)

diff --git a/Makefile b/Makefile
index cb5e2a8..da6dac4 100644
--- a/Makefile
+++ b/Makefile
@@ -61,7 +61,15 @@ dist: clean
 
 install: all
 	mkdir -p ${PREFIX}/lib/${NAME}
-	cp ${SHARED} ${PREFIX}/lib/${NAME}/
+	cp ${SHARED}  ${PREFIX}/lib/${NAME}/
+	cp ${ARCHIVE} ${PREFIX}/lib/${NAME}/
+	mkdir -p ${PREFIX}/include/${NAME}
+	cp src/list.h ${PREFIX}/include/${NAME}/
+	cp src/map.h  ${PREFIX}/include/${NAME}/
+
+uninstall:
+	rm -rf ${PREFIX}/lib/${NAME}
+	rm -rf ${PREFIX}/include/${NAME}
 
 tests: all
 	@make -C test
-- 
cgit v1.2.3