diff options
| author | Tristan Gingold <tgingold@free.fr> | 2018-11-24 07:35:30 +0100 |
|---|---|---|
| committer | Tristan Gingold <tgingold@free.fr> | 2018-11-24 07:35:30 +0100 |
| commit | 534fd65645a676181f0500e8544fc6beebb93d54 (patch) | |
| tree | e8063ce944790de5915f4cab003d5a4e859692d9 /src/grt | |
| parent | 97e5f72097d622d3d09f1863af4b10a521c91669 (diff) | |
| download | ghdl-534fd65645a676181f0500e8544fc6beebb93d54.tar.gz ghdl-534fd65645a676181f0500e8544fc6beebb93d54.tar.bz2 ghdl-534fd65645a676181f0500e8544fc6beebb93d54.zip | |
make install: copy openieee library only if enabled.
Fix #701
Diffstat (limited to 'src/grt')
0 files changed, 0 insertions, 0 deletions