[Agda] 2.4.2.1 installation issue

[Aaron Stump]

Ok, we figured out the issue.  Instead of running

cabal --with-cpphs="P1" --with-happy="P2" --with-alex="P3" install Agda

where P1, P2, and P3 are the paths to the versions of cpphs, happy, and 
alex installed in ~/.cabal/bin, we changed the student's path to put 
~/.cabal/bin first.  Then we just ran

cabal install Agda

and had no problems.

So, for anyone trying to make the Agda installation process more robust, 
it seems that somewhere along the way (cabal?), the --with-PROG 
directives are not getting honored, and so versions of those programs 
(the culprit looks like cpphs) are getting used which are not the ones 
specified on the command-line.

Thanks for the consultation about this,
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
>