CASC/Schedules.cpp and Shell/Options.cpp both take upwards of a minute to compile with optimsations enabled on my machine, but they're not really the hot parts of Vampire. Disable optimisations for Clang and GCC at least on these files.
Ideally eventually we'd fix the code, but for now this seems like a low priority.
CASC/Schedules.cpp
andShell/Options.cpp
both take upwards of a minute to compile with optimsations enabled on my machine, but they're not really the hot parts of Vampire. Disable optimisations for Clang and GCC at least on these files.Ideally eventually we'd fix the code, but for now this seems like a low priority.