packages/cabal-1.14.git
7 years agoUpdate dependencies master Cabal-1.14.0-release ghc-7.4.1-release ghc-7.4.2-release
Ian Lynagh [Mon, 12 Dec 2011 21:46:06 +0000 (21:46 +0000)] 
Update dependencies

7 years agoBump version to 1.14.0
Ian Lynagh [Mon, 12 Dec 2011 21:44:16 +0000 (21:44 +0000)] 
Bump version to 1.14.0

7 years agochanged --override-reinstall-check to --force-reinstalls
Andres Loeh [Mon, 7 Nov 2011 15:07:13 +0000 (15:07 +0000)] 
changed --override-reinstall-check to --force-reinstalls

Also adapted the message for the failed check.

7 years agodo not print reinstall warning if --override-reinstall-check has been specified
Andres Loeh [Mon, 7 Nov 2011 10:15:01 +0000 (10:15 +0000)] 
do not print reinstall warning if --override-reinstall-check has been specified

7 years agoslightly modify a debug message in the new solver
Andres Loeh [Mon, 7 Nov 2011 10:14:37 +0000 (10:14 +0000)] 
slightly modify a debug message in the new solver

7 years agoFix fallout of Num / Show class changes in ghc-7.4
Duncan Coutts [Fri, 4 Nov 2011 00:25:10 +0000 (00:25 +0000)] 
Fix fallout of Num / Show class changes in ghc-7.4

7 years agochange solver default to TopDown for now
Andres Loeh [Thu, 3 Nov 2011 20:57:44 +0000 (20:57 +0000)] 
change solver default to TopDown for now

7 years agoremoving dead code
Andres Loeh [Sat, 29 Oct 2011 14:11:33 +0000 (14:11 +0000)] 
removing dead code

7 years agogoal choice heuristic in modular solver: choose base as early as possible
Andres Loeh [Sat, 29 Oct 2011 14:00:41 +0000 (14:00 +0000)] 
goal choice heuristic in modular solver: choose base as early as possible

7 years agobugfix: wrong flag choice was sometimes shown in goal reasons
Andres Loeh [Sat, 29 Oct 2011 12:23:24 +0000 (12:23 +0000)] 
bugfix: wrong flag choice was sometimes shown in goal reasons

7 years agowhen printing the install plan, show non-default flag assignments
Andres Loeh [Sat, 29 Oct 2011 12:15:15 +0000 (12:15 +0000)] 
when printing the install plan, show non-default flag assignments

7 years agoremove trailing whitespace
Andres Loeh [Sat, 29 Oct 2011 11:22:45 +0000 (11:22 +0000)] 
remove trailing whitespace

7 years agoproper fix for default solver option handling
Andres Loeh [Fri, 28 Oct 2011 11:23:58 +0000 (11:23 +0000)] 
proper fix for default solver option handling

Suggested by Duncan.

7 years agoremoving wrong option handling fix
Andres Loeh [Fri, 28 Oct 2011 11:12:31 +0000 (11:12 +0000)] 
removing wrong option handling fix

7 years agofixed a strange options handling bug
Andres Loeh [Fri, 28 Oct 2011 09:17:27 +0000 (09:17 +0000)] 
fixed a strange options handling bug

7 years agorevised solver flag configuration
Andres Loeh [Fri, 28 Oct 2011 07:37:29 +0000 (07:37 +0000)] 
revised solver flag configuration

7 years agomake solver configurable via command-line flag
Andres Loeh [Thu, 27 Oct 2011 21:27:05 +0000 (21:27 +0000)] 
make solver configurable via command-line flag

7 years agoreactivate (but not use) the top-down resolver
Andres Loeh [Thu, 27 Oct 2011 19:03:04 +0000 (19:03 +0000)] 
reactivate (but not use) the top-down resolver

7 years agorestore the index conversion utility function, but as a top-level function
Andres Loeh [Thu, 27 Oct 2011 19:01:52 +0000 (19:01 +0000)] 
restore the index conversion utility function, but as a top-level function

7 years agocollapse repeated flag choices
Andres Loeh [Thu, 27 Oct 2011 16:11:20 +0000 (16:11 +0000)] 
collapse repeated flag choices

In the build phase, we allow the same flag choice to occur multiple times.
This makes it easy to handle the situation where the same flag occurs
several times in the condition tree, and hence new goals and dependencies
might be introduced depending on the choice.

Previously, we have ensured during validation that repeated flag choices
are consistent. This behaviour has now been replaced by the new approach
to collapse repeated flag choice nodes completely during validation.

The advantage is that the tree is less deep, and that the trace output looks
less strange. Repeated flag choices are no longer seen, which I think avoids
confusion.

7 years agofixing warnings
Andres Loeh [Thu, 27 Oct 2011 16:09:44 +0000 (16:09 +0000)] 
fixing warnings

7 years agoadding a lookup function for PSQs
Andres Loeh [Thu, 27 Oct 2011 16:09:24 +0000 (16:09 +0000)] 
adding a lookup function for PSQs

7 years agominor clarification in naming
Andres Loeh [Thu, 27 Oct 2011 13:45:34 +0000 (13:45 +0000)] 
minor clarification in naming

7 years agoremoving dead code for global flag enforcement
Andres Loeh [Thu, 27 Oct 2011 13:33:09 +0000 (13:33 +0000)] 
removing dead code for global flag enforcement

This is all covered by the function that enforces package constraints,
as global flag constraints are translated into package-specific flag
constraints outside of the solver.

7 years agothere may be more than one package constraint per package
Andres Loeh [Thu, 27 Oct 2011 13:31:08 +0000 (13:31 +0000)] 
there may be more than one package constraint per package

7 years agoin parsing user constraints, require a space to separate the initial package name
Andres Loeh [Thu, 27 Oct 2011 13:30:21 +0000 (13:30 +0000)] 
in parsing user constraints, require a space to separate the initial package name

7 years agoadd --override-reinstall-check option
Jens Petersen [Wed, 26 Oct 2011 12:40:24 +0000 (12:40 +0000)] 
add --override-reinstall-check option

This option flag overrides the new destructive reinstalls check,
allowing forcing overwriting already installed library versions.
The patch also documents this flag and other softer options
in the output of printPlanMessages, which is renamed to checkPrintPlan.

7 years agotreat ghc-prim like base as non-upgradeable in modular solver
Andres Loeh [Tue, 25 Oct 2011 06:38:20 +0000 (06:38 +0000)] 
treat ghc-prim like base as non-upgradeable in modular solver

7 years agomerging changes from HEAD into modular-solver branch
Andres Loeh [Tue, 25 Oct 2011 06:36:32 +0000 (06:36 +0000)] 
merging changes from HEAD into modular-solver branch

7 years agoAdded a check for destructive reinstalls.
Andres Loeh [Fri, 21 Oct 2011 12:08:31 +0000 (12:08 +0000)] 
Added a check for destructive reinstalls.

Some refactoring in Distribution.Client.Install:

  * the linear representation of an install plan is now typed
  * it can be checked for the presence of destructive reinstalls

Currently, Cabal will stop if destructive reinstalls are encountered.
While this should become default behaviour, there has to be a flag
that overrides it.

7 years agomerging modular solver with main branch
Andres Loeh [Fri, 21 Oct 2011 07:17:36 +0000 (07:17 +0000)] 
merging modular solver with main branch

7 years agoAdded flag --independent-goals (not yet functioning correctly)
Andres Loeh [Sat, 9 Jul 2011 08:35:56 +0000 (08:35 +0000)] 
Added flag --independent-goals (not yet functioning correctly)

7 years agoFixing a few warnings.
Andres Loeh [Fri, 8 Jul 2011 07:47:44 +0000 (07:47 +0000)] 
Fixing a few warnings.

7 years agomake max backjumps configurable
Andres Loeh [Thu, 7 Jul 2011 09:28:54 +0000 (09:28 +0000)] 
make max backjumps configurable

7 years agointroduce backjump limit, and produce error messages
Andres Loeh [Tue, 5 Jul 2011 14:15:36 +0000 (14:15 +0000)] 
introduce backjump limit, and produce error messages

7 years agoGeneralized the type of traversals.
Andres Loeh [Mon, 4 Jul 2011 18:45:50 +0000 (18:45 +0000)] 
Generalized the type of traversals.

7 years agoAdded a Functor instance for search trees.
Andres Loeh [Mon, 4 Jul 2011 18:45:33 +0000 (18:45 +0000)] 
Added a Functor instance for search trees.

7 years agoRewrite traversals using a new combinator.
Andres Loeh [Mon, 4 Jul 2011 18:29:30 +0000 (18:29 +0000)] 
Rewrite traversals using a new combinator.

The hope is that sooner or later we can apply fusion.

7 years agoRefactoring: write traversals in a nicer way
Andres Loeh [Mon, 4 Jul 2011 17:56:31 +0000 (17:56 +0000)] 
Refactoring: write traversals in a nicer way

7 years agolayout
Andres Loeh [Mon, 4 Jul 2011 17:35:53 +0000 (17:35 +0000)] 
layout

7 years agoAdded a --reorder-goals flag.
Andres Loeh [Sun, 3 Jul 2011 14:36:56 +0000 (14:36 +0000)] 
Added a --reorder-goals flag.

7 years agoswitch goal reordering off by default
Andres Loeh [Sun, 3 Jul 2011 13:52:17 +0000 (13:52 +0000)] 
switch goal reordering off by default

It surprised me somewhat, but goal reordering seems to slow things
down, even for backtracking packages. It was supposed to speed things
up, but it's possible that backjumping works so nicely that it more
than compensates for the effects. More systematic testing might be
needed.

7 years agoswitch to less precise, more efficient goal reordering
Andres Loeh [Sun, 3 Jul 2011 13:43:59 +0000 (13:43 +0000)] 
switch to less precise, more efficient goal reordering

7 years agoRefactoring: use toConflictSet
Andres Loeh [Sun, 3 Jul 2011 13:20:11 +0000 (13:20 +0000)] 
Refactoring: use toConflictSet

7 years agobetter conflict reporting
Andres Loeh [Sun, 3 Jul 2011 13:14:35 +0000 (13:14 +0000)] 
better conflict reporting

7 years agoKeep better track of goal reasons.
Andres Loeh [Sun, 3 Jul 2011 10:17:21 +0000 (10:17 +0000)] 
Keep better track of goal reasons.

7 years agotypo
Andres Loeh [Thu, 30 Jun 2011 12:19:01 +0000 (12:19 +0000)] 
typo

7 years agoRefactoring: moving goals to Dependency module
Andres Loeh [Thu, 30 Jun 2011 12:10:18 +0000 (12:10 +0000)] 
Refactoring: moving goals to Dependency module

7 years agoadding a command-line flag to avoid reinstalls
Andres Loeh [Thu, 30 Jun 2011 10:17:21 +0000 (10:17 +0000)] 
adding a command-line flag to avoid reinstalls

7 years agomake conflict sets slightly larger
Andres Loeh [Tue, 21 Jun 2011 14:06:18 +0000 (14:06 +0000)] 
make conflict sets slightly larger

This is slower, however seems more correct. Larger conflict sets
typically mean fewer possibilities to cut the search space. On the
other hand, cutting too much risks incompleteness. At some later
stage, we might want to try hard to think about how/if conflict sets
could be reduced in size.

7 years agomore compact output for multiple subsequently rejected packages
Andres Loeh [Tue, 21 Jun 2011 13:32:31 +0000 (13:32 +0000)] 
more compact output for multiple subsequently rejected packages

7 years agodebug output for backjumping
Andres Loeh [Tue, 21 Jun 2011 11:32:10 +0000 (11:32 +0000)] 
debug output for backjumping

7 years agodocumentation for backjumping
Andres Loeh [Tue, 21 Jun 2011 09:45:47 +0000 (09:45 +0000)] 
documentation for backjumping

7 years agomaintain chains of GoalReasons
Andres Loeh [Tue, 21 Jun 2011 07:51:36 +0000 (07:51 +0000)] 
maintain chains of GoalReasons

Bugfix: conflict sets now contain the transitive closure of goal reasons,
which is required for completeness.

We now finally have sufficient info to produce good error messages, too.
At a failure site, we can trace which parts of the tree are relevant to
the failure, via the correctly generated conflict sets.

7 years agorefactoring: conflict sets are now sets instead of lists
Andres Loeh [Mon, 20 Jun 2011 21:33:30 +0000 (21:33 +0000)] 
refactoring: conflict sets are now sets instead of lists

7 years agoimplemented a version of backjumping
Andres Loeh [Mon, 20 Jun 2011 17:19:57 +0000 (17:19 +0000)] 
implemented a version of backjumping

7 years agoannotate with goal reason throughout reordering phase
Andres Loeh [Mon, 20 Jun 2011 15:06:03 +0000 (15:06 +0000)] 
annotate with goal reason throughout reordering phase

7 years agono annotations needed in goal choices
Andres Loeh [Mon, 20 Jun 2011 14:49:23 +0000 (14:49 +0000)] 
no annotations needed in goal choices

7 years agorefactoring: change the way tree annotations are handled
Andres Loeh [Mon, 20 Jun 2011 14:36:41 +0000 (14:36 +0000)] 
refactoring: change the way tree annotations are handled

7 years agobuild conflict sets
Andres Loeh [Mon, 20 Jun 2011 14:34:43 +0000 (14:34 +0000)] 
build conflict sets

7 years agoprovide more info about conflicts
Andres Loeh [Mon, 20 Jun 2011 13:04:53 +0000 (13:04 +0000)] 
provide more info about conflicts

7 years agoproper constraint origins also for flag-introduced dependencies
Andres Loeh [Mon, 20 Jun 2011 10:08:52 +0000 (10:08 +0000)] 
proper constraint origins also for flag-introduced dependencies

7 years agostore origin info in constrained instances
Andres Loeh [Mon, 20 Jun 2011 09:58:08 +0000 (09:58 +0000)] 
store origin info in constrained instances

7 years agoIgnore self-dependencies (of executables on libraries).
Andres Loeh [Mon, 20 Jun 2011 07:31:04 +0000 (07:31 +0000)] 
Ignore self-dependencies (of executables on libraries).

7 years agoReactivate output of changes for reinstalled pkgs in install plan
Andres Loeh [Sun, 19 Jun 2011 16:35:20 +0000 (16:35 +0000)] 
Reactivate output of changes for reinstalled pkgs in install plan

7 years agoBugfix: wrong flag name was used while adding new dependencies
Andres Loeh [Sun, 19 Jun 2011 15:48:41 +0000 (15:48 +0000)] 
Bugfix: wrong flag name was used while adding new dependencies

7 years agoBugfix: ignore broken packages.
Andres Loeh [Thu, 16 Jun 2011 06:54:22 +0000 (06:54 +0000)] 
Bugfix: ignore broken packages.

7 years agoproduce a bit more compact debugging output
Andres Loeh [Wed, 15 Jun 2011 11:42:13 +0000 (11:42 +0000)] 
produce a bit more compact debugging output

7 years agofix package ordering bug
Andres Loeh [Wed, 15 Jun 2011 07:36:30 +0000 (07:36 +0000)] 
fix package ordering bug

7 years agochange avoidReinstalls default, to match old Cabal solver
Andres Loeh [Wed, 15 Jun 2011 07:28:35 +0000 (07:28 +0000)] 
change avoidReinstalls default, to match old Cabal solver

7 years agointegrate the modular solver into cabal-install repo
Andres Loeh [Wed, 15 Jun 2011 07:07:20 +0000 (07:07 +0000)] 
integrate the modular solver into cabal-install repo

7 years agoNew solver now respects preferences.
Andres Loeh [Wed, 15 Jun 2011 07:03:43 +0000 (07:03 +0000)] 
New solver now respects preferences.

7 years agoupdated Cabal file
Andres Loeh [Tue, 14 Jun 2011 21:30:15 +0000 (21:30 +0000)] 
updated Cabal file

7 years agoproperly translate package constraints
Andres Loeh [Tue, 14 Jun 2011 21:27:36 +0000 (21:27 +0000)] 
properly translate package constraints

7 years agowhitespace
Andres Loeh [Tue, 14 Jun 2011 10:19:08 +0000 (10:19 +0000)] 
whitespace

7 years agomodular resolver now standard
Andres Loeh [Tue, 14 Jun 2011 10:18:50 +0000 (10:18 +0000)] 
modular resolver now standard

7 years agouse InstalledPackageIndex throughout
Andres Loeh [Tue, 14 Jun 2011 10:15:25 +0000 (10:15 +0000)] 
use InstalledPackageIndex throughout

7 years agostarted the solver interface conversion
Andres Loeh [Sun, 5 Jun 2011 12:52:21 +0000 (12:52 +0000)] 
started the solver interface conversion

7 years agoadded a module for the interface to the new solver
Andres Loeh [Sun, 5 Jun 2011 12:42:13 +0000 (12:42 +0000)] 
added a module for the interface to the new solver

7 years agointegrated index conversion functions
Andres Loeh [Sun, 5 Jun 2011 12:24:30 +0000 (12:24 +0000)] 
integrated index conversion functions

7 years agoadded Progress instances
Andres Loeh [Sun, 5 Jun 2011 11:28:09 +0000 (11:28 +0000)] 
added Progress instances

7 years agoreordering
Andres Loeh [Sun, 5 Jun 2011 11:03:41 +0000 (11:03 +0000)] 
reordering

7 years agoinclude the new solver in the dependency hierarchy
Andres Loeh [Sun, 5 Jun 2011 11:00:52 +0000 (11:00 +0000)] 
include the new solver in the dependency hierarchy

7 years agomoving PackagesPreferenceDefault
Andres Loeh [Sun, 5 Jun 2011 11:00:28 +0000 (11:00 +0000)] 
moving PackagesPreferenceDefault

7 years agoupdated Cabal file to include modular solver modules
Andres Loeh [Sun, 5 Jun 2011 10:09:42 +0000 (10:09 +0000)] 
updated Cabal file to include modular solver modules

7 years agoBump major version to 1.13
Duncan Coutts [Wed, 26 Oct 2011 20:43:46 +0000 (20:43 +0000)] 
Bump major version to 1.13
Since 1.12 got released with ghc-7.2.x

7 years agoRegister 'bench' command with the CLI
Johan Tibell [Wed, 26 Oct 2011 00:53:09 +0000 (00:53 +0000)] 
Register 'bench' command with the CLI

7 years agoBriefly document 'cabal test' and 'cabal bench'
Johan Tibell [Wed, 26 Oct 2011 00:27:38 +0000 (00:27 +0000)] 
Briefly document 'cabal test' and 'cabal bench'

7 years agoSmall doc fix in Benchmarks section
Bas van Dijk [Tue, 25 Oct 2011 18:40:55 +0000 (18:40 +0000)] 
Small doc fix in Benchmarks section

7 years agotypos in benchmarks documentation/help
Simon Meier [Tue, 25 Oct 2011 18:30:32 +0000 (18:30 +0000)] 
typos in benchmarks documentation/help

7 years agoDescribe benchmark sections in the user guide
Johan Tibell [Wed, 19 Oct 2011 15:32:33 +0000 (15:32 +0000)] 
Describe benchmark sections in the user guide

7 years agoFix source repo subdir name after cabal->Cabal dir rename
Duncan Coutts [Sun, 23 Oct 2011 21:44:25 +0000 (21:44 +0000)] 
Fix source repo subdir name after cabal->Cabal dir rename

7 years agoAdd a source package index cache to speed up reading
Duncan Coutts [Sun, 23 Oct 2011 21:32:53 +0000 (21:32 +0000)] 
Add a source package index cache to speed up reading
e.g. about 3x faster for cabal info pkgname

7 years agoBump versions of Cabal and cabal-install
Duncan Coutts [Sun, 23 Oct 2011 21:39:24 +0000 (21:39 +0000)] 
Bump versions of Cabal and cabal-install
Latest cabal-install requires latest Cabal due to api addition

7 years agoFail gracefully if 'cabal bench' is run before 'cabal build'
Johan Tibell [Thu, 13 Oct 2011 23:28:47 +0000 (23:28 +0000)] 
Fail gracefully if 'cabal bench' is run before 'cabal build'

7 years agoAdd unit test for 'cabal bench' command-line flags
Johan Tibell [Thu, 13 Oct 2011 23:21:09 +0000 (23:21 +0000)] 
Add unit test for 'cabal bench' command-line flags

7 years agoImplement 'cabal bench' command
Johan Tibell [Thu, 13 Oct 2011 22:56:15 +0000 (22:56 +0000)] 
Implement 'cabal bench' command
The only implement benchmark interface so far is exitcode-stdio-1.0,
which forwards the output of the benchmark executable being run to the
parent process' stdout/stderr.

7 years agoAdd package checks for benchmarks
Johan Tibell [Wed, 12 Oct 2011 20:16:04 +0000 (20:16 +0000)] 
Add package checks for benchmarks
Refactor duplicate names check to avoid having to manually write all
O(n^2) possible collision cases between executables, test suites, and
benchmarks.

7 years agoUploading build reports shouldn't fail if there are no reports
Max Bolingbroke [Sun, 16 Oct 2011 14:38:19 +0000 (14:38 +0000)] 
Uploading build reports shouldn't fail if there are no reports

7 years agoAdd a (substituted) flag to allow configuration of Haddock's --use-contents flag
Max Bolingbroke [Sun, 16 Oct 2011 11:08:52 +0000 (11:08 +0000)] 
Add a (substituted) flag to allow configuration of Haddock's --use-contents flag