[Agda] installing agda-2.4.2.3

Sergei Meshveliani mechvel at botik.ru
Sun Jul 26 20:30:25 CEST 2015


On Sun, 2015-07-26 at 16:14 +0200, Andrea Vezzosi wrote:
> I think the problem you are having is that you need to install a newer
> version of cabal-install.
> 
> calling ghc-pkg init yourself would now help
> 

  > cabal update 

informs that upgrading  cabal-install  is by

  > cabal install cabal-install 

Now the command 

  > cabal install cabal-install 

reports

-------------------------------------
Resolving dependencies...
Configuring mtl-2.2.1...
Building mtl-2.2.1...
Preprocessing library mtl-2.2.1...
ghc: ghc no longer supports single-file style package databases
(dist/package.conf.inplace) use 'ghc-pkg init' to create the database
with the correct format.
Failed to install mtl-2.2.1
Configuring network-2.6.2.1...
configure: WARNING: unrecognized options: --with-compiler, --with-gcc
checking build system type... x86_64-unknown-linux-gnu
checking host system type... x86_64-unknown-linux-gnu
checking for gcc... gcc
...
...
checking for accept4... yes
configure: creating ./config.status
config.status: creating network.buildinfo
config.status: creating include/HsNetworkConfig.h
configure: WARNING: unrecognized options: --with-compiler, --with-gcc
Building network-2.6.2.1...
Preprocessing library network-2.6.2.1...
ghc: ghc no longer supports single-file style package databases
(dist/package.conf.inplace) use 'ghc-pkg init' to create the database
with the correct format.
Failed to install network-2.6.2.1
...
...
Building zlib-0.5.4.2...
Preprocessing library zlib-0.5.4.2...
ghc: ghc no longer supports single-file style package databases
(dist/package.c\
onf.inplace) use 'ghc-pkg init' to create the database with the correct
format.
Failed to install zlib-0.5.4.2
cabal: Error: some packages failed to install:
...
...
---------------------------------------

So that nothing occurs installed.
I wonder how to fix.

Regards,

------
Sergei




----------------------------------------









> On Sun, Jul 26, 2015 at 3:12 PM, Sergei Meshveliani <mechvel at botik.ru> wrote:
> > People,
> >
> > I am trying to install  agda-2.4.2.3  on  ghc-7.10.1,  Debian Linux.
> > The commands
> >
> >   > cabal update
> >   > cabal install Agda
> >
> > produce the report
> >
> > ...
> > Preprocessing library data-hash-0.2.0.0...
> > ghc: ghc no longer supports single-file style package databases
> > (dist/package.conf.inplace) use 'ghc-pkg init' to create the database
> > with the correct format.
> > Failed to install data-hash-0.2.0.0
> > ...
> >
> >
> >   > ghc-pkg init
> > ghc-pkg: command-line syntax error
> > For usage information see 'ghc-pkg --help'.
> >
> >   > ghc-pkg --help
> >
> > shows
> >   ghc-pkg init {path}
> >
> > I understand this as that  {path} can be omitted.
> >
> > Please, how to install Agda ?
> >
> > Thanks,
> >
> > ------
> > Sergei
> >
> > _______________________________________________
> > Agda mailing list
> > Agda at lists.chalmers.se
> > https://lists.chalmers.se/mailman/listinfo/agda
> 




More information about the Agda mailing list