Worked on enhancing the build system for the vprover/vampire repository, focusing on improving portability and reliability across different environments. Addressed environment-specific build issues by replacing a hardcoded CMake invocation with the variable reference ${CMAKE_COMMAND}, ensuring consistent build behavior in diverse development and CI settings. This change streamlined the build process, reduced friction during onboarding, and improved cross-platform compatibility. The work involved CMake and build system configuration, emphasizing maintainability and adaptability. No major bugs were fixed during this period, as the primary focus was on feature development to support robust and portable build workflows for the project.