Re: RFS: agda
-----BEGIN PGP SIGNED MESSAGE-----
On Sun, 21 Jun 2009 21:28:48 +0000
Joachim Breitner <firstname.lastname@example.org> wrote:
> 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
> 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
On Sun, 21 Jun 2009 10:46:08 +0100
Nils Anders Danielsson <email@example.com> 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:
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?
-----BEGIN PGP SIGNATURE-----
Version: GnuPG v1.4.9 (GNU/Linux)
-----END PGP SIGNATURE-----