[Top][All Lists]
[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: [gnugo-devel] mkpat options in .db file
From: |
Arend Bayer |
Subject: |
Re: [gnugo-devel] mkpat options in .db file |
Date: |
Sat, 31 Aug 2002 15:19:39 +0200 (CEST) |
On Fri, 30 Aug 2002, Trevor Morris wrote:
> I propose the following change to how mkpat is invoked, by example:
>
> Instead of:
> ./mkpat -c -b barrierspat < $(srcdir)/barriers.db >barriers.c
(...)
> But better still would be:
> ./mkpat $(srcdir)/barriers.db
> Where the first like of barriers.db is:
> #!./mkpat -c -b -n barrierspat -o barriers.c
(...)
> Thoughts?
I'd like that much better! But how do you want to handle option that
depend on a configure setting (--disable-dfa)?
Arend