This issue tracker is closed. Please visit UPPAAL issue tracker at Github instead.

Bug 558 - Uppaal GUI/MacOs X 10.8.4 download file damaged
Summary: Uppaal GUI/MacOs X 10.8.4 download file damaged
Status: NEW
Alias: None
Product: UPPAAL
Classification: Unclassified
Component: GUI (show other bugs)
Version: 4.0.13
Hardware: Macintosh Mac OS
: P5 enhancement
Assignee: Alexandre David
URL:
Depends on:
Blocks:
 
Reported: 2013-07-11 21:30 CEST by Jonathan
Modified: 2013-12-06 12:54 CET (History)
1 user (show)

See Also:
Architecture:

Attachments
Add an attachment (proposed patch, testcase, etc.)

Note You need to log in before you can comment on or make changes to this bug.
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.