[Agda] installing Dev Agda Jan-9

Sergei Meshveliani mechvel at botik.ru
Sat Jan 9 11:06:58 CET 2016


People, 

Earlier I have installed Development Agda of December 31, 2015,
(on ghc-7.10.2, Debian Linux).

Now I think that a certain bug is fixed, so I try to install
Development Agda of January 9, 2016
(on ghc-7.10.2, Debian Linux).
The commands

   > cabal update
   > cabal install 

produce the report of 

---------------------------------------------------------------------------------------------------
Resolving dependencies...
In order, the following will be installed:
monadplus-1.4.2 (via: Agda-2.5) (new package)
Agda-2.5 (reinstall) (changes: filemanip-0.3.6.3 added, monadplus-1.4.2
added)
Warning: Note that reinstalls are always dangerous. Continuing anyway...
Configuring monadplus-1.4.2...
Building monadplus-1.4.2...
Preprocessing library monadplus-1.4.2...
[1 of 2] Compiling Control.Monad.Plus ( src/Control/Monad/Plus.hs,
dist/build/Control/Monad/Plus.o )
[2 of 2] Compiling Control.Applicative.Alternative
( src/Control/Applicative/Alternative.hs,
dist/build/Control/Applicative/Alternative.o )
In-place registering monadplus-1.4.2...
Creating package registration file: /tmp/pkgConf-monadplus-1.43832.2
Installing library in
/home/mechvel/.cabal/lib/x86_64-linux-ghc-7.10.2/monadplus-1.4.2-EAUqjzWEiSuJeJHhOa8PLD
Registering monadplus-1.4.2...
Installed monadplus-1.4.2
[1 of 1] Compiling Main             ( dist/setup/setup.hs,
dist/setup/Main.o )
Linking ./dist/setup/setup ...
Configuring Agda-2.5...
Building Agda-2.5...
Preprocessing library Agda-2.5...
alex: /home/mechvel/.cabal/share/x86_64-linux-ghc-7.8.3/alex-3.1.4/AlexTemplate-ghc: openFile: 
does not exist (No such file or directory)
--------------------------------------------------------------------------------------------------------

Can you, please, advise?

---------
Sergrei
-------------- next part --------------
An HTML attachment was scrubbed...
URL: http://lists.chalmers.se/pipermail/agda/attachments/20160109/2a6c1e3f/attachment.html


More information about the Agda mailing list