[so] [Tema3][Checker] Nelamurire legata de Makefile

[Dan Sporici]

Salut,

Imi este putin neclar modul de functionare al checkerului.

Eu trimit, alaturi de surse, un fisier Makefile care genereaza
libvmsim.so. Din ce am observat vmchecker nu pare sa stie de acel
Makefile trimis de mine si executa direct ceva de forma: make -f
Makefile.checker; lucru ce conduce la: No rule to make target
libvmsim.so, needed by _test/run_test.

Daca, local, rulez mai intai Makefile-ul scris de mine iar pe urma
Makefile.checker, totul merge ok. Problema e ca checkerul nu pare sa
faca asa ceva.


Cel mai probabil gresesc eu ceva dar un hint ar prinde bine.