[Date Prev][Date Next] [Thread Prev][Thread Next] [Date Index] [Thread Index]

Re: RFS: agda



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.

Flag WebTools
  Description:
        Builds binaries that are required for the web interface.
        This is not needed when you just want to test the game locally.
  Default: False

Executable validate
  Main-Is:        validate.hs
  Hs-Source-Dirs: src/
  if ! flag(WebTools)
    Buildable:    False


Then you just need "-f WebTools" in the call to cabal configure in the
Debian package.

Greetings
Joachim

-- 
Joachim "nomeata" Breitner
Debian Developer
  nomeata@debian.org | ICQ# 74513189 | GPG-Keyid: 4743206C
  JID: nomeata@joachim-breitner.de | http://people.debian.org/~nomeata

Attachment: signature.asc
Description: Dies ist ein digital signierter Nachrichtenteil


Reply to: