| Age | Commit message (Collapse) | Author | |
|---|---|---|---|
| 2020-11-25 | Update Vampire to 4.5 | Patrick Lühne | |
| Vampire now supports building with CMake, so use that instead of the handwritten Makefile. The separate patch is used for two reasons. First, Vampire includes the current Git commit information in its --version output (commit hash and timestamp). When building this package from AUR, this would read the commit metadata from AUR and not the Vampire repository. Second, Vampire uses the __FILE__ macro even in release builds, which means that references to the build directory end up in the binary. To avoid this, a GCC- and Clang-specific compiler option is added to ensure that the file references are relative to Vampire’s source directory. | |||
| 2019-08-29 | Update Vampire to 4.4 | Patrick Lühne | |
| 2019-01-17 | Remove binary name suffix | Patrick Lühne | |
| Vampire’s Makefile uses Git commands to obtain the branch and revision number of the working tree. These commands return empty results when executed in the release archives downloaded from GitHub. However, when distributed through AUR, these commands accidentally report the branch and revision of this very AUR repository, leading to an unexpected binary name suffix. This patch overrides the variables holding the branch name and revision number with empty values to ensure that the compiled Vampire binary always has the expected file name. | |||
| 2018-11-30 | Add Vampire as of 4.2.2 | Patrick Lühne | |