[arch-haskell] Thoughts on Procedure

[Rémy Oudompheng]

On 2010/10/14 Peter Simons <simons at cryp.to> wrote:
> 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/findconflicts.hs

-- 
Rémy.
-------------- next part --------------
hack-handler-simpleserver needs failure >=0.0.0 && <0.1
hack-handler-simpleserver needs web-encodings >=0.2.0 && <0.3
spacepart needs vector-space ==0.5.*
happstack-data needs HaXml >=1.13 && <1.14
happstack-data needs happstack-util >=0.4.1 && <0.5
happstack-data needs syb-with-class <0.6.1 && >=0.5
ls-usb needs cmdargs ==0.3.*
ls-usb needs usb ==0.5.*
ls-usb needs usb-safe ==0.8.*
gnuidn needs text >=0.2 && <0.9
derive-gadt needs haskell-src-exts ==1.0.* && ==1.0.*
derive-gadt needs haskell-src-meta ==0.0.4 && ==0.0.4 && ==0.0.4
derive-gadt needs template-haskell ==2.3.* && ==2.3.*
hunit-gui needs cairo ==0.10.* && ==0.10.*
hunit-gui needs gtk ==0.10.* && ==0.10.*
pqueue-mtl needs stateful-mtl ==1.0.5
yajl-enumerator needs text >=0.7 && <0.8
wai-handler-snap needs iteratee >=0.3.5 && <0.4
ccnx needs bytestring >=0.9.1.6 && <0.9.2
monte-carlo needs vector >=0.6 && <0.7
HAppS-Data needs HaXml >=1.13 && <1.14
tagsoup-ht needs containers >=0.1 && <0.3 && >=0.1 && <0.3 && >=0.1 && <0.3 && >=0.1 && <0.3
tagsoup-ht needs tagsoup >=0.6 && <0.7 && >=0.6 && <0.7 && >=0.6 && <0.7 && >=0.6 && <0.7
tagsoup-ht needs transformers >=0.0 && <0.2 && >=0.0 && <0.2 && >=0.0 && <0.2 && >=0.0 && <0.2
tagsoup-ht needs xml-basic >=0.0.1 && <0.1 && >=0.0.1 && <0.1 && >=0.0.1 && <0.1 && >=0.0.1 && <0.1
fsmActions needs fgl ==5.4.2.2
fsmActions needs graphviz >=2999.6.0.0 && <=2999.9.0.0
scion needs Cabal >=1.5 && <1.7 && >=1.5 && <1.7
scion needs containers ==0.2.* && ==0.2.*
scion needs ghc-syb ==0.1.* && ==0.1.*
scion needs hslogger ==1.0.* && ==1.0.*
scion needs multiset ==0.1.* && ==0.1.*
scion needs uniplate ==1.2.*
LslPlus needs HaXml >=1.19 && <1.20
LslPlus needs array >=0.2 && <0.3
LslPlus needs containers >=0.1 && <0.3
LslPlus needs syb >=0.1.0.0 && <0.2.0.0
LslPlus needs template-haskell >=2.3.0.0 && <2.4
haskore-supercollider needs array >=0.1 && <0.3
haskore-supercollider needs containers >=0.1 && <0.3
haskore-supercollider needs event-list >=0.0.6 && <0.1
haskore-supercollider needs hosc >=0.6 && <0.7
haskore-supercollider needs hsc3 >=0.6 && <0.7
haskore-supercollider needs non-negative >=0.0.1 && <0.1
haskore-supercollider needs transformers >=0.0 && <0.2
salvia-protocol needs fclabels >=0.4.2 && <0.5
fckeditor needs HaXml >=1.13 && <1.14
synthesizer-core needs array >=0.1 && <0.3
synthesizer-core needs containers >=0.1 && <0.3
synthesizer-core needs event-list >=0.0.8 && <0.1
synthesizer-core needs non-negative >=0.0.5 && <0.1
synthesizer-core needs numeric-prelude >=0.1.2 && <0.2
synthesizer-core needs transformers >=0.0.1 && <0.2
AC-EasyRaster-GTK needs gtk >=0.10 && <0.11
levmar needs vector-space >=0.5.7 && <0.6
srcloc needs syb >=0.1 && <0.2
attoparsec-iteratee needs iteratee >=0.3.1 && <0.4
hdf needs hosc ==0.7
Coadjute needs array >=0.1 && <0.3
Coadjute needs containers >=0.2 && <0.3
Coadjute needs pureMD5 >=0.2.4 && <0.3
Vec-Boolean needs Vec ==0.9.6
L-seed needs cairo ==0.10.*
L-seed needs gtk ==0.10.*
happstack-server needs HaXml >=1.13 && <1.14
happstack-server needs happstack-util >=0.4.1 && <0.5
happstack-server needs sendfile >=0.6.1 && <0.7
happs-tutorial needs HStringTemplate >=0.4.0 && <0.5.0
happs-tutorial needs containers >=0.2.0.0 && <0.3.0.0
happs-tutorial needs happstack-helpers >=0.43 && <0.50
happs-tutorial needs hscolour ==1.13
happs-tutorial needs pureMD5 >=1.0.0.0 && <1.1.0.0
msgpack needs vector >=0.6.0 && <0.6.1
JsContracts needs WebBits ==1.0 && ==1.0
hexpat-iteratee needs iteratee ==0.3.*
synthesizer needs array >=0.1 && <0.3
synthesizer needs containers >=0.1 && <0.3
synthesizer needs event-list >=0.0.8 && <0.1
synthesizer needs gnuplot >=0.2 && <0.4
synthesizer needs non-negative >=0.0.5 && <0.1
synthesizer needs numeric-prelude >=0.1.1 && <0.2
synthesizer needs sox >=0.0 && <0.1
synthesizer needs transformers >=0.0.1 && <0.2
SGdemo needs GLUT >=2.2 && <2.3
SGdemo needs OpenGL >=2.4 && <2.5
nonlinear-optimization needs vector >=0.5 && <0.7
historian needs containers >=0.1 && <0.3
open-witness needs witness ==0.1
expat-enumerator needs text >=0.7 && <0.8
hxt-filter needs hxt >=8.4 && <9
AERN-RnToRm-Plot needs OpenGL <2.4 && >=2.3
AERN-RnToRm-Plot needs glade <0.11 && >=0.10
AERN-RnToRm-Plot needs glib <0.11 && >=0.10
AERN-RnToRm-Plot needs gtk <0.11 && >=0.10
AERN-RnToRm-Plot needs gtkglext <0.11 && >=0.10
lambdabot needs haskell-src-exts >=0.3.6 && <0.4
snap-server needs iteratee >=0.3.1 && <0.4
snap-server needs vector >=0.6 && <0.7
smallpt-hs needs vector ==0.6.*
atom needs syb >=0.1.0.0 && <0.2.0.0
starling needs failure ==0.0.*
starling needs transformers ==0.1.*
vty-ui needs vty >=4.0 && <4.1
haskell-src-meta needs syb >=0.1 && <0.2
DOM needs WebBits ==0.15
simpleirc needs bytestring >=0.9.1.7
lenses needs template-haskell >=2.3 && <2.4
CSPM-Frontend needs syb >=0.1 && <0.2
cabal-macosx needs fgl ==5.4.2.2
hfractal needs GLUT >=2.2.1.0 && <2.2.2.0
hfractal needs OpenGL >=2.3 && <2.4.0.0
hfractal needs OpenGLRaw <1.1.0.0
hfractal needs gd <3000.3.0 && >=3000.2.0
haskore needs event-list >=0.0.8 && <0.1
haskore needs non-negative >=0.0.1 && <0.1
haskore needs transformers >=0.0.1 && <0.2
safe-freeze needs transformers <0.2
happstack needs happstack-util >=0.4.1 && <0.5
happstack needs hsp >=0.4.5 && <0.5
happstack needs hsx >=0.5.5 && <0.6
GenI needs test-framework >=0.2.4 && <0.3
GenI needs uniplate >=1.2.0 && <1.3
RESTng needs HDBC <2.0.0
RESTng needs HDBC-postgresql <2.0.0
usb needs text >=0.5 && <0.9
symbol needs syb >=0.1 && <0.2
tkhs needs vty ==4.2.1.*
hxt-binary needs hxt >=8.2 && <9
BlogLiterately needs cmdargs >=0.1 && <0.2
BlogLiterately needs haxr >=3000.2.1 && <3000.6
BlogLiterately needs hscolour >=1.15 && <1.17
BlogLiterately needs pandoc >=1.2 && <1.6
minirotate needs data-accessor ==0.2.1.2
minirotate needs data-accessor-template ==0.2.1.3
minirotate needs split ==0.1.2
hexpat needs text >=0.5 && <0.9
ChristmasTree needs fgl ==5.4.2.2
unboxed-containers needs containers >=0.2.0.0 && <0.3.0.0 && >=0.2.0.0 && <0.3.0.0
unboxed-containers needs timeit >=0.9.0 && <1.0
gitit needs happstack-util >=0.3.2 && <0.5
gitit needs hslogger >=1 && <1.1
sifflet needs hxt >=8.3 && <8.6
cabal-rpm needs Cabal >=1.2.3.0 && <1.3
wai-handler-devel needs cmdargs >=0.4 && <0.5
haskore-synthesizer needs event-list >=0.0.6 && <0.1
haskore-synthesizer needs non-negative >=0.0.1 && <0.1
haskore-synthesizer needs numeric-prelude >=0.1 && <0.2
ftdi needs base-unicode-symbols >=0.1.1 && <0.2
ftdi needs transformers >=0.1.4 && <0.2
ftdi needs usb >=0.3 && <0.4
HAppS-State needs HaXml >=1.13 && <1.14
CSPM-cspm needs cmdargs >=0.1 && <0.2
haskore-realtime needs event-list >=0.0.6 && <0.1
haskore-realtime needs non-negative >=0.0.1 && <0.1
haskore-realtime needs transformers >=0.0 && <0.2
numerals needs dstring <0.3
numerals needs text >=0.1 && <0.2
data-accessor-template needs template-haskell >=2.2 && <2.4
vect-opengl needs OpenGL >=2.3
np-extras needs numeric-prelude >=0.1.1 && <0.2
gamma needs vector >=0.5 && <0.7
astrds needs SDL >=0.5 && <0.6
astrds needs SDL-image >=0.5 && <0.6
astrds needs SDL-mixer >=0.5 && <0.6
astrds needs SDL-ttf >=0.5 && <0.6
storablevector needs syb >=0.1 && <0.2
grapefruit-frp needs TypeCompose >=0.3 && <0.7
grapefruit-frp needs containers >=0.1 && <0.3
tbox needs safe-failure >=0.4.0 && <0.5
heist needs hexpat >=0.18.2 && <0.19
fdo-notify needs dbus-client >=0.3 && <0.4
hmatrix-static needs array ==0.2.*
hmatrix-static needs haskell-src-meta >=0.0.3.1 && <0.0.7
hmatrix-static needs hmatrix ==0.7.*
free-theorems needs haskell-src-exts >=0.3.9 && <0.4
supercollider-ht needs hosc >=0.6 && <0.7
supercollider-ht needs hsc3 >=0.6 && <0.7
supercollider-ht needs transformers >=0.0 && <0.2
chalkboard-viewer needs chalkboard ==0.2
chp-spec needs TypeCompose >=0.7 && <0.8
hspresent needs vty <4
korfu needs bio >=0.3 && <0.4
Agda needs syb ==0.1.*
complexity needs Chart >=0.11 && <0.12
web-encodings needs text >=0.5 && <0.9
levmar-chart needs Chart ==0.11.* && ==0.11.*
dbmigrations needs containers >=0.2 && <0.3
dbmigrations needs vty >=4.0 && <4.1
grapefruit-ui-gtk needs gtk >=0.9.13 && <0.11
wavesurfer needs bytestring-show >=0.2 && <0.3
wavesurfer needs delimited-text >=0.0 && <0.1
alsa-midi needs event-list >=0.0.6 && <0.1
alsa-midi needs non-negative >=0.0.1 && <0.1
jsmw needs WebBits ==0.15
ChasingBottoms needs syb >=0.1.0.2 && <0.2 && >=0.1.0.2 && <0.2
multirec-binary needs multirec ==0.3.*
language-sh needs pcre-light >=0.2 && <0.4
hgal needs array >=0.1 && <0.2
hgal needs containers >=0.1 && <0.2
explicit-iomodes-text needs text >=0.7 && <0.9
happstack-ixset needs happstack-util >=0.4.1 && <0.5
happstack-ixset needs syb-with-class <0.6.1 && -any
SourceGraph needs Graphalyze >=0.9.0.0 && <0.10.0.0
SourceGraph needs graphviz >=2999.8.0.0 && <2999.9.0.0
SourceGraph needs haskell-src-exts >=1.5.0 && <1.7.0
libxml-sax needs text >=0.7 && <0.9
salvia needs containers ==0.2.*
salvia needs encoding ==0.5.*
salvia needs fclabels ==0.1.*
salvia needs pureMD5 ==0.2.*
dbus-core needs text >=0.8 && <0.9
first-class-patterns needs transformers >=0.1.0 && <0.1.5
safer-file-handles-text needs text >=0.7 && <0.9
mohws needs containers >=0.1 && <0.3
mohws needs transformers >=0.1.3 && <0.2
mohws needs unix >=2.3 && <2.4
monoids needs array >=0.2 && <0.3
monoids needs containers >=0.2 && <0.3
monoids needs text >=0.1 && <0.5
fullstop needs test-framework ==0.2.*
template needs text ==0.7.*
data-object-yaml needs iteratee >=0.3.5 && <0.4
data-object-yaml needs text >=0.7 && <0.9
data-object-yaml needs yaml >=0.3.0 && <0.4
linear-maps needs containers ==0.2.*
opensoundcontrol-ht needs hosc >=0.1 && <0.7
opensoundcontrol-ht needs transformers >=0.0 && <0.2
codepad needs tagsoup ==0.10.*
happstack-state needs happstack-util >=0.4.1 && <0.5
http-monad needs containers >=0.1 && <0.3
http-monad needs transformers >=0.0.1 && <0.2
augur needs HaXml >=1.13 && <1.14
hpodder needs HaXml <1.19 && >=1.13.2
mecha needs directory >=1.0.0.2 && <1.0.1
sox needs containers >=0.1 && <0.3
sox needs transformers >=0.0.1 && <0.2
sox needs unix >=2.3 && <2.4
plist needs hxt >=8.3.0 && <9.0
dbus-client needs text >=0.7 && <0.9
funsat needs bitset <1 && <1
rss needs HaXml >=1.19.2 && <1.20
data-spacepart needs vector-space ==0.5.*
named-lock needs containers >=0.2 && <0.3
lazyio needs transformers >=0.0 && <0.2
synthesizer-dimensional needs event-list >=0.0.10 && <0.1
synthesizer-dimensional needs non-negative >=0.0.5 && <0.1
synthesizer-dimensional needs numeric-prelude >=0.1.1 && <0.2
synthesizer-dimensional needs transformers >=0.0.1 && <0.2
multirec needs template-haskell >=2.2 && <2.4
sifflet-lib needs hxt >=8.3 && <8.6
ghci-haskeline needs array >=0.1 && <0.3
rss2irc needs tagsoup >=0.6 && <0.7
json2yaml needs attempt >=0.2.0 && <0.3
json2yaml needs data-object-json >=0.0.0 && <0.1
json2yaml needs data-object-yaml >=0.0.0 && <0.1
to-string-instances needs text ==0.4.*
arff needs bytestring-lexing ==0.2
arff needs bytestring-show ==0.2.*
semiring needs containers >=0.1 && <0.3 && >=0.1 && <0.3
network-protocol-xmpp needs text >=0.7 && <0.9
equal-files needs explicit-exception >=0.0.2 && <0.1
yi needs unix-compat >=0.1 && <0.2
snap-core needs iteratee >=0.3.1 && <0.4 && >=0.3.1 && <0.4
snap-core needs text >=0.7.1 && <0.8 && >=0.7.1 && <0.8
maybench needs Cabal >=1.2 && <1.5
HipmunkPlayground needs GLFW >=0.3 && <0.4
HipmunkPlayground needs Hipmunk >=5.0 && <5.1
HipmunkPlayground needs containers >=0.1 && <0.3
cabal-query needs Cabal >=1.6 && <1.7
download-curl needs tagsoup >=0.8 && <0.11
type needs containers ==0.2.*
type needs template-haskell ==2.3.*
persistent-map needs containers >=0.2.0.1 && <0.3
persistent-map needs stm-io-hooks >=0.4.0 && <0.5
jail needs containers ==0.2.*
jail needs monads-fd ==0.0.*
jail needs transformers ==0.1.*
hxt-tagsoup needs tagsoup >=0.10 && <0.11
species needs numeric-prelude >=0.1.1 && <0.2
spreadsheet needs transformers >=0.0 && <0.1
supercollider-midi needs array >=0.1 && <0.2
supercollider-midi needs containers >=0.1 && <0.2
supercollider-midi needs data-accessor >=0.1.3 && <0.2
supercollider-midi needs event-list >=0.0.6 && <0.1 && >=0.0.6 && <0.1
supercollider-midi needs hosc >=0.1 && <0.2 && >=0.1 && <0.2
supercollider-midi needs hsc3 >=0.1 && <0.2 && >=0.1 && <0.2
supercollider-midi needs non-negative >=0.0.1 && <0.1 && >=0.0.1 && <0.1
supercollider-midi needs supercollider-ht >=0.0 && <0.1
supercollider-midi needs array >=0.1 && <0.2
supercollider-midi needs containers >=0.1 && <0.2
supercollider-midi needs data-accessor >=0.1.3 && <0.2
supercollider-midi needs event-list >=0.0.6 && <0.1
supercollider-midi needs hosc >=0.1 && <0.2
supercollider-midi needs hsc3 >=0.1 && <0.2
supercollider-midi needs non-negative >=0.0.1 && <0.1
supercollider-midi needs supercollider-ht >=0.0 && <0.1
happstack-helpers needs containers >=0.2.0.0 && <0.3.0.0
happstack-helpers needs hscolour >=1.0 && <1.14
happstack-helpers needs pureMD5 >=1.0.0.0 && <1.1.0.0
happstack-helpers needs syb >=0.1.0.0 && <0.2.0.0
esotericbot needs containers ==0.2.* && ==0.2.*
HSHHelpers needs HSH >=1 && <1.27
CSPM-Interpreter needs syb >=0.1 && <0.2
twidge needs HaXml <1.19 && >=1.13.2
barchart needs cmdargs >=0.1 && <0.2
hommage-ds needs hommage >=0.0.5 && <=0.0.5
fallingblocks needs SDL ==0.5.4
pisigma needs array >=0.2 && <0.3
pisigma needs text >=0.5 && <0.6
pisigma needs array >=0.2 && <0.3
Hermes needs syb ==0.1.*
orchid needs containers ==0.2.*
orchid needs encoding ==0.5.*
orchid needs fclabels ==0.1.*
orchid needs filestore ==0.2.*
orchid needs hscolour ==1.11.*
orchid needs unix ==2.3.*
darcs-monitor needs HaXml <1.14
regular-xmlpickler needs hxt >=8.3 && <8.6
libxml-enumerator needs text >=0.7 && <0.9
mute-unmute needs hslogger-template ==1.1.0
LambdaHack needs gtk >=0.9.12 && <0.11
hums needs hxt >=8.3.1 && <8.6
darcs-benchmark needs cmdargs >=0.1 && <0.2
darcs-benchmark needs statistics ==0.4.*
EnumMap needs containers >=0.2.0.1 && <0.3
ghc-syb-utils needs syb ==0.1.*
OpenVG needs GLUT >=2.2 && <2.3
OpenVG needs OpenGL >=2.4 && <2.5
emgm needs template-haskell >=2.2 && <2.4 && >=2.2 && <2.4
synthesizer-inference needs event-list >=0.0.8 && <0.1
synthesizer-inference needs non-negative >=0.0.5 && <0.1
synthesizer-inference needs numeric-prelude >=0.1.1 && <0.2
synthesizer-inference needs synthesizer-core >=0.2 && <0.3
synthesizer-inference needs transformers >=0.0.1 && <0.2
internetmarke needs explicit-exception >=0.0.2 && <0.1
regular needs template-haskell >=2.2 && <2.4
yajl needs text >=0.7 && <0.9
Agata needs tagged ==0.0
HAppS-Server needs HaXml >=1.13 && <1.14
DrHylo needs haskell-src-exts ==0.4.4.1