So recently I spent a bit of time working on a cabalization of Darcs. It works
well for me, and is reasonably easy to apply (attached are three files; do a
'darcs get --lazy http://darcs.net' with Darcs-2 to get the latest, and copy
the files into it, the usual autoconf, and it should then work
It looks quite clean (no funny business in Setup.lhs). I would favor
using this cabalized version over the other. Thanks!
So, autoconf/configure generate cryptol.buildinfo from
cryptol.buildinfo.in. Did you change configure.ac much? And the
Makefile is no longer needed at all, right?
- Phil
On Wed, Apr 23, 2008 at 02:55:49PM -0400, Gwern Branwen wrote:
So recently I spent a bit of time working on a cabalization of Darcs. It
works well for me, and is reasonably easy to apply (attached are three
files; do a 'darcs get --lazy http://darcs.net' with Darcs-2 to get the
latest, and
On 2008.04.23 12:26:35 -0700, Philip Weaver [EMAIL PROTECTED]
scribbled 1.2K characters:
It looks quite clean (no funny business in Setup.lhs). I would favor
using this cabalized version over the other. Thanks!
So, autoconf/configure generate cryptol.buildinfo from
cryptol.buildinfo.in.
On Wed, Apr 23, 2008 at 4:49 PM, Gwern Branwen [EMAIL PROTECTED] wrote:
On 2008.04.23 12:26:35 -0700, Philip Weaver [EMAIL PROTECTED]
scribbled 1.2K characters:
It looks quite clean (no funny business in Setup.lhs). I would favor
using this cabalized version over the other. Thanks!