mirror of
https://github.com/mozilla/gecko-dev.git
synced 2024-10-21 09:15:35 +00:00
978cb5107a
A new configure option --with-devtools (which sets MOZ_DEVTOOLS) is added to control whether all DevTools, just the server, or no DevTools are included. This defaults to just the server. Applications should also include /devtools within their moz.build tree, so that DIST_SUBDIR is in effect for all DevTools files if it is used by the app.
32 lines
673 B
Python
32 lines
673 B
Python
# -*- Mode: python; c-basic-offset: 4; 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/.
|
|
|
|
CONFIGURE_SUBST_FILES += ['installer/Makefile']
|
|
|
|
SPHINX_TREES['browser'] = 'docs'
|
|
|
|
DIRS += [
|
|
'base',
|
|
'components',
|
|
'experiments',
|
|
'fuel',
|
|
'locales',
|
|
'modules',
|
|
'themes',
|
|
'extensions',
|
|
'/devtools',
|
|
]
|
|
|
|
DIRS += [
|
|
'app',
|
|
]
|
|
|
|
if CONFIG['MAKENSISU']:
|
|
DIRS += ['installer/windows']
|
|
|
|
DIST_SUBDIR = 'browser'
|
|
export('DIST_SUBDIR')
|