The path.getrelative function computes a relative path from one directory to another.
p = path.getrelative("src", "dest")
src is the originating directory, dest is the target directory. Both may be specified as absolute or relative to the current working directory. The paths do not need to exist on the file system.
A relative path from src to dest.
Premake 4.0 or later.