[Agda] Lightweight dependency management using make

[Alan Jeffrey]

If someone else picks up the cabalization, I'm happy to retire my hacky 
makefile. In the meantime at least we have some way to make Agda 
developments less monolithic.

A.

On 05/25/2011 04:21 AM, Darin Morrison wrote:
>
> On 25 May 2011, at 10:13, Nils Anders Danielsson wrote:
>
>> On 2011-05-24 17:57, Alan Jeffrey wrote:
>>> I could try hacking away at cabal to make it Agda-aware, but this
>>> sounds like hard work to me! (AFAIK the state of play on Agdaizing
>>> cabal is still as discussed here:
>>> http://thread.gmane.org/gmane.comp.lang.agda/1055 but it could be that
>>> more has happened since, although the program notes for AIMXII
>>> http://wiki.portal.chalmers.se/agda/pmwiki.php?n=AIMXII.Notes suggest
>>> not :-)
>>
>> I think it is fair to say that Darin has abandoned his work on Cabal for
>> Agda. If someone else is interested in taking over that would be great.
>> Darin can probably explain what he has done, so that it does not need to
>> be repeated.
>
> I just don't have time to work on it anymore with my studies.  I also don't have time to keep up with what's happening with cabal at the moment.  However, I did already implement a fair amount of the needed infrastructure which is in the source repository.
>
> It wouldn't be too hard for someone with good familiarity with Agda and a burning desire to have such a tool to go ahead and finish it themselves... :)
>
> Cheers,
> Darin
>
> _______________________________________________
> Agda mailing list
> Agda at lists.chalmers.se
> https://lists.chalmers.se/mailman/listinfo/agda