I'm looking though the files that it generated and it seems like it doesn't generate a DEF? Do you happen to know what the process is for integrating this into openlane? Their config requires a DEF + LEF combo to be specified unless I'm mistaken

lef and gds are required for openlane. Def cannot be used. .lib is required for timing checks (highly preferred due to previous issues)

okay thanks, might've mixed my formats up

Our .lib, however, is still not very good. I have a student verifying it now, but it is not updated yet.