← Back to branch summary

~ubuntu-branches/debian/sid/kdevelop/sid

« back to all changes in this revision

Viewing changes to admin/configure.in.bot.end

  • Committer: Bazaar Package Importer
  • Author(s): Jeremy Lainé
  • Date: 2006-05-23 18:39:42 UTC
  • Revision ID: james.westby@ubuntu.com-20060523183942-hucifbvh68k2bwz7
Tags: upstream-3.3.2
Import upstream version 3.3.2

Show diffs side-by-side

added added

removed removed

Lines of Context:
admin/configure.in.bot.end
 
1
# Check if KDE_SET_PREFIX was called, and --prefix was passed to configure
 
2
if test -n "$kde_libs_prefix" -a -n "$given_prefix"; then
 
3
  # And if so, warn when they don't match
 
4
  if test "$kde_libs_prefix" != "$given_prefix"; then
 
5
    # And if kde doesn't know about the prefix yet
 
6
    echo ":"`kde-config --path exe`":" | grep ":$given_prefix/bin/:" 2>&1 >/dev/null
 
7
    if test $? -ne 0; then
 
8
      echo ""
 
9
      echo "Warning: you chose to install this package in $given_prefix,"
 
10
      echo "but KDE was found in $kde_libs_prefix."
 
11
      echo "For this to work, you will need to tell KDE about the new prefix, by ensuring"
 
12
      echo "that KDEDIRS contains it, e.g. export KDEDIRS=$given_prefix:$kde_libs_prefix"
 
13
      echo "Then restart KDE."
 
14
      echo ""
 
15
    fi
 
16
  fi
 
17
fi
 
18
 
 
19
if test x$GXX = "xyes" -a x$kde_have_gcc_visibility = "xyes" -a x$kde_cv_val_qt_gcc_visibility_patched = "xno"; then
 
20
  echo ""
 
21
  echo "Your GCC supports symbol visibility, but the patch for Qt supporting visibility"
 
22
  echo "was not included. Therefore, GCC symbol visibility support remains disabled."
 
23
  echo ""
 
24
  echo "For better performance, consider including the Qt visibility supporting patch"
 
25
  echo "located at:"
 
26
  echo ""
 
27
  echo "http://bugs.kde.org/show_bug.cgi?id=109386"
 
28
  echo ""
 
29
  echo "and recompile all of Qt and KDE. Note, this is entirely optional and"
 
30
  echo "everything will continue to work just fine without it."
 
31
  echo ""
 
32
fi
 
33
 
 
34
if test "$all_tests" = "bad"; then
 
35
  if test ! "$cache_file" = "/dev/null"; then
 
36
    echo ""
 
37
    echo "Please remove the file $cache_file after changing your setup"
 
38
    echo "so that configure will find the changes next time."
 
39
    echo ""
 
40
  fi
 
41
else
 
42
  echo ""
 
43
  echo "Good - your configure finished. Start make now"
 
44
  echo ""
 
45
fi