[pok] Trouble with Ocarina

[Jeff Mayes <Jeff.Mayes@xxxxxxxxxxx>]

Hi

 

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.

 

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

 

gnatmake: INTERNAL ERROR. Please report.

gmake[1]: *** [ocarina-core.gpr-build] Error 4

gmake[1]: Leaving directory `/home/mj/development/pok/b-ocarina/projects'

gmake: *** [all-recursive] Error 1

 

Thanks

Jeff