diff options
author | Michele Calgaro <[email protected]> | 2023-10-17 19:57:10 +0900 |
---|---|---|
committer | Michele Calgaro <[email protected]> | 2023-10-17 19:57:10 +0900 |
commit | 0eec68a32197fcf878eabe4434badcf73e2d4741 (patch) | |
tree | 6b468db129339c1a6c67222507291dc16199b67c /admin/configure.in.bot.end | |
download | twin-style-fahrenheit-0eec68a32197fcf878eabe4434badcf73e2d4741.tar.gz twin-style-fahrenheit-0eec68a32197fcf878eabe4434badcf73e2d4741.zip |
Initial code import from https://www.trinity-look.org/p/1100374. As per note on the website, the code has been abandoned. There is no license file in the source code, but given the package was available on the KDE3 store back in the days, it is reasonable to assume it was distributed under GPL2 license
Signed-off-by: Michele Calgaro <[email protected]>
Diffstat (limited to 'admin/configure.in.bot.end')
-rw-r--r-- | admin/configure.in.bot.end | 30 |
1 files changed, 30 insertions, 0 deletions
diff --git a/admin/configure.in.bot.end b/admin/configure.in.bot.end new file mode 100644 index 0000000..14da279 --- /dev/null +++ b/admin/configure.in.bot.end @@ -0,0 +1,30 @@ +# Check if KDE_SET_PREFIX was called, and --prefix was passed to configure +if test -n "$kde_libs_prefix" -a -n "$given_prefix"; then + # And if so, warn when they don't match + if test "$kde_libs_prefix" != "$given_prefix"; then + # And if kde doesn't know about the prefix yet + echo ":"`kde-config --path exe`":" | grep ":$given_prefix/bin/:" 2>&1 >/dev/null + if test $? -ne 0; then + echo "" + echo "Warning: you chose to install this package in $given_prefix," + echo "but KDE was found in $kde_libs_prefix." + echo "For this to work, you will need to tell KDE about the new prefix, by ensuring" + echo "that KDEDIRS contains it, e.g. export KDEDIRS=$given_prefix:$kde_libs_prefix" + echo "Then restart KDE." + echo "" + fi + fi +fi + +if test "$all_tests" = "bad"; then + if test ! "$cache_file" = "/dev/null"; then + echo "" + echo "Please remove the file $cache_file after changing your setup" + echo "so that configure will find the changes next time." + echo "" + fi +else + echo "" + echo "Good - your configure finished. Start make now" + echo "" +fi |