[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.
-Trevor