Michael Reilly
84cf00f980
treewide: Per RFC45, remove all unquoted URLs
2020-04-10 17:54:53 +01:00
Gabriel Ebner
440c63a38a
vampire: 4.2.2 -> 4.4
2019-08-25 14:43:51 +02:00
Michael Raskin
a8c4b37063
vampire: switch off the fragile fetchSubmodules/leaveDotGit
2019-05-09 22:57:59 +02:00
Gabriel Ebner
4e1323a0cf
vampire: fix nondeterministic hash
...
Probably related to #8567
2018-11-22 14:15:55 +01:00
Gabriel Ebner
da3326902a
vampire: fix nondeterministic hash
...
Probably related to #8567
2018-09-01 15:03:31 +02:00
Will Dietz
7353d8396d
vampire: enable parallel building
2018-07-05 10:13:40 -05:00
Will Dietz
600abbedc9
vampire: portability fixes
...
These have been submitted upstream,
but seconds before writing this message
so naturally no upstream response "yet" :).
Regardless of response, fetch patches
from the corresponding PR's for context
and of course hopefully they'll
be included in next version.
2018-07-05 10:13:32 -05:00
Will Dietz
8e6db30bb7
vampire: use CC/CXX from env, instead of always g++
2018-07-05 10:11:32 -05:00
Gabriel Ebner
57ae4e8d8e
vampire: init at 4.2.2
2018-07-05 09:34:28 +02:00
