blob: 26b45aa5637694990cc8b534104255d38a63d429 (
plain)
1
2
3
4
5
6
7
8
9
10
|
[Desktop Entry]
Type=Application
Name=MiniZinc IDE
Comment=Simple IDE for writing and running MiniZinc models
Icon=/opt/minizinc-ide/resources/icon.png
#Exec= env LD_LIBRARY_PATH=/opt/minizinc-ide/lib:$LD_LIBRARY_PATH
#Exec=MiniZincIDE
Exec=sh -c "LD_LIBRARY_PATH=/opt/minizinc-ide/lib:$LDLIBRARY_PATH MiniZincIDE"
Terminal=false
Categories=Development;IDE;
|