how to pass arguments to simulator

Hi,

We have wrapper scripts which make it easy
to run RTEMS on various simulators.  For psim,
I want to invoke the script like this:

psim -i -l 180 EXE

I use this in the board.exp but the arguments
do not appear to get to the invocation.

set_board_info sim "psim -i -l 180"


I looked for a parameter in the docs but didn't
see one that appear to be "sim args".

What dumb user thing am I missing?

Thanks.

--
Joel Sherrill, Ph.D.             Director of Research & Development
joel.sherrill@...        On-Line Applications Research
Ask me about RTEMS: a free RTOS  Huntsville AL 35805
   Support Available             [phone]




_______________________________________________
DejaGnu mailing list
DejaGnu@...
http://lists.gnu.org/mailman/listinfo/dejagnu

[Ben Elliston-37]

Joel,

> I use this in the board.exp but the arguments
> do not appear to get to the invocation.
>
> set_board_info sim "psim -i -l 180"
>
> I looked for a parameter in the docs but didn't
> see one that appear to be "sim args".
>
> What dumb user thing am I missing?

Looking at config/sim.exp, try "simflags".

Cheers, Ben


_______________________________________________
DejaGnu mailing list
DejaGnu@...
http://lists.gnu.org/mailman/listinfo/dejagnu

Ben Elliston wrote:

> Joel,
>
>  
>> I use this in the board.exp but the arguments
>> do not appear to get to the invocation.
>>
>> set_board_info sim "psim -i -l 180"
>>
>> I looked for a parameter in the docs but didn't
>> see one that appear to be "sim args".
>>
>> What dumb user thing am I missing?
>>    
>
> Looking at config/sim.exp, try "simflags".
>
>  

Thanks.  That put me on the right track.  This is the
answer so it is in the mail archives:

    set_board_info sim,options "-i"

And the code from config/sim.exp:

       set simflags [board_info $dest sim,options]


> Cheers, Ben
>  
Thank you.  Now I can start the RTEMS GCC test
builds for the weekend. :)

--joel


_______________________________________________
DejaGnu mailing list
DejaGnu@...
http://lists.gnu.org/mailman/listinfo/dejagnu