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.