This seems to fall under "Installation Information" according to the GPL v3 license. "Installation information" doesn't need to be provided as source code, but it must be provided in such a way that others can take the source code, modify it, and make it work with the "Installation Information" that is provided.