On 2018/07/29 21:09, Brian Callahan wrote:
>
> On 07/29/18 17:52, Stuart Henderson wrote:
> > On 2018/07/29 16:38, Brian Callahan wrote:
> > > Hi Alessandro --
> > >
> > > On 07/29/18 07:58, Alessandro DE LAURENZIS wrote:
> > > > Gentle reminder.
> > > >
> > > > I need a feedback on this port, because I would like to submit soon at
> > > > least other two Qflow's tools for which I have wip ports (and that
> > > > depend on abc).
> > > >
> > > Ports move at the speed at which they move. This is all best-effort and we
> > > do the best we can. No one can give you a time-table on things.
> > yes, and 28h is really much too short for a "gentle reminder".
> >
> > > With that said, barring some stylistic tweaks that I will take care of, this
> > > is ok for me. So if another developer is willing to give me an ok, I'll
> > > import it.
> > got diff / updated tar?
> >
>
> Sure. This just closes up some whitespace in the Makefile and puts
> MAKE_FLAGS under USE_GMAKE.
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 ..)
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).
No comments:
Post a Comment