On 8/7/18 3:49 PM, Brian Callahan wrote:
On 8/7/18 1:38 AM, Alessandro DE LAURENZIS wrote:
Brian, all,
On 08/04/18 17:42, Alessandro DE LAURENZIS wrote:
Hi Brian,
On 08/04/18 09:13, Brian Callahan wrote:
[...]
There appear to be stray lines in pkg/PLIST:
man/ja_JP.EUC/cat3f/
On 8/7/18 1:38 AM, Alessandro DE LAURENZIS wrote:
Brian, all,
On 08/04/18 17:42, Alessandro DE LAURENZIS wrote:
Hi Brian,
On 08/04/18 09:13, Brian Callahan wrote:
[...]
There appear to be stray lines in pkg/PLIST:
man/ja_JP.EUC/cat3f/
man/ja_JP.EUC/man3f/
man/ja_JP.EUC/man3p/
But now
Brian, all,
On 08/04/18 17:42, Alessandro DE LAURENZIS wrote:
Hi Brian,
On 08/04/18 09:13, Brian Callahan wrote:
[...]
There appear to be stray lines in pkg/PLIST:
man/ja_JP.EUC/cat3f/
man/ja_JP.EUC/man3f/
man/ja_JP.EUC/man3p/
But now that I think about it, I've heard reports from other
Hi Brian,
On 08/04/18 09:13, Brian Callahan wrote:
[...]
There appear to be stray lines in pkg/PLIST:
man/ja_JP.EUC/cat3f/
man/ja_JP.EUC/man3f/
man/ja_JP.EUC/man3p/
But now that I think about it, I've heard reports from other users about
`make plist` writing out these lines in other ports
Hi Alessandro --
On 08/04/18 02:39, Alessandro DE LAURENZIS wrote:
Ciao Brian,
On 08/03/18 21:07, Brian Callahan wrote:
[...]
I used the following comment line, detailing the tools/libs present
in /src and the corresponding licenses:
# MIT (abc, minisat), BSD (bzlib, CUDD), zlib
I'm not
[...]
CUDD uses the 3-clause BSD license, so I merged it with MiniSat/xSAT
under a generic BSD tag.
Sorry, I meant:
CUDD uses the 3-clause BSD license, so I merged it with bzlib/satoko
under a generic BSD tag
--
Alessandro DE LAURENZIS
[mailto:jus...@atlantide.t28.net]
Web:
Ciao Brian,
On 08/03/18 21:07, Brian Callahan wrote:
[...]
I used the following comment line, detailing the tools/libs present in
/src and the corresponding licenses:
# MIT (abc, minisat), BSD (bzlib, CUDD), zlib
I'm not sure these are entirely correct? bzlib should be listed under
the
This took a while since cmake is rather new to me.
On 07/30/18 14:08, Stuart Henderson wrote:
[...]
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
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
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
Hello Brian,
On 2018-07-29 22:38, Brian Callahan wrote:
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
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,
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
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
> >
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
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).
On 07/28/18 09:43, Alessandro DE LAURENZIS wrote:
Hello Brian,
On 07/28/18 03:29, Brian Callahan wrote:
[...]
I think I
Hello Brian,
On 07/28/18 03:29, Brian Callahan wrote:
[...]
I think I forgot to mention this in my first email, but this needs
NO_TEST=Yes too.
Sorry for that; it was in my local Makefile, but I forgot to add it to
the tarball; fixed.
When I run abc -h, it identifies itself as "ABC 1.01" --
On 07/27/18 16:33, Alessandro DE LAURENZIS wrote:
Elias, Brian, Stuart,
thanks a lot for your comments.
[...] Your mail has poor formatting, +80 chars. long on some
lines. (?)
I recently switched to Thunderbird (from mutt)... bear with me...
[...]
You need a MAKE_FLAGS line:
Elias, Brian, Stuart,
thanks a lot for your comments.
[...] Your mail has poor formatting, +80 chars. long on some lines. (?)
I recently switched to Thunderbird (from mutt)... bear with me...
[...]
You need a MAKE_FLAGS line:
MAKE_FLAGS= CC="${CC}" CXX="${CXX}" ABC_MAKE_VERBOSE=1
On 07/27/18 13:49, Stuart Henderson wrote:
On 2018/07/27 13:38, Brian Callahan wrote:
On 07/27/18 13:00, Elias M. Mariani wrote:
Good quality in your port, I would even say if this is your first
port... too good to be true, must find something to criticize...
Your mail has poor formatting,
On 2018/07/27 13:38, Brian Callahan wrote:
>
> On 07/27/18 13:00, Elias M. Mariani wrote:
> > Good quality in your port, I would even say if this is your first
> > port... too good to be true, must find something to criticize...
> > Your mail has poor formatting, +80 chars. long on some lines.
On 07/27/18 13:00, Elias M. Mariani wrote:
Good quality in your port, I would even say if this is your first
port... too good to be true, must find something to criticize...
Your mail has poor formatting, +80 chars. long on some lines. (?)
Just a joke, good work, clearly you took the job of
Good quality in your port, I would even say if this is your first
port... too good to be true, must find something to criticize...
Your mail has poor formatting, +80 chars. long on some lines. (?)
Just a joke, good work, clearly you took the job of porting this
seriously enough, good luck with the
Dear ports@ readers,
as first follow-up of my previous e-mail, enclosed please find the port
for abc [1]:
[... snip ...]
ABC: A System for Sequential Synthesis and Verification
ABC is a growing software system for synthesis and verification of
binary sequential logic circuits appearing in
24 matches
Mail list logo
