[Agda] 2.4.2.1 installation issue

Aaron Stump aaron-stump at uiowa.edu
Wed Nov 19 21:31:42 CET 2014


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


More information about the Agda mailing list