Skip to content

Instantly share code, notes, and snippets.

@DylanLukes

DylanLukes/gist:1036540

Created June 20, 2011 20:45
Show Gist options
  • Star 0 You must be signed in to star a gist
  • Fork 0 You must be signed in to fork a gist
  • Save DylanLukes/1036540 to your computer and use it in GitHub Desktop.
Save DylanLukes/1036540 to your computer and use it in GitHub Desktop.
Download ZIP
Raw
gistfile1.txt
15:45:31 dlukes@dlmbp.local Agda cabal install
Resolving dependencies...
Configuring Agda-2.2.11...
Preprocessing library Agda-2.2.11...
Preprocessing executables for Agda-2.2.11...
Building Agda-2.2.11...
Registering Agda-2.2.11...
Linking dist/build/agda-mode/agda-mode ...
ld: warning: could not create compact unwind for _ffi_call_unix64: does not use RBP or RSP based frame
ld: illegal text reloc to ___gmp_modlimb_invert_table from /usr/local/Cellar/ghc/7.0.3/lib/ghc-7.0.3/integer-gmp-0.2.0.3/libHSinteger-gmp-0.2.0.3.a(mp_minv_tab.o) in ___gmpn_modexact_1c_odd for architecture x86_64
collect2: ld returned 1 exit status
cabal: Error: some packages failed to install:
Agda-2.2.11 failed during the building phase. The exception was:
ExitFailure 1
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment