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

Bug 558

Summary:	Uppaal GUI/MacOs X 10.8.4 download file damaged
Product:	UPPAAL	Reporter:	Jonathan <jonathan>
Component:	GUI	Assignee:	Alexandre David <adavid>
Status:	NEW ---
Severity:	enhancement	CC:	john.j.camilleri
Priority:	P5
Version:	4.0.13
Hardware:	Macintosh
OS:	Mac OS
Architecture:

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.