gronod/OpenTTD
1
0
Fork 0
mirror of https://github.com/OpenTTD/OpenTTD.git synced 2025-03-06 06:15:04 +00:00
Code Issues Packages Projects Releases Wiki Activity

(svn r13790) -Fix: Enable to force the creation of freedesktop.org desktop entry files

Browse Source
This commit is contained in:
skidd13 2008-07-22 22:21:38 +00:00
parent 9a6b7a90e0
commit 1b60a3522e
1 changed files with 9 additions and 12 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

21
config.lib
View File

@ -29,10 +29,16 @@ set_default() {
binary_dir="games"
data_dir="share/games/openttd"
icon_dir="share/pixmaps"
menu_dir="share/applications"
personal_dir="1"
shared_dir="1"
install_dir="/"
if [ "$os" = "UNIX" ] || [ "$os" = "FREEBSD" ] || [ "$os" = "OPENBSD" ] || [ "$os" = "NETBSD" ] || [ "$os" = "HPUX" ] || [ "$os" = "SUNOS" ]; then
with_menu_entry="1"
menu_dir="share/applications"
else
with_menu_entry="0"
menu_dir=""
fi
menu_group="Game;"
enable_debug="0"
enable_desync_debug="0"
@ -50,7 +56,6 @@ set_default() {
enable_cocoa_quickdraw="1"
with_osx_sysroot="1"
with_application_bundle="1"
with_menu_entry="1"
with_sdl="1"
with_cocoa="1"
with_zlib="1"
@ -867,13 +872,6 @@ check_params() {
else
log 1 "installation directory... none"
fi
if [ "$os" = "CYGWIN" ] || [ "$os" = "MINGW" ] || [ "$os" = "OS2" ] || [ "$os" = "WINCE" ] || [ "$os" = "PSP" ] || [ "$os" = "OSX" ] || [ "$os" = "MORPHOS" ]; then
# Don't create a .desktop file
with_menu_entry="0"
menu_dir=""
menu_group=""
fi
}
make_cflags_and_ldflags() {
@ -2420,9 +2418,8 @@ showhelp() {
echo " (OSX ONLY)"
echo " --without-application-bundle disable generation of application bundle"
echo " (OSX ONLY)"
echo " --with-menu-entry Generate a menu item on for UNIX desktops (Except OSX)"
echo " --without-menu-entry Don't generate a menu item"
echo " --menu_group=group Category in which the menu item will be placed (UNIX only, except OSX)"
echo " --without-menu-entry Don't generate a menu item (Freedesktop based only)"
echo " --menu_group=group Category in which the menu item will be placed (Freedesktop based only)"
echo " --with-direct-music enable direct music support (Win32 ONLY)"
echo " --with-sort=sort define a non-default location for sort"
echo " --with-midi=midi define which midi-player to use"