From 686fbd450d32252863b961b2578f7ff00dff74ba Mon Sep 17 00:00:00 2001
From: Guido Tack <guido.tack@monash.edu>
Date: Tue, 21 Jun 2016 11:22:51 +1000
Subject: [PATCH] Provide install target to make packaging on Linux easier

---
 MiniZincIDE/MiniZincIDE.pro | 3 +++
 1 file changed, 3 insertions(+)

diff --git a/MiniZincIDE/MiniZincIDE.pro b/MiniZincIDE/MiniZincIDE.pro
index 58c92a2..26fa6e7 100644
--- a/MiniZincIDE/MiniZincIDE.pro
+++ b/MiniZincIDE/MiniZincIDE.pro
@@ -94,3 +94,6 @@ FORMS    += \
 
 RESOURCES += \
     minizincide.qrc
+
+target.path = /bin
+INSTALLS += target