diff options
| author | Jörg Thalheim <joerg@thalheim.io> | 2018-11-15 21:24:56 +0000 |
|---|---|---|
| committer | Jörg Thalheim <joerg@thalheim.io> | 2018-11-15 21:25:53 +0000 |
| commit | abb0c81190870628123a11054aa02bbf657be47f (patch) | |
| tree | 7fbc4a8e5bc27a68382334860f6e9a944eca7175 /pkgs/development/python-modules/GitPython/hardcode-git-path.patch | |
| parent | 49051573b56bb44d7f590bdc4148b59f202e55bd (diff) | |
z3: restrict to x86_64
it uses x86-only header:
include <immintrin.h>
^~~~~~~~~~~~~
compilation terminated.
src/sat/sat_probing.cpp
make: *** [Makefile:182: util/mpz.o] Error 1
make: *** Waiting for unfinished jobs....
src/sat/sat_parallel.cpp
builder for '/nix/store/vd2wkhic8g77izxv659ackh6hcaamic3-z3-4.8.1.drv' failed with exit code 2
cannot build derivation '/nix/store/h5imnjsf31c45l558gw66vyzb0ickc1m-solc-0.5.0.drv': 1 dependencies couldn't be built
error: build of '/nix/store/h5imnjsf31c45l558gw66vyzb0ickc1m-solc-0.5.0.drv' failed
Diffstat (limited to 'pkgs/development/python-modules/GitPython/hardcode-git-path.patch')
0 files changed, 0 insertions, 0 deletions