[vmchecker-dev] feature request

[Alexandru Moșoi]

În data de 28 octombrie 2008 11:50, Lucian Adrian Grijincu
<lucian.grijincu at gmail.com> a scris:
> On Tue, Oct 28, 2008 at 10:32 AM, Alexandru Moșoi <brtzsnr at gmail.com> wrote:
>> pai... outputul trebuie sa apara in /checked/.../ si nu in fisierul
>> nota, eventual in fisiere separate. nu vrem sa scriem iesirea in
>> fisierul nota. eventual outputul ala se poate compresa cu gzip :).
>
> Adică să fie disponibil profilor la corectare?
> Se poate face ceva de genu ăsta:
> * dacă vrei să ai un anumit output în plus trebuie să redirectezi din
> makefile.checker în mod explicit într-un fișier (să-i zicem
> vmchecker_suplimentary_output_file, eventual configurabil, deși dacă
> le dăm prea multe chestii de configurat o să fie nașpa). Și punem
> regulă în vmchecker să caute fișierul ăsta și să-l trimită cu restu pe
> mașina în checked/ lângă nota și archive.

cam la asta ma gandeam si eu :). trebuie discutat sa vedem cum
introducem minimum de complexitate.





-- 
Alexandru Moșoi
http://alexandru.mosoi.googlepages.com

Please avoid sending me Word or PowerPoint attachments.
See http://www.gnu.org/philosophy/no-word-attachments.html