From 5945de62cbc3e83881ed755452b27723f063dfb8 Mon Sep 17 00:00:00 2001
From: jD91mZM2 <me@krake.one>
Date: Sat, 23 Jun 2018 06:54:23 +0200
Subject: [PATCH] Install openlibm from Makefile

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

diff --git a/Makefile b/Makefile
index 48323ac9..7f647342 100644
--- a/Makefile
+++ b/Makefile
@@ -36,6 +36,8 @@ install: all
 	mkdir -pv "$(DESTDIR)/include"
 	cp -rv "include"/* "$(DESTDIR)/include"
 	cp -rv "target/include"/* "$(DESTDIR)/include"
+	cp -rv "target/openlibm/include"/* "$(DESTDIR)/include"
+	cp -rv "target/openlibm/src"/*.h "$(DESTDIR)/include"
 	cp -v "$(BUILD)/debug/libc.a" "$(DESTDIR)/lib"
 	cp -v "$(BUILD)/debug/crt0.o" "$(DESTDIR)/lib"
 	cp -v "$(BUILD)/openlibm/libopenlibm.a" "$(DESTDIR)/lib/libm.a"
-- 
GitLab