browser/moz.configure
author Mike Hommey <mh+mozilla@glandium.org>
Mon, 14 Jan 2019 18:41:07 +0000
changeset 513857 2809c756574d28c25d031eecd41779d3392c44d4
parent 496203 575545bc2b10c7e06d89ef687bc2f6c1e7fa2cc5
permissions -rw-r--r--
Bug 1519603 - Remove the File class in subconfigure.py. r=nalexander The File class is now used only in one place, only for its mtime property, which can be replaced with os.path.getmtime. Depends on D16402 Differential Revision: https://phabricator.services.mozilla.com/D16403

# -*- Mode: python; indent-tabs-mode: nil; tab-width: 40 -*-
# vim: set filetype=python:
# This Source Code Form is subject to the terms of the Mozilla Public
# License, v. 2.0. If a copy of the MPL was not distributed with this
# file, You can obtain one at http://mozilla.org/MPL/2.0/.

imply_option('MOZ_PLACES', True)
imply_option('MOZ_SERVICES_HEALTHREPORT', True)
imply_option('MOZ_SERVICES_SYNC', True)
imply_option('MOZ_DEDICATED_PROFILES', True)
imply_option('MOZ_BLOCK_PROFILE_DOWNGRADE', True)

with only_when(target_is_linux & compile_environment):
    option(env='MOZ_NO_PIE_COMPAT',
           help='Enable non-PIE wrapper')

    set_config('MOZ_NO_PIE_COMPAT',
               depends_if('MOZ_NO_PIE_COMPAT')(lambda _: True))

include('../toolkit/moz.configure')