Skip to content

Commit 7329a6b

Browse files
committed
Merge branch 'topic/flatpak' into 'master'
Add flatpak files. See merge request eng/ide/gnatstudio!862
2 parents 6be5729 + ba6edcb commit 7329a6b

File tree

5 files changed

+148
-0
lines changed

5 files changed

+148
-0
lines changed

distrib/flatpak/README.md

Lines changed: 34 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,34 @@
1+
# Build flatpak
2+
3+
* Place the distribution archive
4+
(like `gnatstudio-25.1-x86_64-linux-bin.tar.gz`)
5+
in this folder. Check the name of the distribution archive in the
6+
`com.adacore.gnatstudio.json` file (`modules/sources/path` field).
7+
Then run the packaging:
8+
9+
```shell
10+
flatpak-builder --force-clean --user --install-deps-from=flathub --repo=repo \
11+
--install builddir com.adacore.gnatstudio.json
12+
```
13+
14+
* Now you can launch it
15+
16+
```shell
17+
flatpak run --filesystem=/your/project/path \
18+
--filesystem=/your/toolchain/path:ro \
19+
--env=PATH=/app/bin:/usr/bin:/your/toolchain/bin \
20+
com.adacore.gnatstudio
21+
```
22+
23+
* You can build a bundle:
24+
25+
```shell
26+
flatpak build-bundle repo gnatstudio.flatpak com.adacore.gnatstudio \
27+
--runtime-repo=https://flathub.org/repo/flathub.flatpakrepo
28+
```
29+
30+
* To uninstall it run:
31+
32+
```shell
33+
flatpak remove com.adacore.gnatstudio
34+
```
Lines changed: 48 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,48 @@
1+
{
2+
"id": "com.adacore.gnatstudio",
3+
"runtime": "org.freedesktop.Platform",
4+
"runtime-version": "23.08",
5+
"sdk": "org.freedesktop.Sdk",
6+
"command": "gnatstudio",
7+
"modules": [
8+
{
9+
"name": "gnatstudio",
10+
"buildsystem": "simple",
11+
"build-commands": [
12+
"./doinstall /app",
13+
"ls -l /app",
14+
"mkdir -v -p /app/share/metainfo/",
15+
"mkdir -v -p /app/share/icons/hicolor/256x256/apps/",
16+
"mkdir -v -p /app/share/applications/",
17+
"cp -v com.adacore.gnatstudio.metainfo.xml /app/share/metainfo/",
18+
"cp -v gnatstudio.png /app/share/icons/hicolor/256x256/apps/com.adacore.gnatstudio.png",
19+
"cp -v gnatstudio.desktop /app/share/applications/com.adacore.gnatstudio.desktop"
20+
],
21+
"sources": [
22+
{
23+
"type": "archive",
24+
"path": "gnatstudio-25.1-x86_64-linux-bin.tar.gz"
25+
},
26+
{
27+
"type": "file",
28+
"path": "com.adacore.gnatstudio.metainfo.xml"
29+
},
30+
{
31+
"type": "file",
32+
"path": "gnatstudio.png"
33+
},
34+
{
35+
"type": "file",
36+
"path": "gnatstudio.desktop"
37+
}
38+
]
39+
}
40+
],
41+
"finish-args": [
42+
"--socket=wayland",
43+
"--socket=fallback-x11",
44+
"--share=ipc",
45+
"--device=all",
46+
"--filesystem=~/.gnatstudio"
47+
]
48+
}
Lines changed: 55 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,55 @@
1+
<?xml version="1.0" encoding="UTF-8"?>
2+
<component type="desktop-application">
3+
<id>com.adacore.gnatstudio</id>
4+
5+
<releases>
6+
<release version="25.1" type="development" date="2025-01-09" />
7+
</releases>
8+
9+
<name>GNAT Studio</name>
10+
<summary>GNAT Studio is a powerful and lightweight IDE for Ada and SPARK</summary>
11+
<url type="homepage">https://www.adacore.com/gnatpro/toolsuite/gnatstudio</url>
12+
<url type="bugtracker">https://github.com/AdaCore/gnatstudio/issues</url>
13+
14+
<metadata_license>MIT</metadata_license>
15+
<project_license>GPL-3.0-or-later</project_license>
16+
17+
<description>
18+
<p>
19+
GNAT Studio is a complete integrated development environment that gives access to a wide range of tools and integrates them smoothly.
20+
</p>
21+
</description>
22+
23+
<launchable type="desktop-id">com.adacore.gnatstudio.desktop</launchable>
24+
<screenshots>
25+
<screenshot type="default">
26+
<caption>The GNAT Studio main window.</caption>
27+
<image>https://docs.adacore.com/live/wave/gps/html/gps_ug/_images/gps-main-window.png</image>
28+
</screenshot>
29+
<screenshot>
30+
<caption>The Assembler View window.</caption>
31+
<image>https://docs.adacore.com/live/wave/gps/html/gps_ug/_images/assembly.png</image>
32+
</screenshot>
33+
<screenshot>
34+
<caption>The Project Wizard window.</caption>
35+
<image>https://docs.adacore.com/live/wave/gps/html/gps_ug/_images/project-wizard.png</image>
36+
</screenshot>
37+
</screenshots>
38+
39+
<icon type="stock">com.adacore.gnatstudio</icon>
40+
41+
<categories>
42+
<category>Development</category>
43+
<category>IDE</category>
44+
</categories>
45+
46+
<provides>
47+
<binary>gnatstudio</binary>
48+
</provides>
49+
50+
<developer id="com.adacore">
51+
<name>AdaCode</name>
52+
</developer>
53+
54+
<content_rating type="oars-1.1" />
55+
</component>

distrib/flatpak/gnatstudio.desktop

Lines changed: 11 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,11 @@
1+
[Desktop Entry]
2+
Name=GNAT Studio
3+
Exec=gnatstudio
4+
Icon=com.adacore.gnatstudio
5+
Type=Application
6+
Categories=Development
7+
8+
X-AppImage-Name=GNAT Studio
9+
X-AppImage-Version=25.1
10+
X-AppImage-Arch=x86_64
11+

distrib/flatpak/gnatstudio.png

43.4 KB
Loading

0 commit comments

Comments
 (0)