This is an old revision of the document!
Trimitere teme
- Pentru trimiterea temelor se va folosi interfața vmchecker.
- Vă autentificați folosind contul de pe site-ul de cursuri.
- Urmăriți regulile de trimitere din cadrul paginii de reguli.
Observații Windows
- O greșeală frecventă este folosirea unei variabile DDK necorespunzătoare (folosită în anii precedenți) într-un Makefile Windows.
- Un Makefile corespunzător sistemului de pe mașina virtuală este următorul:
- makefile
!ifdef NTMAKEENV !include $(NTMAKEENV)\makefile.def !else DDK=C:\WINDDK\7600.16385.0 kbuild: -del $(DDK)\build.dat pushd . & $(DDK)\bin\setenv.bat $(DDK) chk wnet & @echo on & popd & build -cZ !endif clean: -rd /s /q objchk_wnet_x86 -del /s /q buildchk_wnet_x86.log -del /s /q buildchk_wnet_x86.err -del /s /q buildchk_wnet_x86.wrn
- Variabila DDK trebuie să aibă valoarea
C:\WINDDK\7600.16385.0.
- Puteți testa Makefile-ul vostru folosind comanda
nmakeîntr-un consolă ce nu are suport DDK dar oferă comanda nmake (spre exemplu consola de Visual Studio 2008).
vmchecker
- vmchecker este o aplicație folosită în cadrul cursurilor de Sisteme de Operare, Sisteme de Operare 2, Compilatoare (more to follow) pentru verificarea automată și în timp real a temelor de casă.
- Dezvoltarea este realizată de un set de studenți din cadrul Facultății de Automatică și Calculatoare.
- Aplicația este un proiect open-source; sursele pot fi obținute din repository-ul Git: vmchecker.git}
- Sistemul oferă o interfață web care permite submiterea unei teme și, prin intermediul unei infrastructuri de mașini virtuale, corectarea acesteia și furnizarea rezultatelor.
Raportare probleme
- Pentru probleme legate de corectarea unei teme de casă sau blocarea checker-ului, folosiți lista de discuții.
- Pentru probleme remarcate în cadrul aplicației, neajunsuri, sugestii sau solicitări funcționale, folosiți issue tracker-ul aferent.
