| 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>
>
>
>