[Agda] installing on ghc-8.02

[Sergei Meshveliani]

Dear agda team,

I am trying to install Development Agda on
Ubuntu Linux 18.04, ghc-8.02.

$ cabal update
$ cabal install

reports in the end:

Agda-2.6.0 depends on zlib-0.6.2 which failed to install.

Please, what is a regular way to fix?

Regards,

------
Sergei

[Andres Sicard Ramirez]

Post by Sergei Meshveliani
I am trying to install Development Agda on
Ubuntu Linux 18.04, ghc-8.02.
$ cabal update
$ cabal install
Agda-2.6.0 depends on zlib-0.6.2 which failed to install.

How did you install GHC 8.02?

--
Andrés

[Sergei Meshveliani]

Post by Andres Sicard Ramirez

Post by Sergei Meshveliani
I am trying to install Development Agda on
Ubuntu Linux 18.04, ghc-8.02.
$ cabal update
$ cabal install
Agda-2.6.0 depends on zlib-0.6.2 which failed to install.

How did you install GHC 8.02?

$ sudo apt-get install dpkg
...
...
$ sudo apt-get install ghc

I hoped that Ubuntu will download from Web a fresh enough version for
GHC. And it has found it. Then I checked:

$ ghc -v

Glasgow haskell 8.02

-- something like this message.

[Andres Sicard Ramirez]

Post by Sergei Meshveliani

Post by Andres Sicard Ramirez

Post by Sergei Meshveliani
Agda-2.6.0 depends on zlib-0.6.2 which failed to install.

How did you install GHC 8.02?

$ sudo apt-get install dpkg
...
...
$ sudo apt-get install ghc

You also need to install zlib-0.6.2 using apt-get.

--
Andrés

[Sergei Meshveliani]

Post by Andres Sicard Ramirez

Post by Sergei Meshveliani

Post by Andres Sicard Ramirez

Post by Sergei Meshveliani
Agda-2.6.0 depends on zlib-0.6.2 which failed to install.

How did you install GHC 8.02?

$ sudo apt-get install dpkg
...
...
$ sudo apt-get install ghc

You also need to install zlib-0.6.2 using apt-get.

I see. Thank you.
zlib cannot be apt-get directly. One needs to find a _package_ for
Ubuntu to which zlib belongs.
I wonder:
what is a common way to find a package to which a given library item
belongs?

In this particular case I tried search in the Web of kind
"Ubuntu package for zlib". And I was lucky to find an answer:

apt-get install zlib1g-dev

With this, Development Agda has been installed.

Regards,

------
Sergei