What does "porch" mean?

Porch: A portico; a covered walk. [Obs.] Repair to Pompey's porch, where you shall find find us. Shak. The Porch, a public portico, or great hall, in Athens, where Zeno, the philosopher, taught his disciples; hence, sometimes used as equivalent to the school of the Stoics. It was called "h poiki`lh stoa`. [See Poicile.]