Next: , Previous: Clean command, Up: Library commands


3.6.3 Remove command

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.