海绵：CS144回购

备份CS144实验室 有关构建先决条件，请参阅。 海绵快速入门 设置构建目录： $ mkdir -p <path>/build $ cd <path>/build $ cmake .. 注意：下面列出的所有其他命令应从build目录运行。 建立： $ make 您可以使用-j开关并行构建，例如， $ make -j$(nproc) 测试（构建后；确保已安装！） $ make check_lab0 要么 $ make check_lab1 等等 第一次运行make check ，它可能会运行sudo来配置两个设备以在测试期间使用。 构建选项 您可以在运行cmake时指定其他编译器： $ CC=clang CXX=clang++ cmake .. 您还可以指定CLANG_TIDY=或CLANG_FORMAT= （请参见下面的“其他有用的目标”