On 2010/10/14 Peter Simons
Hi Rémy,
> My project is to implement in pure Haskell formal consistency checks > (PKGBUILDs requiring versions not existent in provided PKGBUILDs).
are those checks based on the PKGBUILD files? I wonder, because those files contain only a subset of the available information since cabal2arch cannot translate all version specifications in dependencies. Such a check would spot some errors, i.e. it would recognize that PKGBUILDS are flat-out missing, but it can't verify whether a dependency like "foo == 1.*" or "bar >= 3 && < 5" is fulfilled.
To implement those kind of checks, it would be necessary to work with the original Cabal files. Does your tool do that? If it does, then it has the potential to speed up "make check" quite a lot!
I implemented what you say [*]. I attached a list of conflicts in the current habs tree (the tool works from the PKGLIST, which is generated from the ABS tree using a small shell script that is in the same repo). [*] http://github.com/remyoudompheng/archhaskell-build/blob/master/scripts/findc... -- Rémy.