-----BEGIN PGP SIGNED MESSAGE----- Hash: SHA1 Hi,
On Sun, 21 Jun 2009 21:28:48 +0000 Joachim Breitner <nome...@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 <n...@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-----