[gnome-games] flatpak: Add the libretro-prosystem core

[Adrien Plazas <aplazas src gnome org>]

commit 74a31a9ccd054b8d2fa2e433a19e716e67c3c4c0
Author: Adrien Plazas <kekun plazas laposte net>
Date:   Wed Nov 8 12:21:36 2017 +0100

    flatpak: Add the libretro-prosystem core
    
    This allows to run Atari 7800 games.

 flatpak/libretro-cores/libretro-prosystem.json |   27 ++++++++++++++++++++++++
 flatpak/libretro-cores/prosystem.libretro      |   17 +++++++++++++++
 flatpak/org.gnome.Games.json                   |    1 +
 3 files changed, 45 insertions(+), 0 deletions(-)
---
diff --git a/flatpak/libretro-cores/libretro-prosystem.json b/flatpak/libretro-cores/libretro-prosystem.json
new file mode 100644
index 0000000..afa1f99
--- /dev/null
+++ b/flatpak/libretro-cores/libretro-prosystem.json
@@ -0,0 +1,27 @@
+        {
+            "name": "libretro-prosystem",
+            "no-autogen": true,
+            "make-args": [
+                "prefix=/app",
+                "core_installdir=/app/lib/libretro"
+            ],
+            "make-install-args": [
+                "prefix=/app",
+                "core_installdir=/app/lib/libretro"
+            ],
+            "post-install": [
+                /* TODO: Send that upstream */
+                "mkdir -p /app/lib/libretro/",
+                "install -m644 -p prosystem.libretro /app/lib/libretro/"
+            ],
+            "sources": [
+                {
+                    "type": "git",
+                    "url": "https://github.com/libretro/prosystem-libretro";
+                },
+                {
+                    "type": "file",
+                    "path": "prosystem.libretro"
+                }
+            ]
+        }
diff --git a/flatpak/libretro-cores/prosystem.libretro b/flatpak/libretro-cores/prosystem.libretro
new file mode 100644
index 0000000..1cc185c
--- /dev/null
+++ b/flatpak/libretro-cores/prosystem.libretro
@@ -0,0 +1,17 @@
+[Libretro]
+Type=Emulator
+Version=1.0
+Name=ProSystem
+Module=prosystem_libretro.so
+LibretroVersion=1
+Authors=Greg Stanton;Brian Berlin;Leonis;Greg DeMent;
+License=GPL-2.0+;
+
+[Platform:Atari7800]
+MimeType=application/x-atari-7800-rom;
+Firmwares=Atari7800;
+
+[Firmware:Atari7800]
+Path=7800 BIOS (U).rom
+MD5=0763f1ffb006ddbe32e52d497ee848ae
+Mandatory=false
diff --git a/flatpak/org.gnome.Games.json b/flatpak/org.gnome.Games.json
index 0d9df6a..5ddb3ea 100644
--- a/flatpak/org.gnome.Games.json
+++ b/flatpak/org.gnome.Games.json
@@ -58,6 +58,7 @@
         "libretro-cores/libretro-nestopia.json",
         "libretro-cores/libretro-pcsx_rearmed.json",
         "libretro-cores/libretro-prboom.json",
+        "libretro-cores/libretro-prosystem.json",
         "libretro-cores/libretro-stella.json",
         /* End libretro cores */
         "org.lua.modules.json",