En principio el makefile está listo, pero habrá que ir haciendo más cambios a medida que se vaya avanzando. TODAS las fuentes de prueba tienen que llamarse *_test.c