在Debian上安装GCC插件,通常有以下两种方式:
sudo apt update。sudo apt install命令安装,如sudo apt install gcc-multilib等。sudo apt-get install build-essential gcc libgmp-dev libmpfr-dev libmpc-dev等。./configure、make、sudo make install进行编译安装。~/.bashrc中,如export PATH=/path/to/plugin:$PATH,然后source ~/.bashrc。安装后可通过gcc --version等命令验证,使用插件时根据文档用-fplugin等选项指定。