Re: RFS: agda

[Iain Lane <laney@ubuntu.com>]

-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA1

Hi,

On Sun, 21 Jun 2009 21:28:48 +0000
Joachim Breitner <nomeata@debian.org> wrote:

> Hi,
> 
> Am Sonntag, den 21.06.2009, 01:26 +0100 schrieb Iain Lane:
> > On 19 Jun 2009, at 17:06, Joachim Breitner wrote:
> > Do you mean 'should not be built by default'? If it is possible to  
> > ship both in the same hackage package and not install the
> > executable by default yet be able to install it with cabal if
> > required then I'm sure upstream would be interested to hear from
> > you. :)
> 
> yes, it’s possible, have a look at
> http://hackage.haskell.org/packages/archive/L-seed/0.1/L-seed.cabal
> especially these two parts should give you the idea.

Thanks for that. I heard back from Nisse who told me the actual reason
[you can probably post directly to the list; I think it allows all to
post]:

On Sun, 21 Jun 2009 10:46:08 +0100
Nils Anders Danielsson <nad@cs.nott.ac.uk> wrote:

> On 2009-06-21 10:25, Nils Anders Danielsson wrote:
> > The reason for making Agda-executable a separate package is that
> > Cabal has poor support for packages containing both libraries and
> > executables.  
> 
> The next version of Cabal will fix this problem:
> 
>   http://hackage.haskell.org/trac/hackage/ticket/89

So once this is fixed we'll have them in one package, which makes me
think that my original approach is the best one for the long-term.

Have you had a chance to review the rest of the package?

Regards,
Iain
-----BEGIN PGP SIGNATURE-----
Version: GnuPG v1.4.9 (GNU/Linux)

iEYEARECAAYFAko/TxwACgkQPy0SnCC/zcdWrwCgv/HnXIiOYdy/jhv3a74Ub6g7
bsEAoLRux0g0gjrDjkcLCyataALd/ZCr
=BUcB
-----END PGP SIGNATURE-----