[Agda] 2.4.2.1 installation issue

[Andreas Abel]

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

-- 
Andreas Abel  <><      Du bist der geliebte Mensch.

Department of Computer Science and Engineering
Chalmers and Gothenburg University, Sweden

andreas.abel at gu.se
http://www2.tcs.ifi.lmu.de/~abel/