On Tue, Feb 05, 2008 at 10:30:57AM -0800, Jason Dagit wrote: > On Feb 5, 2008 6:43 AM, David Roundy <[EMAIL PROTECTED]> wrote: > > > > On Mon, Feb 04, 2008 at 09:05:55PM -0800, Jason Dagit wrote: > > > On Feb 4, 2008 4:30 PM, Dmitry Kurochkin <[EMAIL PROTECTED]> wrote: > > > > Some fixes and cleanups for configure checks. > > > > > > > > And fix for copyRemotesNormal - if we use copyUrlFirst the first patch > > > > is downloaded last. So we lock in waitUrl and progress indication stops. > > > > > > On a similar note, how can we make sure that all the right flags are > > > passed to ghci when using the 'make ghci' target? For example, when I > > > enable type witnesses the flag to enable them in ghci is not passed. > > > I got around this by manually hacking my makefile. There must be a > > > more elegant way to do this (and probably even easily for someone that > > > understands the build system). > > > > I'd have thought that this would work. What change do you have to make to > > your makefile? > > When I run darcs whats I see this: > hunk ./GNUmakefile 256 > - ghci $(filter-out -Wall,$(GHCFLAGS)) $(OPTLLDFLAGS) > src/darcs.lhs $(C_OBJS) > + ghci $(filter-out -Wall,$(GHCFLAGS)) $(OPTLLDFLAGS) > -DGADT_WITNESSES src/darcs.lhs $(C_OBJS) > > > So it would appear that -DGADT_WITNESSES is not passed to ghci > normally. This should be easy to fix, right?
Yeah, that's easily fixed (and soon recorded and pushed). -- David Roundy Department of Physics Oregon State University _______________________________________________ darcs-devel mailing list darcs-devel@darcs.net http://lists.osuosl.org/mailman/listinfo/darcs-devel
