config/system_header_util.py
author Nick Alexander <nalexander@mozilla.com>
Tue, 18 Dec 2018 03:29:16 +0000
changeset 451031 cc64661d5c947ca7beedd0789e4cc51180318734
parent 447669 b6c97b4db60a1d8169a3e798a248144ab2973506
child 481687 9c5b3c7e1ca2240f765d62466cc917ad778407ef
permissions -rw-r--r--
Bug 1498406 - Part 2: Don't check for Android platform in configure. r=froydnj There's no need -- it will be fetched by Gradle when needed. The only wrinkle is that the user might be asked to confirm license agreements, which could be a hassle (and could cause problems in CI, but there we install relevant platforms in advance). Differential Revision: https://phabricator.services.mozilla.com/D14288

import os


def find_in_path(file, searchpath):
    for dir in searchpath.split(os.pathsep):
        f = os.path.join(dir, file)
        if os.path.exists(f):
            return f
    return ''


def header_path(header, compiler):
    if compiler == 'gcc':
        # we use include_next on gcc
        return header
    elif compiler == 'msvc':
        return find_in_path(header, os.environ.get('INCLUDE', ''))
    else:
        # hope someone notices this ...
        raise NotImplementedError(compiler)