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
No comments:
Post a Comment