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

["Reder, Leonard J (3496)" <Leonard.J.Reder@xxxxxxxxxxxx>]

Thanks Jerome:


I grabbed the 3-27-2012 build just now and attempted to configure it.
The configure did not seem to work:

checking whether this is an SVN working copy... no.
checking the configuration full date... Monday 26 March 2012, 22:27:23.
checking the configuration year... 2012
checking for texi2html... texi2html
configure: creating ./config.status
config.status: creating Makefile
config.status: error: cannot find input file: `doc/Makefile.in'
dogmatix:/home/reder/src/ocarina-2.0w$gmake
Making all in support
gmake[1]: Entering directory
`/home/reder/src/ocarina-2.0w-20120327/support'
gmake[1]: *** No rule to make target `all'.  Stop.
gmake[1]: Leaving directory `/home/reder/src/ocarina-2.0w-20120327/support'

Can you advise where I can download a version that can configure and build?


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