Skip to content

Instantly share code, notes, and snippets.

@meditans
Created March 4, 2019 22:29
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/6fddd633ffcafb0c8f750e53f361ea53 to your computer and use it in GitHub Desktop.
Save meditans/6fddd633ffcafb0c8f750e53f361ea53 to your computer and use it in GitHub Desktop.
installing 'z3-4.8.4'
these derivations will be built:
/nix/store/pp67avgrzhiflx5bzq6a1kzjkx2x0vlv-z3-4.8.4.drv
building '/nix/store/pp67avgrzhiflx5bzq6a1kzjkx2x0vlv-z3-4.8.4.drv'...
unpacking sources
unpacking source archive /nix/store/a6n289vxyvqiq6rxba5ig27z1fqh9gpq-source
source root is source
patching sources
applying patch /nix/store/gdwwxmvkbrbnz0h9bsmdc193r6729zs6-0001-fix-2131.patch
patching file src/api/python/README.txt
Reversed (or previously applied) patch detected! Assume -R? [n]
Apply anyway? [n]
Skipping patch.
2 out of 2 hunks ignored -- saving rejects to file src/api/python/README.txt.rej
patching file src/api/python/setup.py
Reversed (or previously applied) patch detected! Assume -R? [n]
Apply anyway? [n]
Skipping patch.
1 out of 1 hunk ignored -- saving rejects to file src/api/python/setup.py.rej
patching file src/ast/recfun_decl_plugin.h
Reversed (or previously applied) patch detected! Assume -R? [n]
Apply anyway? [n]
Skipping patch.
1 out of 1 hunk ignored -- saving rejects to file src/ast/recfun_decl_plugin.h.rej
builder for '/nix/store/pp67avgrzhiflx5bzq6a1kzjkx2x0vlv-z3-4.8.4.drv' failed with exit code 1
error: build of '/nix/store/pp67avgrzhiflx5bzq6a1kzjkx2x0vlv-z3-4.8.4.drv' failed
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment