projects
/
projects.git
/ commitdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
| commitdiff |
tree
raw
|
patch
| inline |
side by side
(parent:
9b5a94e
)
add_library added
author
gnublin
<michael@wagnertech.de>
Mon, 15 Oct 2018 17:43:31 +0000
(19:43 +0200)
committer
gnublin
<michael@wagnertech.de>
Mon, 15 Oct 2018 17:43:31 +0000
(19:43 +0200)
tools/make/c_configure.sh
patch
|
blob
|
history
diff --git
a/tools/make/c_configure.sh
b/tools/make/c_configure.sh
index
c7b610a
..
011d048
100755
(executable)
--- 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: