build/moz.build@ac0c01689b40 (annotated)
build/moz.build
Thu, 15 Jan 2015 15:59:08 +0100
- author
- Michael Schloh von Bennewitz <michael@schloh.com>
- date
- Thu, 15 Jan 2015 15:59:08 +0100
- branch
- TOR_BUG_9701
- changeset 10
- ac0c01689b40
- permissions
- -rw-r--r--
Implement a real Private Browsing Mode condition by changing the API/ABI;
This solves Tor bug #9701, complying with disk avoidance documented in
https://www.torproject.org/projects/torbrowser/design/#disk-avoidance.
| michael@0 | 1 | # -*- Mode: python; c-basic-offset: 4; indent-tabs-mode: nil; tab-width: 40 -*- |
| michael@0 | 2 | # vim: set filetype=python: |
| michael@0 | 3 | # This Source Code Form is subject to the terms of the Mozilla Public |
| michael@0 | 4 | # License, v. 2.0. If a copy of the MPL was not distributed with this |
| michael@0 | 5 | # file, You can obtain one at http://mozilla.org/MPL/2.0/. |
| michael@0 | 6 | |
| michael@0 | 7 | # This cannot be named "build" because of bug 922191. |
| michael@0 | 8 | SPHINX_TREES['buildsystem'] = 'docs' |
| michael@0 | 9 | |
| michael@0 | 10 | if CONFIG['OS_ARCH'] == 'WINNT': |
| michael@0 | 11 | DIRS += ['win32'] |
| michael@0 | 12 | else: |
| michael@0 | 13 | DIRS += ['unix'] |
| michael@0 | 14 | |
| michael@0 | 15 | if CONFIG['OS_TARGET'] == 'Android' and not CONFIG['MOZ_ANDROID_LIBSTDCXX']: |
| michael@0 | 16 | DIRS += ['stlport'] |
| michael@0 | 17 | |
| michael@0 | 18 | if CONFIG['MOZ_WIDGET_TOOLKIT'] == 'android': |
| michael@0 | 19 | DIRS += ['annotationProcessors'] |
| michael@0 | 20 | TEST_DIRS += [ |
| michael@0 | 21 | 'mobile/sutagent/android', |
| michael@0 | 22 | 'mobile/sutagent/android/watcher', |
| michael@0 | 23 | 'mobile/sutagent/android/ffxcp', |
| michael@0 | 24 | 'mobile/sutagent/android/fencp', |
| michael@0 | 25 | 'mobile/robocop', |
| michael@0 | 26 | ] |
| michael@0 | 27 | |
| michael@0 | 28 | for var in ('GRE_MILESTONE', 'MOZ_APP_VERSION', 'MOZ_APP_BASENAME', |
| michael@0 | 29 | 'MOZ_APP_VENDOR', 'MOZ_APP_ID', 'MAR_CHANNEL_ID', |
| michael@0 | 30 | 'ACCEPTED_MAR_CHANNEL_IDS'): |
| michael@0 | 31 | DEFINES[var] = CONFIG[var] |
| michael@0 | 32 | |
| michael@0 | 33 | if CONFIG['MOZ_APP_DISPLAYNAME'] != CONFIG['MOZ_APP_BASENAME']: |
| michael@0 | 34 | DEFINES['MOZ_APP_DISPLAYNAME'] = CONFIG['MOZ_APP_DISPLAYNAME'] |
| michael@0 | 35 | |
| michael@0 | 36 | if CONFIG['MOZ_BUILD_APP'] == 'browser': |
| michael@0 | 37 | DEFINES['MOZ_BUILD_APP_IS_BROWSER'] = True |
| michael@0 | 38 | |
| michael@0 | 39 | if CONFIG['MOZ_APP_PROFILE']: |
| michael@0 | 40 | DEFINES['MOZ_APP_PROFILE'] = CONFIG['MOZ_APP_PROFILE'] |
| michael@0 | 41 | |
| michael@0 | 42 | for var in ('MOZ_CRASHREPORTER', 'MOZ_PROFILE_MIGRATOR', |
| michael@0 | 43 | 'MOZ_EXTENSION_MANAGER', 'MOZ_APP_STATIC_INI'): |
| michael@0 | 44 | if CONFIG[var]: |
| michael@0 | 45 | DEFINES[var] = True |
| michael@0 | 46 |
