diff options
| author | A. Maitland Bottoms <bottoms@debian.org> | 2018-02-25 15:43:55 -0500 |
|---|---|---|
| committer | Marcus Müller <marcus@hostalia.de> | 2018-09-22 19:08:13 +0200 |
| commit | 78ba4b8794339f8efabf85123a2f249cdb787bfa (patch) | |
| tree | 714090928ae8b1c4d0edd3041090997401c1c0f3 | |
| parent | d9c981e5137f04a0a226d7b29d5814ecf53b2df2 (diff) | |
direct freedesktop install
| -rw-r--r-- | grc/scripts/freedesktop/CMakeLists.txt | 22 |
1 files changed, 22 insertions, 0 deletions
diff --git a/grc/scripts/freedesktop/CMakeLists.txt b/grc/scripts/freedesktop/CMakeLists.txt index f936b366fc..5edcab8302 100644 --- a/grc/scripts/freedesktop/CMakeLists.txt +++ b/grc/scripts/freedesktop/CMakeLists.txt @@ -33,6 +33,28 @@ install(FILES DESTINATION ${grc_freedesktop_path} ) +# Install desktop +install(FILES gnuradio-grc.desktop DESTINATION share/applications) + +# Install mime +install(FILES gnuradio-grc.xml DESTINATION share/mime/packages) + +# Install icons +install(FILES grc-icon-256.png DESTINATION share/icons/gnome/256x256/apps RENAME gnuradio-grc.png) +install(FILES grc-icon-128.png DESTINATION share/icons/gnome/128x128/apps RENAME gnuradio-grc.png) +install(FILES grc-icon-64.png DESTINATION share/icons/gnome/64x64/apps RENAME gnuradio-grc.png) +install(FILES grc-icon-48.png DESTINATION share/icons/gnome/48x48/apps RENAME gnuradio-grc.png) +install(FILES grc-icon-32.png DESTINATION share/icons/gnome/32x32/apps RENAME gnuradio-grc.png) +install(FILES grc-icon-24.png DESTINATION share/icons/gnome/24x24/apps RENAME gnuradio-grc.png) +install(FILES grc-icon-16.png DESTINATION share/icons/gnome/16x16/apps RENAME gnuradio-grc.png) +install(FILES grc-icon-256.png DESTINATION share/icons/hicolor/256x256/apps RENAME gnuradio-grc.png) +install(FILES grc-icon-128.png DESTINATION share/icons/hicolor/128x128/apps RENAME gnuradio-grc.png) +install(FILES grc-icon-64.png DESTINATION share/icons/hicolor/64x64/apps RENAME gnuradio-grc.png) +install(FILES grc-icon-48.png DESTINATION share/icons/hicolor/48x48/apps RENAME gnuradio-grc.png) +install(FILES grc-icon-32.png DESTINATION share/icons/hicolor/32x32/apps RENAME gnuradio-grc.png) +install(FILES grc-icon-24.png DESTINATION share/icons/hicolor/24x24/apps RENAME gnuradio-grc.png) +install(FILES grc-icon-16.png DESTINATION share/icons/hicolor/16x16/apps RENAME gnuradio-grc.png) + find_program(HAVE_XDG_UTILS xdg-desktop-menu) if(UNIX AND HAVE_XDG_UTILS) |