Missing Vampire 7.0 binary packages
15 views
Skip to first unread message
jbs.panag...@gmail.com
Jan 15, 2026, 3:06:26 AMJan 15
to Vampire Users
The Vampire 7.0 binary packages for ubuntu linux 64 bit in the following link are missing!
gabo...@gmail.com
Jan 17, 2026, 4:59:59 PMJan 17
to Vampire Users
I cannot help with the Ubuntu binary package on the website that in the prior 5.0 version provided only the serial program (vampire-serial).
However, if you need help installing VAMPIRE under the latest Ubuntu (version 24.04.3 LTS) from source to have the serial program (vampire-serial), parallel program (vampire--parallel), and vdc, then I might be able to help you with that.
To do that, I would need to know what C++ compiler you use. If you will be using vampire-parallel, I would need to know what MPI implementation (e.g., Open MPI, Intel MPI, MPICH, and MVAPICH) that you use.
Of not, using the oneAPI with the icx version 2025.3.1 C++ compiler and Intel MPI seems to work:
1. The oneAPI intel-oneapi-hpc-toolkit was installed following:
2. Downloaded the VAMPIRE 7.0 source code package indirectly from https://vampire.york.ac.uk/download/ or directly from
3. Unpacked the source code: unzip vampire-src-7.0.zip
4. In order for vdc to compile, in vampire/util/vdc/vdc.hpp, I had to add a line 22:
line 21: #include <string>
line 22: #include <cstdint>
5. In the vampire directory, compiled using: make GCC="icx"
Kind Regards,
Gavin
VAMPIRE user
Reply all
Reply to author
Forward
0 new messages