compilando únicamente la especificación, dejando la compilación del