I'm buildin latte in debian buster. In debian scdd and scdd_gmp executables are in /usr/lib/cdd-tools/. I tried configuring with --with-cddlib=/usr/lib/cdd-tools but had no success
checking for scdd_gmp... no
checking for scdd... no
configure: error: The `scdd_gmp' or `scdd' binary from cddlib is required for LattE.
I'm buildin latte in debian buster. In debian
scddandscdd_gmpexecutables are in/usr/lib/cdd-tools/. I tried configuring with--with-cddlib=/usr/lib/cdd-toolsbut had no success