[Ivette] Special Makefile target for AppImage

ivette/Makefile

@@ -82,6 +82,7 @@ dist-dir:
 	@rm -fr dist
 
 dist: dist-dir dome-dist
+appimage: dist-dir dome-appimage
 
 # --------------------------------------------------------------------------
 # --- Ivette Package Loader
@@ -99,6 +100,7 @@ dome-pkg: pkg
 dome-app: pkg
 dome-dev: pkg
 dome-dist: pkg
+dome-appimage: pkg
 
 pkg: $(LOADER) $(SANDBOX)
 

ivette/electron-builder.json

@@ -4,6 +4,6 @@
   "linux": {
     "icon": "icon.png",
     "target": "appImage",
-    "description": "This is a test"
+    "category": "Developpement"
   }
 }

ivette/package.json

@@ -5,6 +5,7 @@
   "repository": "git@git.frama-c.com:frama-c/Ivette.git",
   "author": "Loïc Correnson <loic.correnson@cea.fr>",
   "license": "MIT",
+  "description": "Frama-C GUI",
   "scripts": {
     "lint": "eslint --ext .ts,.tsx --format=compact ./src",
     "typecheck": "tsc --noEmit",

ivette/src/dome/template/makefile

@@ -253,6 +253,10 @@ dome-app: dome-pkg dome-templ
 dome-dist: dome-app
 	@echo "[Dome] packaging application (production)"
 	DOME=$(DOME) yarn run electron-builder --dir -c.compression=store -c.mac.identity=null
+	@echo "[Dome] application packaged in ./dist"
+
+dome-appimage: dome-app
+	@echo "[Dome] packaging application (AppImage)"
 	DOME=$(DOME) yarn run electron-builder --linux
 	@echo "[Dome] application packaged in ./dist"