[Top][All Lists]

[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

Re: [gnugo-devel] mkpat options in .db file

From: Trevor Morris
Subject: Re: [gnugo-devel] mkpat options in .db file
Date: Sat, 31 Aug 2002 14:24:22 -0400

At 03:19 PM 8/31/2002 +0200, Arend Bayer wrote:
>On Fri, 30 Aug 2002, Trevor Morris wrote:
>> 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
>I'd like that much better! But how do you want to handle option that
>depend on a configure setting (--disable-dfa)?

The best idea I have for the DFAFLAGS options is to leave it on the
command-line, and allow command-line arguments to over-ride 
options in the file.


reply via email to

[Prev in Thread] Current Thread [Next in Thread]