One thing to note is that the current TVM support this kind of behavior, by generating a library.tar, so if the output file format is specified to be .tar then it will output a tarball with a collection of object/c files that can be statically linked to a target app.