Install Idris from Cabal

 

linux:/home/mjb/Idris-dev # cabal update
Config file path source is default config file.
Config file /root/.cabal/config not found.
Writing default configuration to /root/.cabal/config
Downloading the latest package list from hackage.haskell.org
linux:/home/mjb/Idris-dev # cabal install idris --program-prefix=/usr/lib
Resolving dependencies...
Downloading annotated-wl-pprint-0.7.0...
Downloading base-compat-0.9.3...
Configuring annotated-wl-pprint-0.7.0...
Downloading base64-bytestring-1.0.0.1...
Downloading binary-0.8.5.1...
Configuring base-compat-0.9.3...
Downloading code-page-0.1.3...
Configuring base64-bytestring-1.0.0.1...
Building annotated-wl-pprint-0.7.0...
Building base-compat-0.9.3...
Downloading colour-2.3.4...
Configuring binary-0.8.5.1...
Building base64-bytestring-1.0.0.1...
Building binary-0.8.5.1...
Configuring code-page-0.1.3...
Downloading data-default-class-0.1.2.0...
Downloading digest-0.0.1.2...
Configuring colour-2.3.4...
Building code-page-0.1.3...
Downloading dlist-0.8.0.3...
Configuring data-default-class-0.1.2.0...
Building colour-2.3.4...
Configuring digest-0.0.1.2...
Downloading fingertree-0.1.3.1...
Building data-default-class-0.1.2.0...
Installed annotated-wl-pprint-0.7.0                                                           
Downloading ieee754-0.8.0...                                                                  
Configuring dlist-0.8.0.3...                                                                  
Failed to install digest-0.0.1.2                                                              
Build log ( /root/.cabal/logs/digest-0.0.1.2.log ):                                           
cabal: Entering directory '/tmp/cabal-tmp-4923/digest-0.0.1.2'                                
Configuring digest-0.0.1.2...                                                                 
cabal: Missing dependency on a foreign library:                                               
* Missing (or bad) header file: zlib.h                                                        
* Missing C library: z                                                                        
This problem can usually be solved by installing the system package that                      
provides this library (you may need the "-dev" version). If the library is                    
already installed but in a non-standard location then you can use the flags                   
--extra-include-dirs= and --extra-lib-dirs= to specify where it is.                           
If the header file does exist, it may contain errors that are caught by the C                 
compiler at the preprocessing stage. In this case you can re-run configure                    
with the verbosity flag -v3 to see the error messages.                                        
cabal: Leaving directory '/tmp/cabal-tmp-4923/digest-0.0.1.2'                                 
Installed base-compat-0.9.3
Building dlist-0.8.0.3...
Installed code-page-0.1.3
Downloading integer-logarithms-1.0.2...
Configuring fingertree-0.1.3.1...
Installed base64-bytestring-1.0.0.1
Downloading mtl-2.2.1...
Configuring ieee754-0.8.0...
Installed data-default-class-0.1.2.0
Building fingertree-0.1.3.1...
Building ieee754-0.8.0...
Downloading network-2.6.3.2...
Configuring integer-logarithms-1.0.2...
Downloading old-locale-1.0.0.7...
Configuring mtl-2.2.1...
Building integer-logarithms-1.0.2...
Building mtl-2.2.1...
Downloading parser-combinators-0.4.0...
Configuring network-2.6.3.2...
Downloading primitive-0.6.2.0...
Configuring old-locale-1.0.0.7...
Installed dlist-0.8.0.3
Downloading random-1.1...
Downloading safe-0.3.16...
Building old-locale-1.0.0.7...
Downloading split-0.2.3.2...
Downloading stm-2.4.4.1...
Downloading syb-0.7...
Installed integer-logarithms-1.0.2
Configuring parser-combinators-0.4.0...
Downloading terminal-size-0.3.2.1...
Downloading th-abstraction-0.2.6.0...
Building parser-combinators-0.4.0...
Configuring random-1.1...
Installed old-locale-1.0.0.7
Downloading time-locale-compat-0.1.1.3...
Downloading transformers-compat-0.5.1.4...
Building random-1.1...
Downloading unix-compat-0.5.0.1...
Downloading utf8-string-1.0.1.1...
Downloading zlib-0.6.1.2...
Building network-2.6.3.2...
Configuring primitive-0.6.2.0...
Installed ieee754-0.8.0
Downloading data-default-instances-containers-0.0.1...
Downloading data-default-instances-dlist-0.0.1...
Configuring split-0.2.3.2...
Installed mtl-2.2.1
Downloading data-default-instances-old-locale-0.0.1...
Building primitive-0.6.2.0...
Downloading old-time-1.1.0.3...
Downloading regex-base-0.93.2...
Building split-0.2.3.2...
Configuring safe-0.3.16...
Installed parser-combinators-0.4.0
Building safe-0.3.16...
Installed colour-2.3.4
Downloading ansi-terminal-0.7.1.1...
Configuring stm-2.4.4.1...
Configuring terminal-size-0.3.2.1...
Installed split-0.2.3.2
Building stm-2.4.4.1...
Building terminal-size-0.3.2.1...
Configuring th-abstraction-0.2.6.0...
Installed fingertree-0.1.3.1
Building th-abstraction-0.2.6.0...
Configuring time-locale-compat-0.1.1.3...
Installed safe-0.3.16
Configuring syb-0.7...
Installed random-1.1
Building time-locale-compat-0.1.1.3...
Configuring unix-compat-0.5.0.1...
Installed stm-2.4.4.1
Downloading async-2.1.1.1...
Configuring transformers-compat-0.5.1.4...
Installed terminal-size-0.3.2.1
Building syb-0.7...
Building unix-compat-0.5.0.1...
Building transformers-compat-0.5.1.4...
Configuring utf8-string-1.0.1.1...
Installed time-locale-compat-0.1.1.3
Building utf8-string-1.0.1.1...
Configuring data-default-instances-containers-0.0.1...
Installed transformers-compat-0.5.1.4
Downloading tagged-0.8.5...
Configuring zlib-0.6.1.2...
Installed unix-compat-0.5.0.1
Building data-default-instances-containers-0.0.1...
Configuring data-default-instances-dlist-0.0.1...
Failed to install zlib-0.6.1.2
Build log ( /root/.cabal/logs/zlib-0.6.1.2.log ):
cabal: Entering directory '/tmp/cabal-tmp-4922/zlib-0.6.1.2'
Configuring zlib-0.6.1.2...
cabal: Missing dependency on a foreign library:
* Missing (or bad) header file: zlib.h
* Missing C library: z
This problem can usually be solved by installing the system package that
provides this library (you may need the "-dev" version). If the library is
already installed but in a non-standard location then you can use the flags
--extra-include-dirs= and --extra-lib-dirs= to specify where it is.
If the header file does exist, it may contain errors that are caught by the C
compiler at the preprocessing stage. In this case you can re-run configure
with the verbosity flag -v3 to see the error messages.
cabal: Leaving directory '/tmp/cabal-tmp-4922/zlib-0.6.1.2'
Building data-default-instances-dlist-0.0.1...
Configuring data-default-instances-old-locale-0.0.1...
Installed data-default-instances-containers-0.0.1
Building data-default-instances-old-locale-0.0.1...
Configuring regex-base-0.93.2...
Installed primitive-0.6.2.0
Downloading vector-0.12.0.1...
Configuring old-time-1.1.0.3...
Installed data-default-instances-dlist-0.0.1
Building regex-base-0.93.2...
Installed syb-0.7
Configuring ansi-terminal-0.7.1.1...
Configuring tagged-0.8.5...
Installed data-default-instances-old-locale-0.0.1
Downloading data-default-0.7.1.1...
Building ansi-terminal-0.7.1.1...
Building tagged-0.8.5...
Building old-time-1.1.0.3...
Configuring async-2.1.1.1...
Installed th-abstraction-0.2.6.0
Installed network-2.6.3.2
Configuring vector-0.12.0.1...
Building async-2.1.1.1...
Configuring data-default-0.7.1.1...
Installed binary-0.8.5.1
Downloading text-1.2.3.0...
Building vector-0.12.0.1...
Installed utf8-string-1.0.1.1
Building data-default-0.7.1.1...
Installed regex-base-0.93.2
Configuring text-1.2.3.0...
Building text-1.2.3.0...
Installed data-default-0.7.1.1
Installed tagged-0.8.5
Installed async-2.1.1.1
Downloading hinotify-0.3.9...
Installed ansi-terminal-0.7.1.1
Downloading ansi-wl-pprint-0.6.8.2...
Configuring hinotify-0.3.9...
Building hinotify-0.3.9...
Configuring ansi-wl-pprint-0.6.8.2...
Building ansi-wl-pprint-0.6.8.2...
Installed old-time-1.1.0.3
Installed ansi-wl-pprint-0.6.8.2
Downloading optparse-applicative-0.14.0.0...
Installed hinotify-0.3.9
Configuring optparse-applicative-0.14.0.0...
Building optparse-applicative-0.14.0.0...
Installed optparse-applicative-0.14.0.0
Installed text-1.2.3.0
Downloading blaze-builder-0.4.0.2...
Downloading fsnotify-0.2.1.1...
Downloading hashable-1.2.6.1...
Configuring fsnotify-0.2.1.1...
Downloading parsec-3.1.11...
Configuring blaze-builder-0.4.0.2...
Downloading tagsoup-0.14.2...
Configuring hashable-1.2.6.1...
Building fsnotify-0.2.1.1...
Configuring parsec-3.1.11...
Building blaze-builder-0.4.0.2...
Building hashable-1.2.6.1...
Configuring tagsoup-0.14.2...
Building parsec-3.1.11...
Building tagsoup-0.14.2...
Installed hashable-1.2.6.1
Downloading case-insensitive-1.2.0.10...
Downloading scientific-0.3.5.2...
Installed fsnotify-0.2.1.1
Downloading unordered-containers-0.2.8.0...
Configuring scientific-0.3.5.2...
Installed blaze-builder-0.4.0.2
Downloading uuid-types-1.0.3...
Configuring unordered-containers-0.2.8.0...
Building scientific-0.3.5.2...
Downloading blaze-markup-0.8.1.0...
Configuring case-insensitive-1.2.0.10...
Building unordered-containers-0.2.8.0...
Configuring blaze-markup-0.8.1.0...
Building case-insensitive-1.2.0.10...
Configuring uuid-types-1.0.3...
Building blaze-markup-0.8.1.0...
Building uuid-types-1.0.3...
Installed case-insensitive-1.2.0.10
Installed uuid-types-1.0.3
Installed parsec-3.1.11
Downloading network-uri-2.6.1.0...
Downloading regex-tdfa-1.2.2...
Configuring network-uri-2.6.1.0...
Installed scientific-0.3.5.2
Downloading attoparsec-0.13.2.0...
Building network-uri-2.6.1.0...
Downloading megaparsec-6.4.0...
Configuring regex-tdfa-1.2.2...
Configuring attoparsec-0.13.2.0...
Building regex-tdfa-1.2.2...
Building attoparsec-0.13.2.0...
Configuring megaparsec-6.4.0...
Building megaparsec-6.4.0...
Installed blaze-markup-0.8.1.0
Downloading blaze-html-0.9.0.1...
Configuring blaze-html-0.9.0.1...
Building blaze-html-0.9.0.1...
Installed tagsoup-0.14.2
Installed network-uri-2.6.1.0
Installed unordered-containers-0.2.8.0
Downloading uniplate-1.6.12...
Configuring uniplate-1.6.12...
Building uniplate-1.6.12...
Installed vector-0.12.0.1
Downloading vector-binary-instances-0.2.3.5...
Configuring vector-binary-instances-0.2.3.5...
Building vector-binary-instances-0.2.3.5...
Installed vector-binary-instances-0.2.3.5
Installed megaparsec-6.4.0
Installed uniplate-1.6.12
Installed attoparsec-0.13.2.0
Downloading aeson-1.2.3.0...
Downloading css-text-0.1.2.2...
Configuring css-text-0.1.2.2...
Building css-text-0.1.2.2...
Configuring aeson-1.2.3.0...
Building aeson-1.2.3.0...
Installed blaze-html-0.9.0.1
Installed css-text-0.1.2.2
Downloading xss-sanitize-0.3.5.7...
Configuring xss-sanitize-0.3.5.7...
Building xss-sanitize-0.3.5.7...
Installed xss-sanitize-0.3.5.7
Downloading cheapskate-0.1.1...
Configuring cheapskate-0.1.1...
Building cheapskate-0.1.1...
Installed cheapskate-0.1.1
Installed regex-tdfa-1.2.2
Installed aeson-1.2.3.0
cabal: Error: some packages failed to install:
digest-0.0.1.2 failed during the configure step. The exception was:
ExitFailure 1
idris-1.2.0 depends on digest-0.0.1.2 which failed to install.
zip-archive-0.3.1.1 depends on digest-0.0.1.2 which failed to install.
zlib-0.6.1.2 failed during the configure step. The exception was:
ExitFailure 1
linux:/home/mjb/Idris-dev # 

 

linux:/home/mjb/Idris-dev # cabal install idris --program-prefix=/usr/lib
Resolving dependencies...
Configuring digest-0.0.1.2...
Building digest-0.0.1.2...
Installed digest-0.0.1.2
Downloading zip-archive-0.3.1.1...
Configuring zip-archive-0.3.1.1...
Building zip-archive-0.3.1.1...
Installed zip-archive-0.3.1.1
Downloading idris-1.2.0...
Configuring idris-1.2.0...
Building idris-1.2.0...
Installed idris-1.2.0
linux:/home/mjb/Idris-dev # 

 

linux:/home/mjb/Idris-dev # idris
If 'idris' is not a typo you can use command-not-found to lookup the package that contains it, like this:
    cnf idris
linux:/home/mjb/Idris-dev # cnf idris
                     
The program 'idris' can be found in the following package:
  * idris [ path: /usr/bin/idris, repository: zypp (http-download.opensuse.org-8825cd50) ]

Try installing with:
    zypper install idris

linux:/home/mjb/Idris-dev # 

 

linux:/home/mjb/Idris-dev # ghc --version
The Glorious Glasgow Haskell Compilation System, version 8.0.2
linux:/home/mjb/Idris-dev # cabal --version
cabal-install version 1.24.0.2
compiled using version 1.24.2.0 of the Cabal library 
linux:/home/mjb/Idris-dev # 

 

 

 


metadata block
see also:
Correspondence about this page

Book Shop - Further reading.

Where I can, I have put links to Amazon for books that are relevant to the subject, click on the appropriate country flag to get more details of the book or to buy it from them.

flag flag flag flag flag flag Type-Driven Development with Idris

 

This site may have errors. Don't use for critical systems.

Copyright (c) 1998-2018 Martin John Baker - All rights reserved - privacy policy.