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