Closed UlfNorell closed 10 years ago
From nils.anders.danielsson on November 14, 2013 02:19:15
Can you please post the output of "cabal configure -v"?
Status: InfoNeeded
From nils.anders.danielsson on November 14, 2013 02:19:35
Labels: BuildFailure Type-Defect Milestone-2.3.4 Priority-High
From guillaum...@gmail.com on November 14, 2013 02:27:20
Just for completeness, I’m using "cabal install" to compile Agda, the computer is running some version of CentOS (I don’t have admin rights), and I successfully managed to compile Agda before.
Here is the output of "cabal configure -v":
/usr/bin/ghc --numeric-version looking for tool "ghc-pkg" near compiler in /usr/bin found ghc-pkg in /usr/bin/ghc-pkg /usr/bin/ghc-pkg --version /usr/bin/ghc --supported-languages /usr/bin/ghc --info Reading available packages... Resolving dependencies... Configuring Agda-2.3.3... Flags chosen: epic=False Dependency Agda ==2.3.3: using Agda-2.3.3 Dependency QuickCheck ==2.4.1.1: using QuickCheck-2.4.1.1 Dependency array ==0.3.0.2: using array-0.3.0.2 Dependency base ==4.3.1.0: using base-4.3.1.0 Dependency binary ==0.7.1.0: using binary-0.7.1.0 Dependency bytestring ==0.9.1.10: using bytestring-0.9.1.10 Dependency containers ==0.4.0.0: using containers-0.4.0.0 Dependency deepseq ==1.3.0.1: using deepseq-1.3.0.1 Dependency directory ==1.1.0.0: using directory-1.1.0.0 Dependency filepath ==1.2.0.0: using filepath-1.2.0.0 Dependency geniplate ==0.6.0.3: using geniplate-0.6.0.3 Dependency hashable ==1.1.2.5: using hashable-1.1.2.5 Dependency hashtables ==1.1.0.2: using hashtables-1.1.0.2 Dependency haskeline ==0.7.0.3: using haskeline-0.7.0.3 Dependency haskell-src-exts ==1.14.0: using haskell-src-exts-1.14.0 Dependency mtl ==2.1.2: using mtl-2.1.2 Dependency old-time ==1.0.0.6: using old-time-1.0.0.6 Dependency parallel ==3.2.0.3: using parallel-3.2.0.3 Dependency pretty ==1.0.1.2: using pretty-1.0.1.2 Dependency process ==1.1.0.2: using process-1.1.0.2 Dependency text ==0.11.1.5: using text-0.11.1.5 Dependency transformers ==0.3.0.0: using transformers-0.3.0.0 Dependency unordered-containers ==0.2.3.1: using unordered-containers-0.2.3.1 Dependency xhtml ==3000.2.0.4: using xhtml-3000.2.0.4 Dependency zlib ==0.5.3.1: using zlib-0.5.3.1 Using Cabal-1.10.2.0 compiled by ghc-7.0 Using compiler: ghc-7.0.4 Using install prefix: /home/brunerie/.cabal Binaries installed in: /home/brunerie/.cabal/bin Libraries installed in: /home/brunerie/.cabal/lib/Agda-2.3.3/ghc-7.0.4 Private binaries installed in: /home/brunerie/.cabal/libexec Data files installed in: /home/brunerie/.cabal/share/Agda-2.3.3 Documentation installed in: /home/brunerie/.cabal/share/doc/Agda-2.3.3 Using alex version 2.3.5 found on system at: /usr/bin/alex Using ar found on system at: /usr/bin/ar No c2hs found Using cpphs version 1.17.1 found on system at: /home/brunerie/.cabal/bin/cpphs No ffihugs found Using gcc version 4.4.7 found on system at: /usr/bin/gcc Using ghc version 7.0.4 found on system at: /usr/bin/ghc Using ghc-pkg version 7.0.4 found on system at: /usr/bin/ghc-pkg No greencard found Using haddock version 2.9.2 found on system at: /usr/bin/haddock Using happy version 1.18.6 found on system at: /usr/bin/happy No hmake found Using hsc2hs version 0.67 found on system at: /usr/bin/hsc2hs No hscolour found No hugs found No jhc found Using ld found on system at: /usr/bin/ld No lhc found No lhc-pkg found No nhc98 found Using pkg-config version 0.23 found on system at: /usr/bin/pkg-config Using ranlib found on system at: /usr/bin/ranlib Using strip found on system at: /usr/bin/strip Using tar found on system at: /bin/tar No uhc found
From nils.anders.danielsson on November 14, 2013 02:48:46
The infix symbol <> wasn't exported from Data.Monoid in base 4.3.1.0.
Status: Fixed
Owner: nils.anders.danielsson
From guillaum...@gmail.com on November 14, 2013 02:57:16
Thanks, the original issue is fixed, but I have a new one now: issue 961
From guillaum...@gmail.com on November 14, 2013 10:44:15
I’m getting the following error when trying to compile the latest darcs version of Agda:
[…] [189 of 258] Compiling Agda.Syntax.Translation.InternalToAbstract ( src/full/Agda/Syntax/Translation/InternalToAbstract.hs, dist/build/Agda/Syntax/Translation/InternalToAbstract.o )
src/full/Agda/Syntax/Translation/InternalToAbstract.hs:549:31: Not in scope: `<>'
src/full/Agda/Syntax/Translation/InternalToAbstract.hs:553:51: Not in scope: `<>' Failed to install Agda-2.3.3 cabal: Error: some packages failed to install: Agda-2.3.3 failed during the building phase. The exception was: ExitFailure 1
Original issue: http://code.google.com/p/agda/issues/detail?id=960