lol

mcy: init at 2020.02.05

Signed-off-by: Austin Seipp <aseipp@pobox.com>

+43
+41
pkgs/applications/science/logic/mcy/default.nix
··· 1 + { stdenv, fetchFromGitHub 2 + , yosys, symbiyosys, python3 3 + }: 4 + 5 + let 6 + python = python3.withPackages (p: with p; [ flask ]); 7 + in 8 + stdenv.mkDerivation { 9 + pname = "mcy"; 10 + version = "2020.02.05"; 11 + 12 + src = fetchFromGitHub { 13 + owner = "YosysHQ"; 14 + repo = "mcy"; 15 + rev = "83deeddd12d583a89ad4aa1d2147efa4d6adc33c"; 16 + sha256 = "1i0cabiqr68zflwzc6z894i4n7k6m3hbfck58vzh8zb9jwxwizav"; 17 + }; 18 + 19 + buildInputs = [ python ]; 20 + patchPhase = '' 21 + substituteInPlace mcy.py \ 22 + --replace yosys '${yosys}/bin/yosys' \ 23 + --replace 'os.execvp("mcy-dash"' "os.execvp(\"$out/libexec/mcy/mcy-dash.py\"" 24 + ''; 25 + 26 + # the build needs a bit of work... 27 + buildPhase = "true"; 28 + installPhase = '' 29 + mkdir -p $out/bin $out/libexec/mcy 30 + install mcy.py $out/bin/mcy && chmod +x $out/bin/mcy 31 + install mcy-dash.py $out/libexec/mcy/mcy-dash.py 32 + ''; 33 + 34 + meta = { 35 + description = "Mutation-based coverage testing for hardware designs, with Yosys"; 36 + homepage = "https://github.com/YosysHQ/mcy"; 37 + license = stdenv.lib.licenses.isc; 38 + maintainers = with stdenv.lib.maintainers; [ thoughtpolice ]; 39 + platforms = stdenv.lib.platforms.all; 40 + }; 41 + }
+2
pkgs/top-level/all-packages.nix
··· 24503 24503 24504 24504 symbiyosys = callPackage ../applications/science/logic/symbiyosys {}; 24505 24505 24506 + mcy = callPackage ../applications/science/logic/mcy {}; 24507 + 24506 24508 lingeling = callPackage ../applications/science/logic/lingeling {}; 24507 24509 24508 24510 ### SCIENCE / ELECTRONICS