From abb0c81190870628123a11054aa02bbf657be47f Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?J=C3=B6rg=20Thalheim?= Date: Thu, 15 Nov 2018 21:24:56 +0000 Subject: [PATCH] z3: restrict to x86_64 it uses x86-only header: include ^~~~~~~~~~~~~ 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 --- pkgs/applications/science/logic/z3/default.nix | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/pkgs/applications/science/logic/z3/default.nix b/pkgs/applications/science/logic/z3/default.nix index f7d67d82cbc..29fc94a71da 100644 --- a/pkgs/applications/science/logic/z3/default.nix +++ b/pkgs/applications/science/logic/z3/default.nix @@ -36,7 +36,7 @@ stdenv.mkDerivation rec { description = "A high-performance theorem prover and SMT solver"; homepage = "https://github.com/Z3Prover/z3"; license = stdenv.lib.licenses.mit; - platforms = stdenv.lib.platforms.unix; + platforms = stdenv.lib.platforms.x86_64; maintainers = [ stdenv.lib.maintainers.thoughtpolice ]; }; }