From: Andrew Tridgell Date: Tue, 15 Mar 2011 02:09:30 +0000 (+1100) Subject: build: added simple header handling for our libraries X-Git-Tag: samba-3.6.0pre2~444 X-Git-Url: http://git.samba.org/?p=samba.git;a=commitdiff_plain;h=500c854f792f4a72ef9ac1d100608d5cdc45e7fc build: added simple header handling for our libraries we don't need header munging for tdb/talloc etc --- diff --git a/buildtools/wafsamba/samba_headers.py b/buildtools/wafsamba/samba_headers.py index 8a7ab01d0df..cca6420b6cd 100644 --- a/buildtools/wafsamba/samba_headers.py +++ b/buildtools/wafsamba/samba_headers.py @@ -104,6 +104,24 @@ def create_public_header(task): outfile.close() +def public_headers_simple(bld, public_headers, header_path=None, public_headers_install=True): + '''install some headers - simple version, no munging needed + ''' + if not public_headers_install: + return + for h in TO_LIST(public_headers): + inst_path = header_install_path(h, header_path) + if h.find(':') != -1: + s = h.split(":") + h_name = s[0] + inst_name = s[1] + else: + h_name = h + inst_name = os.path.basename(h) + bld.INSTALL_FILES('${INCLUDEDIR}', h_name, destname=inst_name) + + + def PUBLIC_HEADERS(bld, public_headers, header_path=None, public_headers_install=True): '''install some headers @@ -112,8 +130,12 @@ def PUBLIC_HEADERS(bld, public_headers, header_path=None, public_headers_install directories relative to INCLUDEDIR ''' bld.SET_BUILD_GROUP('final') + if not bld.env.build_public_headers: - bld.env.build_public_headers = '' + # in this case no header munging neeeded. Used for tdb, talloc etc + public_headers_simple(bld, public_headers, header_path=header_path, + public_headers_install=public_headers_install) + return # create the public header in the given path # in the build tree