search

parallaxsw / OpenSTA

GNU General Public License v3.0
52 stars 23 forks source link

CUDD: optional or required? #93

Closed GTP95 closed 2 months ago

GTP95 commented 2 months ago

Greetings,

I'm trying to build this project, but there's an inconsistency in the README's instructions. In the external library dependencies table, CUDD is indicated as a required dependency. But subsequent text in the README identifies it as an optional dependency. Furthermore, when invoking cmake, it fails with an error telling me I need to set CUDD_LIB. Could you please tell me if it is required or not? If not, how can I build this project without it? Thank you for your help,

GTP

GTP95 commented 2 months ago

My main issue was that the first link provided for CUDD is broken, while the second doesn't contain build instructions. I was then able to build CUDD by following the instructions reported here. But I would still suggest fixing the inconsistency in the README and, if possible, update the link to CUDD to this, as it also has build instructions.

PS: I now realized you provide instructions for building CUDD as well, on a first read I mistook them for optional configuration steps to build this with CUDD.

maliberty commented 2 months ago

Fwiw I put a copy of CUDD at https://github.com/The-OpenROAD-Project/cudd. I believe it is required now.

jjcherry56 commented 2 months ago

CUDD changed to required with OpenSTA 2.6.0, so cmake should fail if CUDD_DIR is not set. I updated the readme to point to the current maintainer's url. The CUDD readme has build instructions in it.