Next: Copy command, Previous: Clean command, Up: Library commands
Do like the clean command but remove the library too.
$ ghdl --remove [options]
There is no short command line form for this option to prevent accidental clean up. Note that after removing a design library, the files are not known anymore by GHDL.