diff options
| author | Theodoros Foradis <theodoros.for@openmailbox.org> | 2017-07-29 22:54:18 +0200 |
|---|---|---|
| committer | Ludovic Courtès <ludo@gnu.org> | 2017-07-29 23:03:47 +0200 |
| commit | 85cdab64c672c228069cd9d74d737de61db2f3e9 (patch) | |
| tree | 23f00d8497c681d6fbe800334c60cee445a8aa8d /gnu/local.mk | |
| parent | 313844d9dc098b44cd27dcfa1a26de306c9a8fe2 (diff) | |
| download | patches-85cdab64c672c228069cd9d74d737de61db2f3e9.tar patches-85cdab64c672c228069cd9d74d737de61db2f3e9.tar.gz | |
gnu: yosys: Add dependency on z3.
* gnu/packages/fpga.scm (yosys): Add z3 to propagated-inputs.
Diffstat (limited to 'gnu/local.mk')
0 files changed, 0 insertions, 0 deletions