Как получить данные из git для последующего построения задачи?

--recurse-submodules

Освой пунктуацию хотя бы в заголовке, в следующий раз буду удалять.

Какую библиотеку нужно установить из-за ошибки построения :

/usr/bin/ld: cannot find -lcadical: No such file or directory collect2: error: ld returned 1 exit status make: *** [Makefile:587: vampire_z3_rel] Error 1

libcadical

Эта либа в сабмодуле есть, ты их неправильно обновил.

Делаешь:

git clone https://github.com/vprover/vampire.git
cd vampire
git submodule update --init --recursive
mkdir ../vampire-build && cd ../vampire-build
cmake ../vampire && cmake --build .

если системных зависимостей нет, должно собраться.