Merge pull request #75284 from risicle/ris-aiger-lingeling-darwin

aiger, lingeling: enable for darwin
This commit is contained in:
Mario Rodas 2019-12-08 16:54:21 -05:00 committed by GitHub
commit 35367fd057
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23
2 changed files with 2 additions and 2 deletions

View File

@ -50,6 +50,6 @@ stdenv.mkDerivation rec {
homepage = http://fmv.jku.at/aiger/;
license = stdenv.lib.licenses.mit;
maintainers = with stdenv.lib.maintainers; [ thoughtpolice ];
platforms = stdenv.lib.platforms.linux;
platforms = stdenv.lib.platforms.unix;
};
}

View File

@ -43,7 +43,7 @@ stdenv.mkDerivation {
description = "Fast SAT solver";
homepage = http://fmv.jku.at/lingeling/;
license = licenses.mit;
platforms = platforms.linux;
platforms = platforms.unix;
maintainers = with maintainers; [ thoughtpolice ];
};
}