[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