(svn r13790) -Fix: Enable to force the creation of freedesktop.org desktop entry files
authorskidd13
Tue, 22 Jul 2008 22:21:38 +0000
changeset 9684 b2f4a70edaaa
parent 9683 6faf40f7a9ac
child 9685 e2ccbbfd3583
(svn r13790) -Fix: Enable to force the creation of freedesktop.org desktop entry files
config.lib
--- a/config.lib	Tue Jul 22 20:52:30 2008 +0000
+++ b/config.lib	Tue Jul 22 22:21:38 2008 +0000
@@ -29,10 +29,16 @@
 	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 @@
 	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 @@
 	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 @@
 	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"