[Agda] 2.4.2.1 installation issue

[Aaron Stump]

Thanks for helping with this, Andrea.

The version of directory installed is 1.2.0.1.

Aaron

On 11/19/2014 06:17 PM, Andrea Vezzosi wrote:
> It seems like that file is using the version of the directory package
> to determine whether it should be using time or old-time.
>
> #if MIN_VERSION_directory(1,1,1)
> import qualified Data.Time
> #else
> import qualified System.Time
> #endif
>
>
> Something must be going wrong with the CPP though.
>
> On Wed, Nov 19, 2014 at 9:31 PM, Aaron Stump <aaron-stump at uiowa.edu> 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