| Re: [pok] Trouble with Ocarina |
[ Thread Index |
Date Index
| More lists.tuxfamily.org/pok Archives
]
- To: pok@xxxxxxxxxxxxxxxxxxx
- Subject: Re: [pok] Trouble with Ocarina
- From: Hugues Jérôme <hugues.jerome@xxxxxxxxx>
- Date: Fri, 14 Feb 2014 22:15:45 +0100
- Dkim-signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=20120113; h=content-type:mime-version:subject:from:in-reply-to:date :content-transfer-encoding:message-id:references:to; bh=cm6LxLmlmy4QRaE4Q+u497kJ+2jCOqPTKCDnnQh1KG8=; b=ysq9rUUtDqVD5HEmn500+sonaFy+T8r5FTCnAcM4pmHKQYtlKUDYMk87q0/4cqRw58 vZ8Fsgtyq30zN8KBRDmy8PQUUgvnMmiUtoaB0BaU3BYW1DDkJS5w4IHh8q/Nf02HyYIH GGFA0Z35EdhMAlgVBCgGCXF7hsDNgOnJboOEP+/YwrpZcAUmwA5PsXHZ+tDBKhwScAxS oIcyCF5oLluezSqLTc88zy51pIn6biwzD8hag0G8GHSaZTyMbdfhdDS3ghP+KTJBlXY3 Bipi2jU7fKec+BRVhFVVjdXz7Nu6uH+cL7IA3mVMmKPEMNpt0EQHJyDGVbrc/SJcn6Ka a1lg==
Hi,
Le 14 févr. 2014 à 22:06, Jeff Mayes <Jeff.Mayes@xxxxxxxxxxx> a écrit :
> Anyone else having trouble with building Ocarina recently? Here’s the error message. It fails like this for me with versions 20130307, 20121217, and 20121130.
As maintainer, I must say now: compiles like a charm
> gcc -c -gnatec=/home/mj/development/pok/b-ocarina/../ocarina-2.0w/src/../projects/restrictions.adc -O2 -fPIC -gnat05 -gnata -gnaty -gnatyu -gnatys -gnatpn -I- -gnatA /home/mj/development/pok/ocarina-2.0w/src/core/model/ocarina-analyzer-messages.adb
> Exception name: SYSTEM.ASSERTIONS.ASSERT_FAILURE
> Message: namet.adb:655
Can you please confirm you use ocarina from http://www.openaadl.org/download.html
The one from Telecom Paristech are from an old branch that is no longer active
Also, can you indicate which version of gcc/gnat you use? The error message you see is a compiler error
Regards,