This Isabelle component provides Vampire 4.6using the
original sources from https://github.com/vprover/vampire/archive/refs/tags/v4.6.tar.gz

On Windows (x86_64-cygwin), the following patch had to be applied:

--- vampire-4.6/CMakeLists.txt~	2021-10-04 15:54:14.000000000 +0200
+++ vampire-4.6/CMakeLists.txt	2021-10-06 20:30:52.258940100 +0200
@@ -863,6 +863,10 @@
   add_compile_definitions(VDEBUG=0)
 endif()
 
+if (CYGWIN)
+ add_compile_definitions(_BSD_SOURCE)
+endif()
+                    
 # configure warning flags
 if(CMAKE_CXX_COMPILER_ID STREQUAL GNU OR CMAKE_CXX_COMPILER_ID MATCHES Clang$)
   add_compile_options(-Wall)


Afterwards, the executables have been built via "cmake . && make" on each
platform.


        Makarius
        06-Oct-2021
