I had another doubt in the initial steps. The git clone of
https://github.com/efabless/caravel_user_project already has a directory named openlane. So am I supposed to set the OPENLANE_ROOT variable to a path other than <cloned_directory>/openlane before running make openlane (unlike what the README instructs)? It conflicts and errors out saying there already exists an openlane directory if I use the path of the existing openlane directory.