From what I know, you cannot run Python terminal commands in a batch file, so instead he can use pyinstaller or auto-py-to-exe, that way the program/module would compile the modules used and put them all together in one exe, and if there is external files, he can include it with the .exe