function append_library {
# same as append_dependency. In addition a include statement + a link to the library is added to "main directory"
# parameter:
function append_library {
# same as append_dependency. In addition a include statement + a link to the library is added to "main directory"
# parameter: