gnome-shell/tools/build/gnome-shell-build-setup.sh
Owen Taylor 0c9468f139 Check that xulrunner-1.9-dev is installed ahead of time
On Debian and Ubuntu, if xulrunner-1.9-dev is not installed before starting jhbuild,
then things will break in mysterious ways, so check for that at the end of
gnome-shell-build-setup.sh.

Patch from Sander Dijkhuis.


svn path=/trunk/; revision=54
2008-11-18 00:45:32 +00:00

60 lines
1.6 KiB
Bash
Executable File

#!/bin/sh
#
# Script that sets up jhbuild to build gnome-shell. Run this to
# checkout jhbuild and the required configuration.
#
# Copyright (C) 2008, Red Hat, Inc.
#
# Some ideas and code taken from gtk-osx-build
#
# Copyright (C) 2006, 2007, 2008 Imendio AB
#
SOURCE=$HOME/Source
BASEURL=http://svn.gnome.org/svn/gnome-shell/trunk/tools/build
if [ -d $SOURCE ] ; then : ; else
mkdir $SOURCE
echo "Created $SOURCE"
fi
echo -n "Checking out jhbuild into $SOURCE/jhbuild ... "
cd $SOURCE
svn co http://svn.gnome.org/svn/jhbuild/trunk jhbuild > /dev/null
echo "done"
echo "Installing jhbuild..."
(cd $SOURCE/jhbuild && make -f Makefile.plain DISABLE_GETTEXT=1 install >/dev/null)
if [ -e $HOME/.jhbuildrc ] ; then
if grep JHBUILDRC_GNOME_SHELL $HOME/.jhbuildrc > /dev/null ; then : ; else
mv $HOME/.jhbuildrc $HOME/.jhbuildrc.bak
echo "Saved ~/.jhbuildrc as ~/.jhbuildrc.bak"
fi
fi
echo -n "Writing ~/.jhbuildrc ... "
curl -s -o $HOME/.jhbuildrc $BASEURL/jhbuildrc-gnome-shell
echo "done"
if [ ! -f $HOME/.jhbuildrc-custom ]; then
echo -n "Writing example ~/.jhbuildrc-custom ... "
curl -s -o $HOME/.jhbuildrc-custom $BASEURL/jhbuildrc-custom-example
echo "done"
fi
if test "x`echo $PATH | grep $HOME/bin`" = x; then
echo "PATH does not contain $HOME/bin, it is recommended that you add that."
echo
fi
system=`lsb_release -is`
if test x$system = xUbuntu -o x$system = xDebian ; then
if dpkg --status xulrunner-1.9-dev > /dev/null 2>&1; then : ; else
echo "Please run, as root, 'apt-get install xulrunner-1.9-dev' before building gnome-shell."
echo
fi
fi
echo "Done."