Re: [taste-users] Latest ocarina source builds but did not execute correctly??

[ Thread Index | Date Index | More lists.tuxfamily.org/taste-users Archives ]


Strang?  So why does the binary work but the source build fails?

Len

On 3/26/12 9:58 PM, "Jérôme Hugues" <hugues.jerome@xxxxxxxxx> wrote:

>Hi Leonard,
>
>As mentioned here: http://pok.safety-critical.net/ in the right corner
>
>04/12/2011: POK users: if you plan to use POK with the Ocarina AADL
>toolsuite, please make sure you use the appropriate toolchain available
>atthe TASTE sources repository, sources and binaries available on TELECOM
>Paristech are no longer supported. More information in the FAQ,
>installation instructions are also available here.
>
>Please use only the version provided through TASTE website
>
>Regards
>
>Le 27 mars 2012 à 01:28, Reder, Leonard J (3496) a écrit :
>
>> Hello,
>>  
>> I just obtained the new ocarina for linux from
>>http://aadl.enst.fr/ocarina/snapshots/.   I find that the binary seems
>>to work fine with POK examples but when I attempt to use my build of it
>>I get the following exception.
>>  
>> 
>>xxxxxxx:/home/reder/src/pok-20111205/examples/partitions-threads$/home/re
>>der/bin/ocarina -aadlv2 -f -g pok_c model.aadl
>>$POK_PATH/misc/aadl-library.aadl
>>  
>> +========================== OCARINA BUG DETECTED
>>=========================+
>> | Detected exception: SYSTEM.ASSERTIONS.ASSERT_FAILURE
>>  |
>> | Error: ocarina-me_aadl-aadl_tree-nodes.adb:2683
>>  |
>> | Please refer to the User's Guide for more details.
>>  |
>> 
>>+========================================================================
>>=+
>>  
>> Exception name: SYSTEM.ASSERTIONS.ASSERT_FAILURE
>> Message: ocarina-me_aadl-aadl_tree-nodes.adb:2683
>>  
>> I have attached the config.log and config.status files so you can have
>>a look as well.   Please advise since we would like to be able to build
>>and execute the tool from source.
>>  
>> Thanks,
>>  
>> Len
>> -----------------------------------------
>> Leonard J. Reder
>> Jet Propulsion Laboratory
>> Flight Software Applications
>> Email: reder@xxxxxxxxxxxx
>> Phone: 818-354-3639
>> -----------------------------------------
>>  
>> <config.log><config.status>
>
>
>




Mail converted by MHonArc 2.6.19+ http://listengine.tuxfamily.org/