- cabal-devel - Haskell.org

Extensions and Cabal
by Ian Lynagh 25 Mar '07

25 Mar '07

Hi Cabalites, I fear this may be contentious, but here goes anyway... Currently we have (at least) 4 ways that extension E can be enabled for a given file in a cabal package (using GHC as an example, if -fe enables E): 1. foo.cabal: Extensions: E 2. foo.cabal: Ghc-Options: -fe 3. Foo.hs: {-# LANGUAGE E #-} 4. Foo.hs: {-# OPTIONS_GHC -fe #-} Ideally, from cabal's point of view, we would use option 1. This way cabal knows about the extensions, so can fail early if we don't support the necessary extensions to build something. 2 and 4 are inferior variants of 1 and 3 respectively; the only case I can think of where you might want to use them is if cabal doesn't know about the extension yet. This could be solved by a --language=E flag that GHC treats identically to -fe. Obviously cabal can't check that GHC supports this extension in advance (so would have to assume that it does), but at least we no longer have any need to enable extensions with method 2 or 4. We could also then have Cabal always pass a --no-extension-flags flag, which would mean that GHC would reject -fe. That wasn't the contentious bit, so hopefully you aren't too inflamed yet! Suppose we agree that we should only use method 1; there are a number of issues: * If someone uses method 3, no alarm bells will sound. The package will continue to build where it can be built. * The same set of extensions is used for every module. For example, if you want to allow overlapping instances in one particular place[1] then you must allow them everywhere. * If you want to load one of the modules in ghci, say, then you need to tell it what flags to use. Thus I propose that the .cabal file actually specifies what extensions the modules are /allowed/ to use, but does not actually enable them. They would then be enabled by LANGUAGE pragmas in the modules as necessary. So, if the .cabal file says "Extensions: E, F" then the modules will be compiled with --no-extension-flags --allowed-extension=E,F and if a module has "{-# LANGUAGE E #-}" then only extension E would be enabled for that module. If a module has "{-# LANGUAGE E,G #-}" then compilation would fail as extension G is not permitted. Any comments? Criticisms? Flames? Thanks Ian [1] Currently we can only specify this to a file-level granularity, but in principle you could imagine more localised pragmas, like we have for unboxed fields.

6 6

SoC proposal: Implement Cabal configurations
by Björn Bringert 24 Mar '07

24 Mar '07

I want Cabal configurations, so I added a SoC proposal for it, see http://hackage.haskell.org/trac/summer-of-code/ticket/1131 This was the latest spec I could find: http://www.mail-archive.com/cabal-devel@haskell.org/msg00282.html I haven't taken part much in the configurations discussions, so I'm not sure how finished the spec is or if it would be a good SoC project. Feel free to comment on / change the proposal as you see fit. /Björn

1 0

Automatically running autoreconf?
by Bryan O'Sullivan 17 Mar '07

17 Mar '07

The fact that most packages don't have autoconf encumbrances means that I almost inevitably forget to run autoreconf before building a package, which regularly leads to heartburn on my part. It seems to me that it would be useful if "build" ran autoreconf if necessary. If this seems sane, I would be happy to cook up a patch. What do people think? <b

1 1

darcs patch: setup makefile
by Simon Marlow 14 Mar '07

14 Mar '07

I'm sending this patch here to solicit comments. Ian Lynagh has been converting GHC's build system to use Cabal for packages instead of our current Makefile setup. There are a couple of things that don't work as well with Cabal: (1) we can't use 'make -j' and get parallel builds, and (2) we can't build individual files and give extra options on the command line: this is occasionally very useful when debugging the compiler or testing small changes. So we could fix these with brute force: I have patches to make GHC --make work in parallel, but it needs a lot of work to make it robust. We could add support to Cabal to build a single file and give extra options on the command line, but most people don't need this. Instead, I decided to address both of these in one go: the idea is to have Cabal generate a Makefile that you can use with 'make -j' or to build a single file with 'make dist/build/Foo.o', for example. It only works with GHC, and only for libraries (I could probably make it work for executables too, just haven't done that yet). It does work with profiling, and as far as I can tell everything else works, because GHC gets invoked with almost exactly the same arguments as with 'setup build', except that it is invoked one file at a time. This is really the missing piece needed to let GHC use Cabal for its build system, so I'm pretty keen for this to go in. Comments? Cheers, Simon New patches: [Add 'setup makefile' command Simon Marlow <simonmar(a)microsoft.com>**20070309155022 'setup makefile' generates a Makefile that performs the steps necessary to compile the Haskell sources to object code. This only works for libraries, and only with GHC right now. Instead of simply 'setup build', you can do this: $ ./setup makefile $ make $ ./setup build where './setup makefile' does the preprocessing and generates a Makefile tailored to the current package. 'make' will build all the Haskell code to object files, and 'setup build' will build any C code and the library archives. The reason for all this is that you can say 'make -j' and get a parallel build, or you can say make dist/build/Foo.o EXTRA_HC_OPTS=-keep-s-file to compile a single file with extra options. ] { hunk ./Distribution/Make.hs 172 + + MakefileCmd -> exitWith ExitSuccess -- presumably nothing to do hunk ./Distribution/Setup.hs 52 + MakefileFlags(..), emptyMakefileFlags, hunk ./Distribution/Setup.hs 62 + parseMakefileArgs, hunk ./Distribution/Setup.hs 97 + | MakefileCmd -- makefile hunk ./Distribution/Setup.hs 253 + +data MakefileFlags = MakefileFlags {makefileVerbose :: Int, + makefileFile :: Maybe FilePath} + deriving Show +emptyMakefileFlags = MakefileFlags {makefileVerbose = 1, + makefileFile = Nothing} + hunk ./Distribution/Setup.hs 263 --- |Most of these flags are for Configure, but InstPrefix is for Copy. +-- | All the possible flags hunk ./Distribution/Setup.hs 302 + -- For makefile: + | MakefileFile FilePath hunk ./Distribution/Setup.hs 391 -commandList progConf = [(configureCmd progConf), buildCmd, cleanCmd, installCmd, +commandList progConf = [(configureCmd progConf), buildCmd, makefileCmd, + cleanCmd, installCmd, hunk ./Distribution/Setup.hs 609 +makefileCmd :: Cmd a +makefileCmd = Cmd { + cmdName = "makefile", + cmdHelp = "Perform any necessary makefileing.", + cmdDescription = "", -- This can be a multi-line description + cmdOptions = [cmd_help, cmd_verbose, + Option "f" ["file"] (reqPathArg MakefileFile) + "Filename to use (default: Makefile)."], + cmdAction = MakefileCmd + } + +parseMakefileArgs :: MakefileFlags -> [String] -> [OptDescr a] -> IO (MakefileFlags, [a], [String]) +parseMakefileArgs = parseArgs makefileCmd updateCfg + where updateCfg mflags fl = + case fl of + Verbose n -> mflags{makefileVerbose=n} + MakefileFile f -> mflags{makefileFile=Just f} + hunk ./Distribution/Simple/Build.hs 46 - build + build, makefile hunk ./Distribution/Simple/Build.hs 58 -import Distribution.Setup (CopyDest(..), BuildFlags(..) ) +import Distribution.Setup ( CopyDest(..), BuildFlags(..), + MakefileFlags(..) ) hunk ./Distribution/Simple/Build.hs 75 -import Control.Monad ( unless ) +import Control.Monad ( unless, when ) hunk ./Distribution/Simple/Build.hs 92 -build :: PackageDescription -- ^mostly information from the .cabal file +build :: PackageDescription -- ^mostly information from the .cabal file hunk ./Distribution/Simple/Build.hs 98 + initialBuildSteps pkg_descr lbi verbose suffixes + setupMessage verbose "Building" pkg_descr + case compilerFlavor (compiler lbi) of + GHC -> GHC.build pkg_descr lbi verbose + JHC -> JHC.build pkg_descr lbi verbose + Hugs -> Hugs.build pkg_descr lbi verbose + _ -> die ("Building is not supported with this compiler.") + +makefile :: PackageDescription -- ^mostly information from the .cabal file + -> LocalBuildInfo -- ^Configuration information + -> MakefileFlags -- ^Flags that the user passed to makefile + -> [ PPSuffixHandler ] -- ^preprocessors to run before compiling + -> IO () +makefile pkg_descr lbi flags suffixes = do + let verb = makefileVerbose flags + initialBuildSteps pkg_descr lbi verb suffixes + when (not (hasLibs pkg_descr)) $ + die ("Makefile is only supported for libraries, currently.") + setupMessage verb "Generating Makefile" pkg_descr + case compilerFlavor (compiler lbi) of + GHC -> GHC.makefile pkg_descr lbi flags + _ -> die ("Generating a Makefile is not supported for this compiler.") + + +initialBuildSteps pkg_descr lbi verbose suffixes = do hunk ./Distribution/Simple/Build.hs 138 - setupMessage verbose "Building" pkg_descr - case compilerFlavor (compiler lbi) of - GHC -> GHC.build pkg_descr lbi verbose - JHC -> JHC.build pkg_descr lbi verbose - Hugs -> Hugs.build pkg_descr lbi verbose - _ -> die ("Building is not supported with this compiler.") hunk ./Distribution/Simple/GHC.hs 5 --- Copyright : Isaac Jones 2003-2006 +-- Copyright : Isaac Jones 2003-2007 hunk ./Distribution/Simple/GHC.hs 47 - build, installLib, installExe + build, makefile, installLib, installExe hunk ./Distribution/Simple/GHC.hs 50 +import Distribution.Setup ( MakefileFlags(..) ) hunk ./Distribution/Simple/GHC.hs 90 +import System.IO hunk ./Distribution/Simple/GHC.hs 355 - ++ (if compilerVersion (compiler lbi) > Version [6,4] [] + ++ ghcOptions lbi bi odir + +ghcOptions lbi bi odir + = (if compilerVersion (compiler lbi) > Version [6,4] [] hunk ./Distribution/Simple/GHC.hs 378 +-- ----------------------------------------------------------------------------- +-- Building a Makefile + +makefile :: PackageDescription -> LocalBuildInfo -> MakefileFlags -> IO () +makefile pkg_descr lbi flags = do + let file = case makefileFile flags of + Just f -> f + _otherwise -> "Makefile" + h <- openFile file WriteMode + + let Just lib = library pkg_descr + bi = libBuildInfo lib + + ghc_vers = compilerVersion (compiler lbi) + packageId | versionBranch ghc_vers >= [6,4] + = showPackageId (package pkg_descr) + | otherwise = pkgName (package pkg_descr) + let decls = [ + ("modules", unwords (exposedModules lib ++ otherModules bi)), + ("GHC", compilerPath (compiler lbi)), + ("WAYS", if withProfLib lbi then "p" else ""), + ("odir", buildDir lbi), + ("package", packageId), + ("GHC_OPTS", unwords (ghcOptions lbi bi (buildDir lbi))), + ("MAKEFILE", file) + ] + hPutStrLn h (unlines (map (\(a,b)-> a ++ " = " ++ munge b) decls)) + hPutStrLn h makefileTemplate + hClose h + where + munge "" = "" + munge ('#':s) = '\\':'#':munge s + munge (c:s) = c : munge s + hunk ./Distribution/Simple/GHC.hs 497 +-- ----------------------------------------------------------------------------- +-- Makefile template + +makefileTemplate = + "GHC_OPTS += -package-name $(package) -i$(odir)\n"++ + "\n"++ + "# For adding options on the command-line\n"++ + "GHC_OPTS += $(EXTRA_HC_OPTS)\n"++ + "\n"++ + "WAY_p_OPTS = -prof\n"++ + "\n"++ + "ifneq \"$(way)\" \"\"\n"++ + "way_ := $(way)_\n"++ + "_way := _$(way)\n"++ + "GHC_OPTS += $(WAY_$(way)_OPTS)\n"++ + "GHC_OPTS += -hisuf $(way_)hi -hcsuf $(way_)hc -osuf $(way_)o\n"++ + "endif\n"++ + "\n"++ + "OBJS = $(patsubst %,$(odir)/%.$(way_)o,$(subst .,/,$(modules)))\n"++ + "\n"++ + "all :: .depend $(OBJS)\n"++ + "\n"++ + ".depend : $(MAKEFILE)\n"++ + " $(GHC) -M -optdep-f -optdep.depend $(foreach way,$(WAYS),-optdep-s -optdep$(way)) $(foreach obj,$(MKDEPENDHS_OBJ_SUFFICES),-osuf $(obj)) $(filter-out -split-objs, $(GHC_OPTS)) $(modules)\n"++ + " for dir in $(sort $(foreach mod,$(OBJS),$(dir $(mod)))); do \\\n"++ + " if test ! -d $$dir; then mkdir $$dir; fi \\\n"++ + " done\n"++ + "\n"++ + "include .depend\n"++ + "\n"++ + "# suffix rules\n"++ + "\n"++ + "ifneq \"$(odir)\" \"\"\n"++ + "odir_ = $(odir)/\n"++ + "else\n"++ + "odir_ =\n"++ + "endif\n"++ + "\n"++ + "$(odir_)%.$(way_)o : %.hs\n"++ + " $(GHC) $(GHC_OPTS) -c $< -o $@ -ohi $(basename $@).$(way_)hi\n"++ + "\n"++ + "$(odir_)%.$(way_)o : %.lhs \n"++ + " $(GHC) $(GHC_OPTS) -c $< -o $@ -ohi $(basename $@).$(way_)hi\n"++ + "\n"++ + "$(odir_)%.$(way_)o : %.c\n"++ + " @$(RM) $@\n"++ + " $(GHC) $(GHC_CC_OPTS) -c $< -o $@\n"++ + "\n"++ + "$(odir_)%.$(way_)o : %.$(way_)s\n"++ + " @$(RM) $@\n"++ + " $(GHC) $(GHC_CC_OPTS) -c $< -o $@\n"++ + "\n"++ + "$(odir_)%.$(way_)o : %.S\n"++ + " @$(RM) $@\n"++ + " $(GHC) $(GHC_CC_OPTS) -c $< -o $@\n"++ + "\n"++ + "$(odir_)%.$(way_)s : %.c\n"++ + " @$(RM) $@\n"++ + " $(GHC) $(GHC_CC_OPTS) -S $< -o $@\n"++ + "\n"++ + "%.$(way_)hi : %.$(way_)o\n"++ + " @if [ ! -f $@ ] ; then \\\n"++ + " echo Panic! $< exists, but $@ does not.; \\\n"++ + " exit 1; \\\n"++ + " else exit 0 ; \\\n"++ + " fi \n"++ + "\n"++ + "%.$(way_)hi-boot : %.$(way_)o-boot\n"++ + " @if [ ! -f $@ ] ; then \\\n"++ + " echo Panic! $< exists, but $@ does not.; \\\n"++ + " exit 1; \\\n"++ + " else exit 0 ; \\\n"++ + " fi \n"++ + "\n"++ + "$(odir_)%.$(way_)hi : %.$(way_)hc\n"++ + " @if [ ! -f $@ ] ; then \\\n"++ + " echo Panic! $< exists, but $@ does not.; \\\n"++ + " exit 1; \\\n"++ + " else exit 0 ; \\\n"++ + " fi\n"++ + "\n"++ + "show:\n"++ + " @echo '$(VALUE)=\"$($(VALUE))\"'\n"++ + "\n"++ + "\n"++ + "ifneq \"$(strip $(WAYS))\" \"\"\n"++ + "ifeq \"$(way)\" \"\"\n"++ + "all ::\n"++ + "# Don't rely on -e working, instead we check exit return codes from sub-makes.\n"++ + " @case '${MFLAGS}' in *-[ik]*) x_on_err=0;; *-r*[ik]*) x_on_err=0;; *) x_on_err=1;; esac; \\\n"++ + " for i in $(WAYS) ; do \\\n"++ + " echo \"== $(MAKE) way=$$i -f $(MAKEFILE) $@;\"; \\\n"++ + " $(MAKE) way=$$i -f $(MAKEFILE) --no-print-directory $(MFLAGS) $@ ; \\\n"++ + " if [ $$? -eq 0 ] ; then true; else exit $$x_on_err; fi; \\\n"++ + " done\n"++ + " @echo \"== Finished recursively making \\`$@' for ways: $(WAYS) ...\"\n"++ + "endif\n"++ + "endif\n"++ + "\n"++ + "# We could consider adding this: the idea would be to have 'make' do\n"++ + "# everything that 'setup build' does.\n"++ + "# ifeq \"$(way)\" \"\"\n"++ + "# all ::\n"++ + "# ./Setup build\n"++ + "# endif\n" + hunk ./Distribution/Simple.hs 80 -import Distribution.Simple.Build ( build ) +import Distribution.Simple.Build ( build, makefile ) hunk ./Distribution/Simple.hs 157 + -- |Hook to run before makefile command. Second arg indicates verbosity level. + preMakefile :: Args -> MakefileFlags -> IO HookedBuildInfo, + + -- |Over-ride this hook to gbet different behavior during makefile. + makefileHook :: PackageDescription -> LocalBuildInfo -> Maybe UserHooks -> MakefileFlags -> IO (), + -- |Hook to run after makefile command. Second arg indicates verbosity level. + postMakefile :: Args -> MakefileFlags -> PackageDescription -> LocalBuildInfo -> IO ExitCode, + hunk ./Distribution/Simple.hs 324 + MakefileCmd -> + command (parseMakefileArgs emptyMakefileFlags) makefileVerbose + preMakefile makefileHook postMakefile + getPersistBuildConfig + hunk ./Distribution/Simple.hs 603 + preMakefile = rn, + makefileHook = ru, + postMakefile = res, hunk ./Distribution/Simple.hs 642 + makefileHook = defaultMakefileHook, hunk ./Distribution/Simple.hs 675 + preMakefile = readHook makefileVerbose, hunk ./Distribution/Simple.hs 726 + writeInstalledConfig pkg_descr localbuildinfo False + +defaultMakefileHook :: PackageDescription -> LocalBuildInfo + -> Maybe UserHooks -> MakefileFlags -> IO () +defaultMakefileHook pkg_descr localbuildinfo hooks flags = do + makefile pkg_descr localbuildinfo flags (allSuffixHandlers hooks) + when (hasLibs pkg_descr) $ hunk ./doc/Cabal.xml 1704 + + <sect2 id="setup-makefile"> + <title>setup makefile</title> + <para>Generate a Makefile that may be used to compile the + Haskell modules to object code. This command is currently only + supported when building libraries, and only if the compiler is + GHC.</para> + + <para>The makefile replaces part of the work done by + <literal>setup build</literal>. The sequence of commands would + typeically be: +<programlisting> +runhaskell Setup.hs makefile +make +runhaskell Setup.hs build +</programlisting> + where <literal>setup makefile</literal> does the preprocessing, + <literal>make</literal> compiles the Haskell modules, and + <literal>setup build</literal> performs any final steps, such as + building the library archives.</para> + + <para>The Makefile does not use GHC's <literal>--make</literal> + flag to compile the modules, instead it compiles modules one at + a time, using dependency information generated by GHC's + <literal>-M</literal> flag. There are two reasons you might + therefore want to use <literal>setup makefile</literal>: + + <itemizedlist> + <listitem> + <para>You want to build in parallel using <literal>make -j</literal>. + Currently, <literal>setup build</literal> on its own does not support + building in parallel.</para> + </listitem> + <listitem> + <para>You want to build an individual module, pass extra + flags to a compilation, or do other non-standard things that + <literal>setup build</literal> does not support.</para> + </listitem> + </itemizedlist> + </para> + + </sect2> } Context: [add Distribution.SetupWrapper to exposed-modules Simon Marlow <simonmar(a)microsoft.com>**20070309122146] [Tweaks to make Cabal play nicer with haddock Ian Lynagh <igloo(a)earth.li>**20070308155718 The path for the html docs now includes the package name at the end, which works nicer for multiple packages sharing a contents/index. Use --ghc-pkg when available (in haddock darcs only currently) to tell haddock which ghc-pkg to use. Use --allow-missing-html when available (in haddock darcs only currently) to tell haddock not to worry if it can't find the HTML for packages we depend on. This is necessary when haddocking a group of packages before moving them all into place. ] [Cope with ghc-pkg telling us packages are broken Ian Lynagh <igloo(a)earth.li>**20070307193131] [Tell GHC to use .hs mode when we want it to cpp something for us Ian Lynagh <igloo(a)earth.li>**20070307143612] [Add parentheses so expressions are parsed correctly Ian Lynagh <igloo(a)earth.li>**20070307131941] [minor refactoring Ross Paterson <ross(a)soi.city.ac.uk>**20070301002731] [fix \begin{code typo Ross Paterson <ross(a)soi.city.ac.uk>**20070301002557] [document the --with-compiler / --with-hc inconsistency Ross Paterson <ross(a)soi.city.ac.uk>**20070225115601] [Clarify documentation on --with-compiler and --with-hc-pkg simonpj@microsoft.com**20070221110452] [minor markup tweaks Ross Paterson <ross(a)soi.city.ac.uk>**20070218104622] [This usePackages stuff is haddock-specific so name it as such Duncan Coutts <duncan.coutts(a)worc.ox.ac.uk>**20070213201434] [{en,dis}able-use-packages, -optP-P only if haddock<0.8 Conal Elliott <conal(a)conal.net>**20070204061106] [cabal-upload: Added command-line options for username, password, checking instead of uploading. Added ability to get login from file, and to get password from the terminal. Added still unused verbosity options. Bumped version number to 0.2. bjorn@bringert.net**20070212232920] [exclude Setup.lhs Ross Paterson <ross(a)soi.city.ac.uk>**20070212193608 This was generating a useless Main entry in the lib doc index. (good for STABLE) ] [Add recent Cabal modules to nhc98 build system. Malcolm.Wallace@cs.york.ac.uk**20070212171106] [Compatibility with Haskell'98. Malcolm.Wallace@cs.york.ac.uk**20070212170804 Import Distribution.Compat.Exception instead of Control.Exception. Fix illegal indentation of cascaded do-blocks. ] [add --enable-optimization/--disable-optimization config options (on by default) Ross Paterson <ross(a)soi.city.ac.uk>**20070212004513] [cabal-upload: nicer output. bjorn@bringert.net**20070206154619] [Send Accept header. bjorn@bringert.net**20070206153521] [Allow uploading multiple packages. bjorn@bringert.net**20070206153406] [Changed HTTP dependency to >= 1.0. bjorn@bringert.net**20070206153054] [cabal-upload: Removed build-simple since hackage doesn't seem to accept it for non-lib packages. bjorn@bringert.net**20070206133616] [Added URL for cabal-upload wiki page. bjorn@bringert.net**20070206132142] [Added usage message to cabal-upload. bjorn@bringert.net**20070206131408] [Added a small hacky first version of cabal-upload. bjorn@bringert.net**20070206112237] [cabal-setup doesn't need -cpp Ross Paterson <ross(a)soi.city.ac.uk>**20070115154724] [Refactorings only Simon Marlow <simonmar(a)microsoft.com>**20070114203741 Here are a batch of refactorings to clean up parsing and parts of the simple build system. This patch originated in a patch sent to cabal-devel(a)haskell.org with an intial implementation of configurations. Since then we decided to go a different route with configurations, so I have separated the refactoring from the configurations patch. At this point, 2 tests fail for me, but I get the same 2 failures without this patch. ] [pass arguments through when performing the setup actions ourselves Ross Paterson <ross(a)soi.city.ac.uk>**20070113133211] [separate option for the compiler for Setup.hs Ross Paterson <ross(a)soi.city.ac.uk>**20070113133000 This need not be the same compiler as used to build the package ] [Ignoring user packages when installing locally doesn't make sense. Lemmih <lemmih(a)gmail.com>**20070112150318] [cabal-install now caches downloaded packages in the directory for the package, and with .tar.gz extension. bjorn@bringert.net**20070112143527] [cabal-install.cabal: Added build-type field. Change hs-source-dir to hs-source-dirs (hs-source-dir has been deprecated for some time). bjorn@bringert.net**20070112131959] [cabal-install --user now keeps package cache and package list in ~/.cabal-install bjorn@bringert.net**20070112131301] [fix ghc-options (not a listField) bjorn@bringert.net**20070112124938] [add a Build-Type field, and use it in setupWrapper Ross Paterson <ross(a)soi.city.ac.uk>**20070111233018 As discussed on the libraries list (Nov 2006), add a field Build-Type which can be used to declare that this package uses one of the boilerplate setup scripts. This allows setupWrapper (used by cabal-setup and cabal-install) to bypass the setup script in this case and perform the setup actions itself. ] [remove a use of null+head Ross Paterson <ross(a)soi.city.ac.uk>**20070111182430] [remove two fromJust's Ross Paterson <ross(a)soi.city.ac.uk>**20070111182401] [pass CABAL_VERSION to Hugs Ross Paterson <ross(a)soi.city.ac.uk>**20070111182216] [cabal-install now puts the package list in /var/lib/cabal-install and the tarballs in /var/cache/cabal-install by default. Added command-line options for changing those. bjorn@bringert.net**20070111190452] [Track verbosity argument changes Ian Lynagh <igloo(a)earth.li>**20070111180601] [Testsuite quietening Ian Lynagh <igloo(a)earth.li>**20070111175329] [cabal-install: Output usage info for the right command when pasrsing the package name arguments fails. bjorn@bringert.net**20070111164924] [SetupWrapper now passes verbosity to other functions, as required by Igloo's patch. bjorn@bringert.net**20070111161651] [Make cabal-install use setupWrapper (the library version of cabal-setup). bjorn@bringert.net**20070111160535] [Moved the cabal-setup code to Distribution.SetupWrapper, so that cabal-install can use it. CabalSetup.hs now just calls the setupWrapper function. bjorn@bringert.net**20070111130506] [Quieten the testsuite more Ian Lynagh <igloo(a)earth.li>**20070111155957] [Pass verbosity info down to warn Ian Lynagh <igloo(a)earth.li>**20070111154526] [Derive Show on various datatypes Ian Lynagh <igloo(a)earth.li>**20070111140220] [Give feedback in runTests.sh Ian Lynagh <igloo(a)earth.li>**20070111132654] [Be less verbose at verbosity level 1 Ian Lynagh <igloo(a)earth.li>**20070111131228] [Fix warning Ian Lynagh <igloo(a)earth.li>**20070111130928] [No need for -fno-warn-unused-matches any more Ian Lynagh <igloo(a)earth.li>**20070111130824] [Always pass Hooks around, not Maybe Hooks Ian Lynagh <igloo(a)earth.li>**20070111124234] [Make Makefile use the right ghc/ghc-pkg Ian Lynagh <igloo(a)earth.li>**20070111122833] [Add -Wall to GHCFLAGS Ian Lynagh <igloo(a)earth.li>**20070111102742] [Updated cabal-install test scripts to use the main Cabal repo. bjorn@bringert.net**20070111111727] [Added cabal-install test scripts. bjorn@bringert.net**20070110184835] [Added cabal-install Makefile. bjorn@bringert.net**20070110184754] [Added HTTP package code used by cabal-install. bjorn@bringert.net**20070110184545] [Imported all the cabal-install sources. bjorn@bringert.net**20070110183142] [Added cabal-install dep on regex-compat. bjorn@bringert.net**20070110180020] [Removed old CabalInstall.hs (it has moved to cabal-install/src in one of the pataches I pulled in). bjorn@bringert.net**20070110174435] [Pulling in cabal-install: changed default Hackage DB URL. bjorn@bringert.net**20070110173825] [Pulling cabal-with-install into Cabal: cabal-install.cabal changes. bjorn@bringert.net**20070110172811] [Pulling changes from cabal-with-install: Multiple repositories. bjorn@bringert.net**20070110164852 Original patch: Sat Sep 2 00:13:40 CEST 2006 Paolo Martini <paolo(a)nemail.it> * Multiple repositories. ] [Pulling changes from cabal-with-install: Stripping off the dependencies, only HTTP left bjorn@bringert.net**20070110164556 Original patch: Sun Aug 20 19:01:03 CEST 2006 Paolo Martini <paolo(a)nemail.it> * Stripping off the dependencies, only HTTP left ] [Resolve Makefile conflict from importing Cabal-with-install patches. bjorn@bringert.net**20070110163852] [a program to test download & install a bunch of cabal packages ijones@syntaxpolice.org**20061114063409] [added --inplace trick to cabal build so that cabal-install can build on machines without cabal. ijones@syntaxpolice.org**20060922034620] [First attempt to make a new repository (url in the configuration) Paolo Martini <paolo(a)nemail.it>**20060820180342] [Tarball index format support Paolo Martini <paolo(a)nemail.it>**20060816223509] [Quieten a test Ian Lynagh <igloo(a)earth.li>**20070110175223] [Pass 0 verbosity on to GHC when building Ian Lynagh <igloo(a)earth.li>**20070110174050] [More verbosity tweaking Ian Lynagh <igloo(a)earth.li>**20070110172956] [Rejig verbosity levels a bit; 1 is now the default (was 0) Ian Lynagh <igloo(a)earth.li>**20070110165149] [Make system tweaks to avoid cabal thinking it isn't bootstrapped when running the testsuite Ian Lynagh <igloo(a)earth.li>**20070110162940] [Typo Ian Lynagh <igloo(a)earth.li>**20070110154617] [Refer to the right variables Ian Lynagh <igloo(a)earth.li>**20070110151326] [Give unrecognised flags more clearly Ian Lynagh <igloo(a)earth.li>**20070110144650] [Beautify Ian Lynagh <igloo(a)earth.li>**20070110143711] [Retab Ian Lynagh <igloo(a)earth.li>**20070110143103] [Remove some chatter from the test scripts Ian Lynagh <igloo(a)earth.li>**20070110142756] [Eliminate more warnings Ian Lynagh <igloo(a)earth.li>**20070110142114] [More -Wall clean fixes Ian Lynagh <igloo(a)earth.li>**20070110135838] [Improve cleaning Ian Lynagh <igloo(a)earth.li>**20070110134230] [-Wall clean fixes Ian Lynagh <igloo(a)earth.li>**20070110125523 This patch is sponsored by Hac 07. Have you hacked a lambda today? ] [Fix non-fatal problem with 'setup haddock' for an exe package Simon Marlow <simonmar(a)microsoft.com>**20070109133751 For some unknown reason, we were passing --use-package=P to haddock, where P is the name of the current executable package. This can never work, since P is not a library and will not be installed. Fortunately Haddock ignores the error and continues anyway. ] [Set the Cabal version when building via the fptools build system sven.panne@aedion.de**20070106152814 Without this patch, Cabal is effectively "version-less" and all .cabal files with a version requirement are unusable. Therefore I think that this patch (or at least something equivalent) should be pushed to the 6.6.1 branch, too. ] [added --save-configure flag to clean. got some complaints that there was no way to avoid reconfiguring after a clean. now if you use --save-configure, you should be able to. ijones@syntaxpolice.org**20061219152204] [tiny mod to License comments ijones@syntaxpolice.org**20061219060021] [improving help output ijones@syntaxpolice.org**20061219055849 As suggested by Claus Reinke in this ticket: http://hackage.haskell.org/trac/hackage/ticket/105 ] [fix ./Setup unregister --help, which was giving the help for register Simon Marlow <simonmar(a)microsoft.com>**20061215165000] [Fix the links in the user guide to the API docs Duncan Coutts <duncan.coutts(a)worc.ox.ac.uk>*-20061129131633] [Fix the links in the user guide to the API docs Duncan Coutts <duncan.coutts(a)worc.ox.ac.uk>**20061129131633] [haddock comments for SrcDist.hs ijones@syntaxpolice.org**20061127041303] [some haddock comments for LocalBuildInfo.hs ijones@syntaxpolice.org**20061127040916] [a little comment for JHC.hs ijones@syntaxpolice.org**20061127040026] [some comments for Install.hs ijones@syntaxpolice.org**20061127035919] [some comments for Hugs.hs ijones@syntaxpolice.org**20061127035310] [haddock comments for GHC and GHCPackageConig ijones@syntaxpolice.org**20061127034617] [some comments for Configure.hs ijones@syntaxpolice.org**20061127033157] [some comments for Build.hs ijones@syntaxpolice.org**20061127032409] [minor comments and cleanup for Setup.hs ijones@syntaxpolice.org**20061127031744] [some haddock explanation of preprocessors ijones@syntaxpolice.org**20061127031055] [some comments for Package.hs ijones@syntaxpolice.org**20061127025108] [haddockizing some comments from Make.hs ijones@syntaxpolice.org**20061127024142] [adding comments to Program.hs ijones@syntaxpolice.org**20061127022353] [comments for the Program module ijones@syntaxpolice.org**20061127002749] [don't return an error code just because there's no library to register ijones@syntaxpolice.org**20061124144831] [Purely cosmetic; have '--<FOO>-args' use ARGS on their RHS rather than PATH in usage output sof@galois.com**20061121195844] [parse executable field as a token (as documented), rather than free text Ross Paterson <ross(a)soi.city.ac.uk>**20061120093400] [trim trailing spaces (including CRs) from all input lines Ross Paterson <ross(a)soi.city.ac.uk>**20061120092526] [help nhc98 find the import of programLocation Malcolm.Wallace@cs.york.ac.uk**20061117144001] [sdist: make it work on Windows platforms by simplifying 'tar' invocation. Hopefully not at the cost of other plats (i.e., as-yet untested there..)" sof@galois.com**20061117014832] [build: consult and use any user-provided settings for 'ld' and 'ar' sof@galois.com**20061117014622] [defaultUserHooks.sDistHook: pass in optional LBI to SrcDist.sdist sof@galois.com**20061117014448] [defaultProgramConfiguration: add 'ld' and 'tar' entries sof@galois.com**20061117014318] [revise Paths module for the Hugs target Ross Paterson <ross(a)soi.city.ac.uk>**20061108223349 When targetting Hugs, the Paths module now uses prefix-independent paths relative to the location of the Main module of the program, on all platforms. For the Hugs target, this replaces the code using GetModuleFileNameA(), which never worked. Behaviour under GHC should be unchanged. ] [Hugs: fix location of installed package info Ross Paterson <ross(a)soi.city.ac.uk>**20061021144613] [Fix escaping of ' chars in register.sh script. Duncan Coutts <duncan.coutts(a)worc.ox.ac.uk>**20061016215459] [Tidy up command comments Duncan Coutts <duncan.coutts(a)worc.ox.ac.uk>**20061013211158] [Fix getDataDir etc. when bindir=$prefix Simon Marlow <simonmar(a)microsoft.com>**20061013100941] [Update text on the front page: packages can now overlap in GHC 6.6 Simon Marlow <simonmar(a)microsoft.com>**20061012114601 ] [New unlit code "ported" from cpphs-1.2 Lennart Kolmodin <kolmodin(a)dtek.chalmers.se>**20061009192609] [Share one more place where the cabal version is defined. Duncan Coutts <duncan.coutts(a)worc.ox.ac.uk>**20061010140027] [Fix spelling error in error message. Duncan Coutts <duncan.coutts(a)worc.ox.ac.uk>**20061010140013] [Centeralise the places that know that Cabal version number Duncan Coutts <duncan.coutts(a)worc.ox.ac.uk>**20061010135918] [Remove spurious debug message. Duncan Coutts <duncan.coutts(a)worc.ox.ac.uk>**20061010125643] [Bump to next unstable development version Duncan Coutts <duncan.coutts(a)worc.ox.ac.uk>**20061010125602] [Make cabal know it's own version number correctly Duncan Coutts <duncan.coutts(a)worc.ox.ac.uk>**20061010130939 This is an unpleasent way of doing it. Will have to fix once and for all in the next version. ] [TAG 1.1.6 Duncan Coutts <duncan.coutts(a)worc.ox.ac.uk>**20061009123801] Patch bundle hash: 343e137602e63baf88fb7c8cd0c5feac7c76d623

3 3

darcs patch: Fix profiling executable with template haskell
by Judah Jacobson 14 Mar '07

14 Mar '07

Attached is a patch to fix a bug that I found when trying to compile an executable for profiling with ghc when my modules used template haskell. Cabal is smart enough already to accomodate TH by compiling everything twice (first the regular way, then with profiling). However, the second compile is missing ghc's -osuf and -hisuf arguments (as in the GHC manual, section 7.6.4). This patch adds those arguments at the right time; I've tested it against my own repositories and it seems to work fine. Best, -Judah

1 0

Why is there a cabal file at all?
by Marc Weber 13 Mar '07

13 Mar '07

Sorry for this stupid question put there must be reasons I don't know. I've been thinking a lot about packaging/ dependency handling etc the last days. Haskell is one of the most typesafe and expressive languages, right? Now we need a haskell compiler/ interpreter to run Setup.hs. So why not combine both and use some kind of cabal combinator library? I'll try to implement a prototype although knowing there are lots of people knowing how to do this better. module Setup where import CabalBuildProposal helloWorld = haskell-executable $ do setName "helloworld" sourceDir "src" $ mainIs "HelloWorld.hs" addDependencies = case stringOption "pretty_print_lib" of "A" : [LibVersionRange "A" "1.0 - 2.0"] "B" : [LibVersionRange "B" "1.0 - 2.0"] package = do setAuthor = "Marc Weber" addAtom helloWorld preprocess = defaultHaskellPreprocess build = preprocess >>= defaultHaskellBuild rpm = build >>= defaultRPM install = defaultHaskellInstall haddock = defaultHaddock targets = [ ("preprocessOnly", preprocess) , ("build", build ) , ("install", build >>= install) , ("rpm", rpm ) , ("haddock", preprocess >>= haddock) ] main = do handle package targets using preprocessors might be done in this way: addExposedModules $ map preprocessByCPP $ modulesByRegex "src/**/*.hs" I think you get the idea why this approach might be much more powerful? The package mantainers of ght2hs and wkhaskell have both trouble makeing their project work with cabal.. So why do we limit ourself using cabal files like the existing ones? I think you've noticed the line addDependencies = case stringOption "pretty_print_lib" of This should use the correct dependency if the option has already been set by cmdline or config file else ask the user or choose the first but noticing the user by printing a message like this: unset option "pretty_print_lib", defaulting to "A" preprocess should be passed all configuration options and return a list of source files, build should get the list of source file and return a list of executables which are installed by install straightforward, isn't it? Thus the right build/ install whatsoever step would be choosen not by defining hooks but by the haskell type system. This way the packaging system user can plug in his own implementation everywhere. Any ideas, comments? Anyone out there who wants to join and help implementing this idea? Marc

9 29

branches and merging
by Simon Marlow 12 Mar '07

12 Mar '07

Cabal has the following branches: HEAD, in darcs.haskell.org:/cabal, used by GHC HEAD 1.1.6, in darcs.haskell.org/cabal-branches/cabal-1.1.6 GHC 6.6 branch, in darcs.haskell.org/ghc-6.6/packages/Cabal The official 1.1.6 is diverging from GHC's 6.6 version. We should merge the two - Duncan would you like to take a look and see if you can pull from GHC's branch into 1.1.6, and then we can use 1.1.6 in GHC 6.6? Also I just noticed that Ross's patch Mon Nov 20 09:25:26 GMT 2006 Ross Paterson <ross(a)soi.city.ac.uk> * trim trailing spaces (including CRs) from all input lines fixes #117 http://hackage.haskell.org/trac/hackage/ticket/117, and could easily be merged into 1.1.6. Cheers, Simon

2 1

darcs patch: Add preliminary support for haddock-ghc (and 9 more)
by davve＠dtek.chalmers.se 09 Mar '07

09 Mar '07

Fri Sep 15 21:29:49 CEST 2006 davve(a)dtek.chalmers.se * Add preliminary support for haddock-ghc Fri Dec 29 20:54:39 CET 2006 davve(a)dtek.chalmers.se * Make sure haddock-ghc really creates the output dir Sun Dec 31 00:21:16 CET 2006 davve(a)dtek.chalmers.se * Add compilerPath to Paths_<pkg> Fri Jan 5 22:22:24 CET 2007 davve(a)dtek.chalmers.se * Add -D__HADDOCK__ to haddock-ghc Sat Jan 6 02:44:20 CET 2007 davve(a)dtek.chalmers.se * Generate GHC arguments usable for haddock-ghc Sat Jan 6 02:48:01 CET 2007 davve(a)dtek.chalmers.se * Use -g option to send GHC arguments to haddock-ghc Thu Jan 18 22:55:20 CET 2007 davve(a)dtek.chalmers.se * Don't send -cpp to haddock-ghc Mon Feb 5 00:49:25 CET 2007 davve(a)dtek.chalmers.se * Synch Haddock-GHC changes with recent changes to Cabal Mon Mar 5 17:53:42 CET 2007 davve(a)dtek.chalmers.se * Solve conflict Mon Mar 5 20:00:45 CET 2007 davve(a)dtek.chalmers.se * Use only one haddock command This patch merges the haddock-ghc and haddock commands, treating the "haddock" executable as haddock-ghc if the version is >= 2.0.

3 2

darcs patch: Add preliminary support for haddock-ghc (and 10 more)
by davve＠dtek.chalmers.se 09 Mar '07

09 Mar '07

Fri Sep 15 21:29:49 CEST 2006 davve(a)dtek.chalmers.se * Add preliminary support for haddock-ghc Fri Dec 29 20:54:39 CET 2006 davve(a)dtek.chalmers.se * Make sure haddock-ghc really creates the output dir Sun Dec 31 00:21:16 CET 2006 davve(a)dtek.chalmers.se * Add compilerPath to Paths_<pkg> Fri Jan 5 22:22:24 CET 2007 davve(a)dtek.chalmers.se * Add -D__HADDOCK__ to haddock-ghc Sat Jan 6 02:44:20 CET 2007 davve(a)dtek.chalmers.se * Generate GHC arguments usable for haddock-ghc Sat Jan 6 02:48:01 CET 2007 davve(a)dtek.chalmers.se * Use -g option to send GHC arguments to haddock-ghc Thu Jan 18 22:55:20 CET 2007 davve(a)dtek.chalmers.se * Don't send -cpp to haddock-ghc Mon Feb 5 00:49:25 CET 2007 davve(a)dtek.chalmers.se * Synch Haddock-GHC changes with recent changes to Cabal Mon Mar 5 17:53:42 CET 2007 davve(a)dtek.chalmers.se * Solve conflict Mon Mar 5 20:00:45 CET 2007 davve(a)dtek.chalmers.se * Use only one haddock command This patch merges the haddock-ghc and haddock commands, treating the "haddock" executable as haddock-ghc if the version is >= 2.0. Fri Mar 9 14:08:37 CET 2007 davve(a)dtek.chalmers.se * Send GHC libdir to haddock-ghc and synch with recent changes

1 0

Cabal and rpm packageing
by Olivier Thauvin 09 Mar '07

09 Mar '07

Hi, I am a mandriva contributor and the current maintainer of ghc and hugs. haksell modules currently give headhash to find the best way to package it. - we need to register it after installation, the order should be preserved - they have dependencies between them it seems (ie to use missingh I need also to have filepath and hslogger installed). - each package have to be build with each compiler. Feel free to Rpm is not able really to preserve a installation order (partially because bug inside rpmlib). For mandriva, I started some work to make haskell packaging easier. For now this concern only ghc (more popular, and hugs is not working properly: ERROR "/usr/share/hugs/packages/base/Text/ParserCombinators/ReadP.hs":156 - Syntax error in type expression (unexpected `.'), error not happening is using ghc on this file... another topic). First step is to create a set of macros for makor cabal build step, aka configure, build, haddock, test, copy. I provide also a macro to setup trigger and so (un)register module on ghc changes. The second is to automatically find dependencies and report it to rpm. To do that I create a small programme set around cabal: [olivier@andromede haskell-CabalRpmDeps]$ runhaskell Setup.hs configure [...] [olivier@andromede haskell-CabalRpmDeps]$ dist/build/cabalrpmprov/cabalrpmprov haskell(CabalRpmDeps) = 0.0.1 [...] [olivier@andromede haskell-CabalRpmDeps]$ dist/build/cabalrpmreq/cabalrpmreq haskell(unix) = 1.0 haskell(haskell98) = 1.0 haskell(base) = 2.0 haskell(Cabal) = 1.1.6 The haskell(...) names are wanted to match rpm dependencies scheme. The bad things is useally dependencies are find using files list from each packages. But I didn't any solution to query .hi files, and I am not sure they contains information I need. So here I use the the cabal library to query the module from files in builddir, but it doesn't matter, the cabal package cannot be split. Now I have to write scripts around those progs and checking everything works fine. The darcs repos is accessible there (using darcsweb, the page the url to fetch the repos): http://nanardon.zarb.org/darcsweb/darcsweb.cgi?r=haskell-CabalRpmDeps;a=sum… Comments welcome.

2 1