Commit Graph

7 Commits

Author SHA1 Message Date
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