aspino: Disable build on aarch64-linux

This is due to glucose not building.
6 years ago · 7aabdea1ca
parent 516f436614
commit 7aabdea1ca
1 changed files with 2 additions and 0 deletions
--- a/pkgs/applications/science/logic/aspino/default.nix
+++ b/pkgs/applications/science/logic/aspino/default.nix
@ -44,5 +44,7 @@ stdenv.mkDerivation rec {
    platforms = platforms.unix;
    license = licenses.asl20;
    homepage = http://alviano.net/software/maxino/;
+    # See pkgs/applications/science/logic/glucose/default.nix
+    badPlatforms = [ "aarch64-linux" ];
  };
 }