[darcs-users] darcs patch: Remove support for calling wget/curl on ... (and 2 more)
Trent W. Buck
trentbuck at gmail.com
Sun Mar 15 23:04:00 UTC 2009
On Sun, Mar 15, 2009 at 02:19:33PM +0100, Petr Rockai wrote:
> Hi,
>
> trentbuck at gmail.com (Trent W. Buck) writes:
> > I feel that if this is done, at compile time Darcs must insist on finding at
> > least one HTTP client library.
>
> In theory, these two hunks should address that:
>
> from patch by Eric Kow:
> > hunk ./darcs.cabal 352
> > pkgconfig-depends: libcurl >= 7.19.1
> > cpp-options: -DCURL_PIPELINING -DCURL_PIPELINING_DEFAULT
> >
> > - else
> > - if flag(http)
> > + if flag(http) || !flag(curl)
> > build-depends: network == 2.2.*,
> > HTTP >= 3000.0 && < 3001.1
> > cpp-options: -DHAVE_HTTP
> > hunk ./darcs.cabal 478
> > pkgconfig-depends: libcurl >= 7.19.1
> > cpp-options: -DCURL_PIPELINING -DCURL_PIPELINING_DEFAULT
> - else
> - if flag(http)
> + if flag(http) || !flag(curl)
> build-depends: network == 2.2.*,
> HTTP >= 3000.0 && < 3001.1
> cpp-options: -DHAVE_HTTP
>
> Although it might be cleaner to express that with something like
>
> if !flag(http) && !flag(curl)
> buildable: False
+1 for the "cleaner" version; I find it clearer.
More information about the darcs-users
mailing list