Index: minizinc-ide-2.6.3/MiniZincIDE/MiniZincIDE.pro
===================================================================
--- minizinc-ide-2.6.3.orig/MiniZincIDE/MiniZincIDE.pro	2022-05-18 19:40:12.965558846 +0300
+++ minizinc-ide-2.6.3/MiniZincIDE/MiniZincIDE.pro	2022-05-18 19:40:22.257258138 +0300
@@ -6,6 +6,3 @@
 SOURCES += main.cpp
 
 include($$PWD/MiniZincIDE.pri)
-
-target.path = $$PREFIX/bin
-INSTALLS += target
