Running a MySQL Batch File

So I’ve created loads of MySQL .sql files which create database tables, initiate values and define gzillions of stored procedures.

Now I want to run them all in some kind of batch file on a new database instance. Preferably within MySQL Workbench, which is my database development environment.

Do you know how to do that?

Best wishes,
Antony.