vampire-sys 0.5.2

Low-level FFI bindings to the Vampire theorem prover (use the 'vampire' crate instead)
Documentation 
1
2
3
4
5
6
7
8

# GIT_COMMIT_DESCRIPTION used by version.cpp.in
execute_process(
  COMMAND git log -1 --format=%h\ on\ %ci
  WORKING_DIRECTORY ${VAMPIRE_SOURCE_DIR}
  OUTPUT_VARIABLE GIT_COMMIT_DESCRIPTION
  OUTPUT_STRIP_TRAILING_WHITESPACE
)
configure_file(${VAMPIRE_SOURCE_DIR}/version.cpp.in version.cpp)