
18 Dec
2014
18 Dec
'14
11:39 a.m.
Cabal allows to specify a directory for local packages ('local-repo' in '.cabal /config') with specific structure. Are there any scripts that take a git repo, checkout its tags one by one and put them in some specified directory in the correct way?
have a look at the bug report for cabal to support it. there are some pointers on how to do it manually. i don't have the script handy, but it is pretty trivial. cheers, tob(ias florek)