Skip to content

Instantly share code, notes, and snippets.

@Radvendii

Radvendii/Agda error log

Created September 30, 2015 01:49
Show Gist options
  • Save Radvendii/063583c4088dfd473b19 to your computer and use it in GitHub Desktop.
Save Radvendii/063583c4088dfd473b19 to your computer and use it in GitHub Desktop.
Download ZIP
Raw
Agda error log
bash-3.2$ stack install Agda --verbose
Version 0.1.4.1 (UNKNOWN commits) X86_64
2015-09-30 01:48:41.593563: [debug] Checking for project config at: /Users/dudicusmafudicus/stack.yaml @(stack_AngJd9xqaHO0MmIKblReWF:Stack.Config src/Stack/Config.hs:466:9)
2015-09-30 01:48:41.597278: [debug] Checking for project config at: /Users/stack.yaml @(stack_AngJd9xqaHO0MmIKblReWF:Stack.Config src/Stack/Config.hs:466:9)
2015-09-30 01:48:41.597397: [debug] Checking for project config at: /stack.yaml @(stack_AngJd9xqaHO0MmIKblReWF:Stack.Config src/Stack/Config.hs:466:9)
2015-09-30 01:48:41.677329: [debug] No project config file found, using defaults. @(stack_AngJd9xqaHO0MmIKblReWF:Stack.Config src/Stack/Config.hs:493:13)
2015-09-30 01:48:41.677838: [info] Run from outside a project, using implicit global config @(stack_AngJd9xqaHO0MmIKblReWF:Stack.Config src/Stack/Config.hs:242:13)
2015-09-30 01:48:41.735287: [info] Using resolver: lts-3.7 from global config file: /Users/dudicusmafudicus/.stack/global/stack.yaml @(stack_AngJd9xqaHO0MmIKblReWF:Stack.Config src/Stack/Config.hs:2
56:32)
2015-09-30 01:48:41.735491: [debug] Trying to decode /Users/dudicusmafudicus/.stack/build-plan-cache/x86_64-osx/lts-3.7.cache @(stack_AngJd9xqaHO0MmIKblReWF:Data.Binary.VersionTagged src/Data/Binary
/VersionTagged.hs:77:5)
2015-09-30 01:48:41.832565: [debug] Success decoding /Users/dudicusmafudicus/.stack/build-plan-cache/x86_64-osx/lts-3.7.cache @(stack_AngJd9xqaHO0MmIKblReWF:Data.Binary.VersionTagged src/Data/Binary
/VersionTagged.hs:86:13)
2015-09-30 01:48:41.832847: [debug] Run process: ghc --info @(stack_AngJd9xqaHO0MmIKblReWF:System.Process.Read src/System/Process/Read.hs:260:3)
2015-09-30 01:48:41.987655: [debug] Run process: ghc --numeric-version @(stack_AngJd9xqaHO0MmIKblReWF:System.Process.Read src/System/Process/Read.hs:260:3)
2015-09-30 01:48:42.039944: [debug] Run process: ghc-pkg --no-user-package-db field --simple-output Cabal id @(stack_AngJd9xqaHO0MmIKblReWF:System.Process.Read src/System/Process/Read.hs:260:3)
2015-09-30 01:48:42.085287: [debug] Run process: ghc-pkg --no-user-package-db list --global @(stack_AngJd9xqaHO0MmIKblReWF:System.Process.Read src/System/Process/Read.hs:260:3)
2015-09-30 01:48:42.128607: [debug] Run process: locale -a @(stack_AngJd9xqaHO0MmIKblReWF:System.Process.Read src/System/Process/Read.hs:260:3)
2015-09-30 01:48:42.137576: [debug] Checking resolver: lts-3.7 @(stack_AngJd9xqaHO0MmIKblReWF:Stack.Build.Source src/Stack/Build/Source.hs:162:17)
2015-09-30 01:48:42.137756: [debug] Trying to decode /Users/dudicusmafudicus/.stack/build-plan-cache/x86_64-osx/lts-3.7.cache @(stack_AngJd9xqaHO0MmIKblReWF:Data.Binary.VersionTagged src/Data/Binary
/VersionTagged.hs:77:5)
2015-09-30 01:48:42.145582: [debug] Success decoding /Users/dudicusmafudicus/.stack/build-plan-cache/x86_64-osx/lts-3.7.cache @(stack_AngJd9xqaHO0MmIKblReWF:Data.Binary.VersionTagged src/Data/Binary
/VersionTagged.hs:86:13)
2015-09-30 01:48:42.234901: [debug] Trying to decode /Users/dudicusmafudicus/.stack/indices/Hackage/00-index.cache @(stack_AngJd9xqaHO0MmIKblReWF:Data.Binary.VersionTagged src/Data/Binary/VersionTag
ged.hs:77:5)
2015-09-30 01:48:42.619866: [debug] Success decoding /Users/dudicusmafudicus/.stack/indices/Hackage/00-index.cache @(stack_AngJd9xqaHO0MmIKblReWF:Data.Binary.VersionTagged src/Data/Binary/VersionTag
ged.hs:86:13)
2015-09-30 01:48:42.62163: [debug] Run process: ghc-pkg --global --no-user-package-db dump --expand-pkgroot @(stack_AngJd9xqaHO0MmIKblReWF:System.Process.Read src/System/Process/Read.hs:260:3)
2015-09-30 01:48:42.681629: [debug] Run process: ghc-pkg --user --no-user-package-db --package-db /Users/dudicusmafudicus/.stack/snapshots/x86_64-osx/lts-3.7/7.10.2/pkgdb/ dump --expand-pkgroot @(st
ack_AngJd9xqaHO0MmIKblReWF:System.Process.Read src/System/Process/Read.hs:260:3)
2015-09-30 01:48:42.743582: [debug] Run process: ghc-pkg --user --no-user-package-db --package-db /Users/dudicusmafudicus/.stack/global/.stack-work/install/x86_64-osx/lts-3.7/7.10.2/pkgdb/ dump --ex
pand-pkgroot @(stack_AngJd9xqaHO0MmIKblReWF:System.Process.Read src/System/Process/Read.hs:260:3)
2015-09-30 01:48:42.787274: [debug] Trying to decode /Users/dudicusmafudicus/.stack/indices/Hackage/00-index.cache @(stack_AngJd9xqaHO0MmIKblReWF:Data.Binary.VersionTagged src/Data/Binary/VersionTag
ged.hs:77:5)
2015-09-30 01:48:43.112582: [debug] Success decoding /Users/dudicusmafudicus/.stack/indices/Hackage/00-index.cache @(stack_AngJd9xqaHO0MmIKblReWF:Data.Binary.VersionTagged src/Data/Binary/VersionTag
ged.hs:86:13)
2015-09-30 01:48:43.112919: [debug] Trying to decode /Users/dudicusmafudicus/.stack/indices/Hackage/00-index.cache @(stack_AngJd9xqaHO0MmIKblReWF:Data.Binary.VersionTagged src/Data/Binary/VersionTag
ged.hs:77:5)
2015-09-30 01:48:43.401204: [debug] Success decoding /Users/dudicusmafudicus/.stack/indices/Hackage/00-index.cache @(stack_AngJd9xqaHO0MmIKblReWF:Data.Binary.VersionTagged src/Data/Binary/VersionTag
ged.hs:86:13)
2015-09-30 01:48:43.591908: [debug] Run process: ghc-pkg --no-user-package-db list --global @(stack_AngJd9xqaHO0MmIKblReWF:System.Process.Read src/System/Process/Read.hs:260:3)
2015-09-30 01:48:43.635782: [debug] Trying to decode /Users/dudicusmafudicus/.stack/indices/Hackage/00-index.cache @(stack_AngJd9xqaHO0MmIKblReWF:Data.Binary.VersionTagged src/Data/Binary/VersionTag
ged.hs:77:5)
2015-09-30 01:48:43.925002: [debug] Success decoding /Users/dudicusmafudicus/.stack/indices/Hackage/00-index.cache @(stack_AngJd9xqaHO0MmIKblReWF:Data.Binary.VersionTagged src/Data/Binary/VersionTag
ged.hs:86:13)
2015-09-30 01:48:44.340606: [info] haskell-src-exts-1.16.0.1: configure @(stack_AngJd9xqaHO0MmIKblReWF:Stack.Build.Execute src/Stack/Build/Execute.hs:587:23)
2015-09-30 01:48:44.34089: [debug] Run process: /Users/dudicusmafudicus/.stack/setup-exe-cache/setup-Simple-Cabal-1.22.4.0-x86_64-osx-ghc-7.10.2 --builddir=.stack-work/dist/x86_64-osx/Cabal-1.22.4.0
/ configure --user --package-db=clear --package-db=global --package-db=/Users/dudicusmafudicus/.stack/snapshots/x86_64-osx/lts-3.7/7.10.2/pkgdb/ --libdir=/Users/dudicusmafudicus/.stack/snapshots/x86
_64-osx/lts-3.7/7.10.2/lib --bindir=/Users/dudicusmafudicus/.stack/snapshots/x86_64-osx/lts-3.7/7.10.2/bin --datadir=/Users/dudicusmafudicus/.stack/snapshots/x86_64-osx/lts-3.7/7.10.2/share --libexe
cdir=/Users/dudicusmafudicus/.stack/snapshots/x86_64-osx/lts-3.7/7.10.2/libexec --sysconfdir=/Users/dudicusmafudicus/.stack/snapshots/x86_64-osx/lts-3.7/7.10.2/etc --docdir=/Users/dudicusmafudicus/.
stack/snapshots/x86_64-osx/lts-3.7/7.10.2/doc/haskell-src-exts-1.16.0.1 --htmldir=/Users/dudicusmafudicus/.stack/snapshots/x86_64-osx/lts-3.7/7.10.2/doc/haskell-src-exts-1.16.0.1 --haddockdir=/Users
/dudicusmafudicus/.stack/snapshots/x86_64-osx/lts-3.7/7.10.2/doc/haskell-src-exts-1.16.0.1 --dependency=array=array-0.5.1.0-d4206b835b96b5079d918fa1eab1a9a8 --dependency=base=base-4.8.1.0-075aa0db10
075facc5aaa59a7991ca2f --dependency=cpphs=cpphs-1.19.3-21d69634848f44bbddd2385456c13030 --dependency=ghc-prim=ghc-prim-0.4.0.0-af16264bc80979d06e37ac63e3ba9a21 --dependency=pretty=pretty-1.1.2.0-1d3
1b75e6aa28069010db3db8ab24535 @(stack_AngJd9xqaHO0MmIKblReWF:Stack.Build.Execute src/Stack/Build/Execute.hs:696:21)
Progress: 1/2
-- While building package haskell-src-exts-1.16.0.1 using:
/Users/dudicusmafudicus/.stack/setup-exe-cache/setup-Simple-Cabal-1.22.4.0-x86_64-osx-ghc-7.10.2 --builddir=.stack-work/dist/x86_64-osx/Cabal-1.22.4.0/ configure --user --package-db=clear --pa
ckage-db=global --package-db=/Users/dudicusmafudicus/.stack/snapshots/x86_64-osx/lts-3.7/7.10.2/pkgdb/ --libdir=/Users/dudicusmafudicus/.stack/snapshots/x86_64-osx/lts-3.7/7.10.2/lib --bindir=/Users
/dudicusmafudicus/.stack/snapshots/x86_64-osx/lts-3.7/7.10.2/bin --datadir=/Users/dudicusmafudicus/.stack/snapshots/x86_64-osx/lts-3.7/7.10.2/share --libexecdir=/Users/dudicusmafudicus/.stack/snapsh
ots/x86_64-osx/lts-3.7/7.10.2/libexec --sysconfdir=/Users/dudicusmafudicus/.stack/snapshots/x86_64-osx/lts-3.7/7.10.2/etc --docdir=/Users/dudicusmafudicus/.stack/snapshots/x86_64-osx/lts-3.7/7.10.2/
doc/haskell-src-exts-1.16.0.1 --htmldir=/Users/dudicusmafudicus/.stack/snapshots/x86_64-osx/lts-3.7/7.10.2/doc/haskell-src-exts-1.16.0.1 --haddockdir=/Users/dudicusmafudicus/.stack/snapshots/x86_64-
osx/lts-3.7/7.10.2/doc/haskell-src-exts-1.16.0.1 --dependency=array=array-0.5.1.0-d4206b835b96b5079d918fa1eab1a9a8 --dependency=base=base-4.8.1.0-075aa0db10075facc5aaa59a7991ca2f --dependency=cpphs=
cpphs-1.19.3-21d69634848f44bbddd2385456c13030 --dependency=ghc-prim=ghc-prim-0.4.0.0-af16264bc80979d06e37ac63e3ba9a21 --dependency=pretty=pretty-1.1.2.0-1d31b75e6aa28069010db3db8ab24535
Process exited with code: ExitFailure 1
Logs have been written to: /Users/dudicusmafudicus/.stack/global/.stack-work/logs/haskell-src-exts-1.16.0.1.log
Configuring haskell-src-exts-1.16.0.1...
setup-Simple-Cabal-1.22.4.0-x86_64-osx-ghc-7.10.2: The program 'happy' version
>=1.17 is required but the version of
/Users/dudicusmafudicus/.stack/snapshots/x86_64-osx/lts-3.7/7.10.2/bin/happy
could not be determined.
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment