|Summary:||Uppaal GUI/MacOs X 10.8.4 download file damaged|
|Component:||GUI||Assignee:||Alexandre David <adavid>|
Description Jonathan 2013-07-11 21:30:47 CEST
Downloading macos 4.0.13 and also the latest 4.1, I get a message that Uppaal64.app is damaged etc. A colleagues version of 4.0.13, opens, but then the GUI deadlocks! I have the Java 7 JRE installed.
Comment 1 John J. Camilleri 2013-12-06 12:43:55 CET
I am experiencing the same issue as Jonathan. UPPAAL 4.0.13-aca OSX 0.9 Mavericks Java SE Version 7 Update 45
Comment 2 John J. Camilleri 2013-12-06 12:54:45 CET
Ok, it seems that the instructions on the "Known Issues" page work. See item #16 here: http://www.it.uu.se/research/group/darts/uppaal/documentation.shtml#issues > 16. You cannot install UPPAAL on Mac OS Lion or later. > Delete the dmg file you downloaded. > Open Preferences. > Open Security and Privacy. > Select "Allow applications downloaded from: " anywhere. > Download UPPAAL again and install. After doing this and opening UPPAAL.app once, you can change your preferences back to the way they were and UPPAAL should continue to work.