INVECE DI:

$lines = file('nomefile.txt');
...

USA:

$lines = explode("\n", file_get_contents('nomefile.txt'));

foreach($lines as $line) {
    $line = trim($line);
    echo '<option>'.$line.'</option>\n';
}