From c1ce8dfbcdc21aa3a4577d54918b7698b2da25d2 Mon Sep 17 00:00:00 2001
From: gnublin <michael@wagnertech.de>
Date: Mon, 15 Oct 2018 19:43:31 +0200
Subject: [PATCH] add_library added

---
 tools/make/c_configure.sh | 10 ++++++++++
 1 file changed, 10 insertions(+)

diff --git a/tools/make/c_configure.sh b/tools/make/c_configure.sh
index c7b610a..011d048 100755
--- a/tools/make/c_configure.sh
+++ b/tools/make/c_configure.sh
@@ -61,6 +61,16 @@ function add_include {
 	echo "CXXFLAGS += -I$src/$2" >> $1/make.pre
 }
 
+function add_library {
+# adds a extern library
+# parameter:
+# $1: main directory
+# $2: library name (without l or lib )
+
+	src=$(pwd)
+	echo "EXTLIB += -l$2" >> $1/make.pre
+}
+
 function append_library {
 # same as append_dependency. In addition a include statement + a link to the library is added to "main directory"
 # parameter:
-- 
2.20.1