Skip to content

Instantly share code, notes, and snippets.

@meditans

meditans/*shell*.txt Secret

Created June 30, 2019 15:36
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 meditans/d0431dbee6d5472f6084b9eaa9037507 to your computer and use it in GitHub Desktop.
Save meditans/d0431dbee6d5472f6084b9eaa9037507 to your computer and use it in GitHub Desktop.
Download ZIP
Raw
*shell*.txt
Linking dist/build/spec/spec ...
/nix/store/zizh5qzhcn4wzm06z99297ckalwrrpfk-binutils-2.31.1/bin/ld: dist/build/spec/spec-tmp/Z3/Base/Spec.o: in function `c9mj_info':
(.text.s9a4_info+0x278): undefined reference to `Z3_get_error_msg_ex'
/nix/store/zizh5qzhcn4wzm06z99297ckalwrrpfk-binutils-2.31.1/bin/ld: /build/z3-408.0/dist/build/libHSz3-408.0-JKabceCsjcmGdn6KMe98SN.a(Base.o):(.text.zz3zm408zi0zmJKabceCsjcmGdn6KMe98SN_ZZ3ziBase_zdwmkIntSort_info+0x9c): undefined reference to `Z3_get_error_msg_ex'
/nix/store/zizh5qzhcn4wzm06z99297ckalwrrpfk-binutils-2.31.1/bin/ld: /build/z3-408.0/dist/build/libHSz3-408.0-JKabceCsjcmGdn6KMe98SN.a(Base.o): in function `c191G_info':
(.text.s10Eu_info+0x240): undefined reference to `Z3_get_error_msg_ex'
/nix/store/zizh5qzhcn4wzm06z99297ckalwrrpfk-binutils-2.31.1/bin/ld: /build/z3-408.0/dist/build/libHSz3-408.0-JKabceCsjcmGdn6KMe98SN.a(Base.o): in function `c195Q_info':
(.text.zz3zm408zi0zmJKabceCsjcmGdn6KMe98SN_ZZ3ziBase_zdwmkTrue_info+0x14d): undefined reference to `Z3_get_error_msg_ex'
/nix/store/zizh5qzhcn4wzm06z99297ckalwrrpfk-binutils-2.31.1/bin/ld: /build/z3-408.0/dist/build/libHSz3-408.0-JKabceCsjcmGdn6KMe98SN.a(Base.o): in function `c197F_info':
(.text.zz3zm408zi0zmJKabceCsjcmGdn6KMe98SN_ZZ3ziBase_zdwmkFalse_info+0x14d): undefined reference to `Z3_get_error_msg_ex'
/nix/store/zizh5qzhcn4wzm06z99297ckalwrrpfk-binutils-2.31.1/bin/ld: /build/z3-408.0/dist/build/libHSz3-408.0-JKabceCsjcmGdn6KMe98SN.a(Base.o):(.text.s10LJ_info+0x280): more undefined references to `Z3_get_error_msg_ex' follow
collect2: error: ld returned 1 exit status
`cc' failed in phase `Linker'. (Exit code: 1)
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment