[Agda] 2.4.2.1 installation issue

[Andrea Vezzosi]

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