[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