Building CRETE on ubuntu 14.04 requires sudo privilege to reverse the version of bison to make stp compile [1]. When sudo is required, Travis-CI will use an isolated VM image to perform the build[2]. In this setup, Travis-CI is very slow and compiling llvm-3.2 will exceed the timeout of 50 mins [3].
Potential solutions are:
Use external llvm-3.2 #4;
Remove sudo requirement for building crete on ubuntu 14.04;
Building CRETE on ubuntu 14.04 requires sudo privilege to reverse the version of bison to make stp compile [1]. When sudo is required, Travis-CI will use an isolated VM image to perform the build[2]. In this setup, Travis-CI is very slow and compiling llvm-3.2 will exceed the timeout of 50 mins [3].
Potential solutions are: