Hello everyone! I'm having a little issue executing the precheck from https://efabless.com/toolbox?submit=True. The log reports that PDK_ROOT is undefined, but since it's the web-prechecker I cannot define it. Any idea? Thanks!

The current version of caravel in the master branch requires the definition of the PDK_ROOT where it doesn't need it. This was fixed in develop. So, since the precheck doesn't use the PDK, it didn't define a PDK_ROOT and as such the caravel Makefile crashed unnecessarily (so it's a caravel issue that's been resolved).

Thank you so much for the fast reply, I really appreciate it. Shall I grab only the makefile from develop or the whole project?

only the Makefile should be fine. However, the precheck will fail anyways in the DRC check since caravel is not DRC clean yet.

I'm getting an error about docker not being mounted, me running out of ram, or magic segfaulting. Is it possible to determine which of these occurred? Also, is there a demo repository that passes the precheck, given caravel proper has DRC violations?