BoomMicrophone/nixpkgs-suyu
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity

yices: Add darwin to meta.platforms

Browse source
This commit is contained in:
Will Dietz 2016-10-30 13:34:42 -05:00
parent 3cf27a654a
commit 0443affe17
1 changed files with 4 additions and 4 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

8
pkgs/applications/science/logic/yices/default.nix
View file

@ -22,11 +22,11 @@ stdenv.mkDerivation rec {
installPhase = ''make install LDCONFIG=true'';
meta = {
meta = with stdenv.lib; {
description = "A high-performance theorem prover and SMT solver";
homepage = "http://yices.csl.sri.com";
license = stdenv.lib.licenses.unfreeRedistributable;
platforms = stdenv.lib.platforms.linux;
maintainers = [ stdenv.lib.maintainers.thoughtpolice ];
license = licenses.unfreeRedistributable;
platforms = platforms.linux ++ platforms.darwin;
maintainers = [ maintainers.thoughtpolice ];
};
}