Tutto risolto grazie il suggerimento di un amico che mi ha indicato la funzione strftime 
Se può servire a qualcun altro posto la soluzione:
codice:
#include <stdio.h>
#include <time.h>
FILE *fp;
char filename[] = "file.txt";
char mia_data[60];
struct tm *ptr;
time_t t;
ptr = localtime(&t)
stfrtime(mia_data,100, "%tipo_di_format_voluto",ptr);
fprintf(fp, "%s ; %s\n", dato_di_base, mia_data);
fclose(fp);
Volendo poi si può anche usare malloc per allocare al volo lo spazio necessario per mia_data:
codice:
char *miadata = malloc(100);
/*e dopo però non dimenticarsi di deallocarla con: */
free(mia_data);
RaouL.