diff options
author | Weijia Wang <9713184+wegank@users.noreply.github.com> | 2022-11-01 16:22:30 +0100 |
---|---|---|
committer | Weijia Wang <9713184+wegank@users.noreply.github.com> | 2022-11-25 16:48:03 +0100 |
commit | ee09ecaca2da84b31df8bd25ac8c7f0274607354 (patch) | |
tree | d9b5c1da391a5befb27df911f97d3a99e5f004fb /pkgs | |
parent | 017015a82b6ceb8045e2ba446664b19218f77c9a (diff) |
glucose: fix build on aarch64-linux
Diffstat (limited to 'pkgs')
-rw-r--r-- | pkgs/applications/science/logic/glucose/default.nix | 7 |
1 files changed, 5 insertions, 2 deletions
diff --git a/pkgs/applications/science/logic/glucose/default.nix b/pkgs/applications/science/logic/glucose/default.nix index 5ba8208d6e18a..b9ca741a34770 100644 --- a/pkgs/applications/science/logic/glucose/default.nix +++ b/pkgs/applications/science/logic/glucose/default.nix @@ -8,6 +8,11 @@ stdenv.mkDerivation rec { sha256 = "0aahrkaq7n0z986fpqz66yz946nxardfi6dh8calzcfjpvqiraji"; }; + postPatch = '' + substituteInPlace Main.cc \ + --replace "defined(__linux__)" "defined(__linux__) && defined(__x86_64__)" + ''; + buildInputs = [ zlib ]; sourceRoot = "glucose-syrup-${version}/simp"; @@ -23,7 +28,5 @@ stdenv.mkDerivation rec { license = licenses.mit; platforms = platforms.unix; maintainers = with maintainers; [ gebner ]; - # Build uses _FPU_EXTENDED macro - badPlatforms = [ "aarch64-linux" ]; }; } |