Hello Stuart,
thanks for your feedback.
[...]
Hmm. Looking at the unpacked source there are copies of bzip2, zlib,
minisat, CUDD in there so the license string could do with a bit more
than just "MIT". (Of course it would be better still if it used the
external copies ..)
Could you please suggest a "template" string?
Or a port in similar conditions where I could take some hints from?
The build is considerably faster if switched to cmake, the dependency
generation stage of the Makefile-based build takes ages. 20s with cmake
vs 1m33s for a build using ccache with a primed cache. (Still needs
USE_GMAKE and either "ln -s `which ${MAKE_PROGRAM}` ${WRKDIR}/bin/make"
or a patch to CMakeLists.txt).
I'll dig into this soon.
All the best
--
Alessandro
