Man mano che leggi il file ti estrai i dati che ti servono (li inserisci in una struttura che rappresenta il tuo record) e li inserisci nella tua pila con push...
Non è che push debba lavorare con i file, bensì con i dati che tu estrai dai file, una volta che hai estratto i dati il problema si riduce ad inserirli...