Add .desktop entry and icon

3 files changed, 29 insertions, 5 deletions

diff --git a/PKGBUILD b/PKGBUILD
index b80ee7e3c9e9..c6abc8417b48 100644
--- a/PKGBUILD
+++ b/PKGBUILD
@@ -9,25 +9,40 @@ license=('Mozilla Public License Version 2.0')
 provides=('minizinc')
 conflicts=('libminizinc')
 
+source=('minizinc-ide.desktop'
+        'minizinc.png')
+
 source_x86_64=(https://github.com/MiniZinc/MiniZincIDE/releases/download/2.0.8/MiniZincIDE-2.0.8-bundle-linux-x86_64.tgz)
 source_i686=(https://github.com/MiniZinc/MiniZincIDE/releases/download/2.0.8/MiniZincIDE-2.0.8-bundle-linux-x86_32.tgz)
 
+md5sums=('dbc72538f4e9bfd6ca0b4dec0a013341'
+         'c4aff15df2271ac84fc60b2dd9a7d192')
+
 md5sums_x86_64=(d72aefbdb83f72374bb193453693c28f)
 md5sums_i686=(dc3ae1e2972a053413ffb5ff1393a065)
 
 package() {
-    cd "$srcdir"
-
-    mkdir -p "${pkgdir}"/usr/share/"${pkgname}"
-
     if [ "${CARCH}" == "i686" ]; then
         _arch=32;
     else
         _arch=64;
     fi
 
-    mv MiniZincIDE-2.0.8-bundle-linux-x86_"${_arch}"/* "${pkgdir}"/usr/share/"${pkgname}"
+    mkdir -p "${pkgdir}"/usr/share/applications
+
+    # Move .desktop file to global applications folder
+    mv "${srcdir}/"minizinc-ide.desktop "${pkgdir}"/usr/share/applications/
+
+    mkdir -p "${pkgdir}"/usr/share/"${pkgname}"
+    
+    # Move png to package
+    mv "${srcdir}/"minizinc.png "${pkgdir}"/usr/share/"${pkgname}"
+
+    # Move uncompressed files to package
+    mv "${srcdir}/"MiniZincIDE-2.0.8-bundle-linux-x86_"${_arch}"/* "${pkgdir}"/usr/share/"${pkgname}"
+
 
+    # Rewrite MiniZincIDE.sh in order to change locations
     cd "$pkgdir"
 
     cat <<EOT > usr/share/"${pkgname}"/MiniZincIDE.sh
@@ -37,6 +52,7 @@ export QT_PLUGIN_PATH=/usr/share/$pkgname/plugins
 exec /usr/share/$pkgname/MiniZincIDE \$@
 EOT
 
+    # Create linkgs for minizinc and IDE
     mkdir -p usr/bin
     ln -s /usr/share/${pkgname}/MiniZincIDE.sh usr/bin/${pkgname}
     ln -s /usr/share/${pkgname}/minizinc usr/bin/minizinc
diff --git a/minizinc-ide.desktop b/minizinc-ide.desktop
new file mode 100644
index 000000000000..b51ce64b51ca
--- /dev/null
+++ b/minizinc-ide.desktop
@@ -0,0 +1,8 @@
+[Desktop Entry]
+Type=Application
+Name=MiniZinc IDE
+Comment=Simple IDE for writing and running MiniZinc models
+Exec=minizinc-ide
+Icon=/usr/share/minizinc-ide/minizinc.png
+Terminal=false
+Categories=Education;Development;IDE;
\ No newline at end of file
diff --git a/minizinc.png b/minizinc.png
new file mode 100644
index 000000000000..7c3dfc0d26ba
--- /dev/null
+++ b/minizinc.png