Description: Debian-specific build-related files.
Forwarded: not-needed
Author: Filip Strömbäck <filip@fprg.se>
--- /dev/null
+++ b/scripts/progvis
@@ -0,0 +1,2 @@
+#!/bin/bash
+exec storm -f progvis.main -- "$@"
--- a/Gui/.mymake
+++ b/Gui/.mymake
@@ -60,6 +60,6 @@
 library+=dl
 
 # Defaults
-flags+=`pkg-config --cflags gtk+-3.0 x11 fontconfig`
-linkFlags+=`pkg-config --libs gtk+-3.0 x11 fontconfig pangoft2` -lGL -lEGL
+flags+=`pkg-config --cflags gtk+-3.0 x11`
+linkFlags+=-lgtk-3 -lgdk-3 -lgdk_pixbuf-2.0 -lgio-2.0 -lpangocairo-1.0 -lpango-1.0 -lcairo -lgobject-2.0 -lglib-2.0 -lX11 -lGL
 
--- a/.myproject
+++ b/.myproject
@@ -181,6 +181,11 @@
 #We do not need O3
 opt=-O2
 
+#Respect CFLAGS etc.
+flags+=<env:CPPFLAGS> <env:CXXFLAGS>
+cflags+=<env:CPPFLAGS> <env:CFLAGS>
+linkFlags+=<env:LDFLAGS>
+
 [pic,unix]
 #All libraries need to be compiled with the -fPIC flag. At least on X86-64.
 flags+=-fPIC
@@ -238,7 +243,7 @@
 ext+=S
 noIncludes+=*.s
 noIncludes+=*.S
-compile+=*.S:gcc -g <file> <includes> -c -o <output>
+compile+=*.S:gcc <env:CFLAGS> <env:CPPFLAGS> <file> <includes> -c -o <output>
 
 # Enable branch protection on ARM (PAC) if asked to
 [unix,branchprotection]
--- a/res/org.storm_lang.progvis.desktop
+++ b/res/org.storm_lang.progvis.desktop
@@ -7,4 +7,4 @@
 Categories=Education
 Keywords=visualize;debug;verify;model-checking;learn;
 Exec=/usr/bin/progvis
-Icon=progvis
+Icon=org.storm_lang.progvis
