update-ghdl-libraries: Additional 'work' and 'copywork' configuration keys
Both are designed in support of the Synopsys library. The optional key 'work' allows to set the work library different from the value specified in 'name' (so that it is possible to have 'name = synopsys' with 'work = ieee'). Another optional key 'copywork' (defaults to off) copies the existing library to the current subdir before compiling. Synopsys extends the ieee library, so this can be used to avoid compiling the ieee sources twice. debian/synopsys.ghdllib is changed to make use of the enhancements.
Showing with 17 additions and 12 deletions