2005-07-18 20:30:35 +00:00
|
|
|
. $topsrcdir/browser/config/mozconfig
|
|
|
|
|
2006-07-25 04:09:33 +00:00
|
|
|
ac_add_options --prefix="$PREFIX"
|
2016-07-26 15:55:50 +02:00
|
|
|
ac_add_options --libdir="$LIBDIR"
|
2005-07-18 20:30:35 +00:00
|
|
|
ac_add_options --with-system-zlib
|
2014-01-09 10:56:01 +01:00
|
|
|
ac_add_options --with-system-bz2
|
|
|
|
ac_add_options --disable-strip
|
2005-07-18 20:30:35 +00:00
|
|
|
ac_add_options --disable-tests
|
2016-07-26 13:06:48 +02:00
|
|
|
#ac_add_options --enable-libnotify
|
2014-05-20 17:44:14 +02:00
|
|
|
ac_add_options --enable-necko-wifi
|
2014-01-09 10:56:01 +01:00
|
|
|
ac_add_options --enable-startup-notification
|
2010-11-12 16:42:39 +01:00
|
|
|
ac_add_options --disable-updater
|
2011-06-21 16:54:10 +02:00
|
|
|
ac_add_options --enable-chrome-format=omni
|
2014-01-09 10:56:01 +01:00
|
|
|
ac_add_options --enable-pulseaudio
|
2014-04-25 16:31:42 +02:00
|
|
|
ac_add_options --with-system-icu
|
2014-11-29 18:11:46 +01:00
|
|
|
ac_add_options --with-mozilla-api-keyfile=../mozilla-api-key
|
2017-08-29 10:39:08 +02:00
|
|
|
ac_add_options --with-google-api-keyfile=../google-api-key
|
2015-08-20 11:27:41 +02:00
|
|
|
ac_add_options --enable-pie
|
2018-11-13 23:47:50 +01:00
|
|
|
ac_add_options --enable-release
|
2018-11-06 09:44:57 +01:00
|
|
|
ac_add_options --update-channel=release
|
2017-10-06 12:40:42 +02:00
|
|
|
# Workaround for mozbz#1341234
|
|
|
|
ac_add_options BINDGEN_CFLAGS="$(pkg-config nspr pixman-1 --cflags)"
|
2005-07-18 20:30:35 +00:00
|
|
|
|
|
|
|
export BUILD_OFFICIAL=1
|
|
|
|
export MOZILLA_OFFICIAL=1
|
2017-01-17 09:36:20 +01:00
|
|
|
export MOZ_TELEMETRY_REPORTING=1
|
2005-07-18 20:30:35 +00:00
|
|
|
mk_add_options BUILD_OFFICIAL=1
|
|
|
|
mk_add_options MOZILLA_OFFICIAL=1
|
2013-12-10 13:52:25 +01:00
|
|
|
mk_add_options MOZ_OBJDIR=@TOPSRCDIR@/objdir
|