open-source-silicon.dev

in caravel user project repo, config.json of the wrapper has

    "EXTRA_SPEFS": [
        "user_proj_example",
        "dir::../../spef/multicorner/user_proj_example.min.spef",
        "dir::../../spef/multicorner/user_proj_example.nom.spef",
        "dir::../../spef/multicorner/user_proj_example.max.spef"
    ],

here what is the purpose of "user_proj_example" line ? Do we need it? If yes, what is the syntax for multiple macros, is it like this:

    "EXTRA_SPEFS": [
        "macro1",
        "dir::../../spef/multicorner/macro1.min.spef",
        "dir::../../spef/multicorner/macro1.nom.spef",
        "dir::../../spef/multicorner/macro1.max.spef"
        "macro2",
        "dir::../../spef/multicorner/macro2.min.spef",
        "dir::../../spef/multicorner/macro2.nom.spef",
        "dir::../../spef/multicorner/macro2.max.spef"
    ],

Thanks,

I found that the syntax is told in configuration parameters:

<https://openlane.readthedocs.io/en/latest/reference/configuration.html>

You can search for EXTRA_SPEFS in that page