On 2008.05.22 03:31:41 -0700, David Roundy <[EMAIL PROTECTED]> scribbled 1.1K characters: > On Wed, May 21, 2008 at 04:05:37PM -0400, [EMAIL PROTECTED] wrote: > > Wed May 21 16:03:35 EDT 2008 [EMAIL PROTECTED] > > * configure.ac: mv profile check to after zlib > > Otherwise, a --enable-profile will cause the zlib check to needlessly > > fail. > > > > Wed May 21 16:04:17 EDT 2008 [EMAIL PROTECTED] > > * configure.ac: make threaded and profiling exclusive > > We make the profiling code check whether threading is enabled. If it is, > > we print a warning to the user, and then disable > > threading - that way we can still build. > > I appreciate your working in this, but I'd rather fix the root problem in > both cases. One is that we should decide on profiling first, so that we > check whether profiling packages are available. The other is we should > check if we can actually build packages with threading, and automatically > disable it if we can't. This way we'll support any possible future version > of ghc that allows these features to be used together. > > I'm pushing a patch to make these changes. > > David
Sure, sure. Your patches seem to work for me, so I'm happy. (At least, ./configure --prefix=/home/gwern/bin --with-curl-pipelining --enable-profile now works again.) -- gwern Firewalls security SLI argus fangs mjtf AFSPC E.T. Panama SABC
pgpPrSSvOH3lM.pgp
Description: PGP signature
_______________________________________________ darcs-users mailing list [email protected] http://lists.osuosl.org/mailman/listinfo/darcs-users
