Maude-help mailing list

[Marc Boyer <Marc.Boyer AT onera.fr>]

Le 14/10/2012 14:19, J.Hofmann a écrit :
> But unfortunately, I’m still stuck at the point to write something in a
> file, and not in the console. I’m using Windows 7 with console2, but
> tried it also with the normal cmd-prompt.
>
> I tried to do the following:
>
> 1)Started maude in the console
>
> 2)Loaded the needed modules
>
> 3)Typed “reduce in MODUL : SOMETHING > path/file.txt .

I do not know how Window command line works.
On any Unix, the idea is to put the reduce command in a
command file

Assume I have a File defining some fib function. I simply write
a file testFib.maude containing

load Fact.maude
red fib(5) .

Then I run
maude < testFib.maude > testFib.out
or
maude < testFib.maude | tee  testFib.out

Regards,
  Marc Boyer
--
Marc Boyer, Ingenieur de recherche                              ONERA
Tel: (33)  5.62.25.26.36                                         DTIM
Fax: (33)  5.62.25.26.93                          2, av Edouard Belin
http://www.onera.fr/staff/marc-boyer/          31055 TOULOUSE Cedex 4