有关构建先决条件，请参阅。 海绵快速入门 设置构建目录： $ mkdir -p /build $ cd /build $ cmake .. 注意：下面列出的所有其他命令应从build目录运行。 建立： $ make 您可以使用-j开关并行构建，例如， $ make -j$(nproc) 测试（构建后；确保已安装！） $ make check_lab0 或者 $ make check_lab1 等等。 第一次运行make check ，它可能会运行sudo来配置两个设备以在测试期间使用。