[Agda] 2.4.2.1 installation issue

[Aaron Stump]

Hi, Andreas.

Thanks for the ideas about this.  We will try to get some more info, and 
see if we can confirm which versions of things are being used. I'll 
report back if we find anything interesting.

Aaron

On 11/19/2014 07:34 PM, Andreas Abel wrote:
> Hi Aaron,
>
> I do not know what is going on, but the relevant section of the 
> Agda.cabal file seems to be:
>
>   if impl(ghc < 7.6)
>     build-depends:
>       directory >= 1.0 && < 1.2
>       , old-time >= 1.0 && < 1.2
>   else
>       build-depends:
>         directory == 1.2.*
>         , time == 1.4.*
>
> Maybe your student has several versions of ghc installed?  Is 
> ghc-7.6.3 actually used by cabal?  Upping the verbosity might help to 
> find out...
>
> Cheers,
> Andreas
>
> On 20.11.14 4:31 AM, Aaron Stump wrote:
>> Hi, Agda community.
>>
>> I am trying to help a student get Agda 2.4.2.1 installed on his Ubuntu
>> 14.04 computer, and we are getting this error message (we are using
>> local version of cpphs, happy, and alex, because the ones we get with
>> apt-get seem to be too old):
>>
>> ---------------------
>> paco at lucio:~$ cabal --with-cpphs="/home/paco/.cabal/bin/cpphs"
>>   --with-happy="/home/paco/.cabal/bin/happy"
>> --with-alex="/home/paco/.cabal/bin/alex" install Agda
>> Resolving dependencies...
>> [1 of 1] Compiling Main             (
>> /tmp/Agda-2.4.2.1-30152/Agda-2.4.2.1/Setup.hs,
>> /tmp/Agda-2.4.2.1-30152/Agda-2.4.2.1/dist/setup/Main.o )
>> Linking /tmp/Agda-2.4.2.1-30152/Agda-2.4.2.1/dist/setup/setup ...
>> Configuring Agda-2.4.2.1...
>> Building Agda-2.4.2.1...
>> Preprocessing library Agda-2.4.2.1...
>>
>> src/full/Agda/Utils/Time.hs:25:18:
>>      Could not find module `System.Time'
>>      It is a member of the hidden package `old-time-1.1.0.1'.
>>      Perhaps you need to add `old-time' to the build-depends in your
>> .cabal file.
>>      Use -v to see a list of the files searched for.
>> Failed to install Agda-2.4.2.1
>> cabal: Error: some packages failed to install:
>> Agda-2.4.2.1 failed during the building phase. The exception was:
>> ExitFailure 1
>> -------------------------
>>
>> Any ideas what is happening here?  I assume this must be some issue with
>> the configuration of Haskell, not Agda (I have compiled Agda 2.4.2.1 on
>> my own computer with the same version of ghc (7.6.3) as the student's,
>> with no problems).
>>
>> Thanks,
>> Aaron
>> _______________________________________________
>> Agda mailing list
>> Agda at lists.chalmers.se
>> https://lists.chalmers.se/mailman/listinfo/agda
>