On 2018/07/30 14:00, jus...@atlantide.t28.net wrote:
> 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?
Normally you would list the licenses, the exact format doesn't matter,
it's not machine processed.
> > 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
>
