Vagrant build fails

[andreamattavelli]

In branch llvm-3.4-dev:

$ vagrant up
..
==> default: Built target minisat_simp
==> default: Install the project...
==> default: -- Install configuration: ""
==> default: -- Installing: /usr/local/lib/libminisat.a
==> default: -- Installing: /usr/local/lib/libminisat.so.2.1.0
==> default: -- Installing: /usr/local/lib/libminisat.so.2
==> default: -- Installing: /usr/local/lib/libminisat.so
==> default: -- Installing: /usr/local/bin/minisat_core
==> default: -- Installing: /usr/local/bin/minisat
==> default: -- Installing: /usr/local/include/minisat/mtl
==> default: -- Installing: /usr/local/include/minisat/mtl/Alg.h
==> default: -- Installing: /usr/local/include/minisat/mtl/Alloc.h
==> default: -- Installing: /usr/local/include/minisat/mtl/Heap.h
==> default: -- Installing: /usr/local/include/minisat/mtl/IntMap.h
==> default: -- Installing: /usr/local/include/minisat/mtl/IntTypes.h
==> default: -- Installing: /usr/local/include/minisat/mtl/Map.h
==> default: -- Installing: /usr/local/include/minisat/mtl/Queue.h
==> default: -- Installing: /usr/local/include/minisat/mtl/Rnd.h
==> default: -- Installing: /usr/local/include/minisat/mtl/Sort.h
==> default: -- Installing: /usr/local/include/minisat/mtl/Vec.h
==> default: -- Installing: /usr/local/include/minisat/mtl/XAlloc.h
==> default: -- Installing: /usr/local/include/minisat/utils
==> default: -- Installing: /usr/local/include/minisat/utils/Options.h
==> default: -- Installing: /usr/local/include/minisat/utils/ParseUtils.h
==> default: -- Installing: /usr/local/include/minisat/utils/System.h
==> default: -- Installing: /usr/local/include/minisat/core
==> default: -- Installing: /usr/local/include/minisat/core/Dimacs.h
==> default: -- Installing: /usr/local/include/minisat/core/Solver.h
==> default: -- Installing: /usr/local/include/minisat/core/SolverTypes.h
==> default: -- Installing: /usr/local/include/minisat/simp
==> default: -- Installing: /usr/local/include/minisat/simp/SimpSolver.h
==> default: Cloning into 'stp'...
==> default: error: The following untracked working tree files would be overwritten by checkout:
==> default:    include/stp/Simplifier/bvsolver.h
==> default:    include/stp/Simplifier/simplifier.h
==> default:    lib/Simplifier/bvsolver.cpp
==> default:    lib/Simplifier/simplifier.cpp
==> default: Please move or remove them before you can switch branches.
==> default: Aborting
==> default: -- The C compiler identification is GNU 4.8.4
==> default: -- The CXX compiler identification is GNU 4.8.4
==> default: -- Check for working C compiler: /usr/bin/cc
==> default: -- Check for working C compiler: /usr/bin/cc -- works
==> default: -- Detecting C compiler ABI info
==> default: -- Detecting C compiler ABI info - done
==> default: -- Check for working CXX compiler: /usr/bin/c++
==> default: -- Check for working CXX compiler: /usr/bin/c++ -- works
==> default: -- Detecting CXX compiler ABI info
==> default: -- Detecting CXX compiler ABI info - done
==> default: CMake Error at CMakeLists.txt:22 (cmake_minimum_required):
==> default:   CMake 3.0.2 or higher is required.  You are running version 2.8.12.2
==> default: -- Configuring incomplete, errors occurred!
==> default: See also "/home/vagrant/stp/build/CMakeFiles/CMakeOutput.log".
==> default: make: *** 
==> default: No targets specified and no makefile found
==> default: .  Stop.
==> default: make: *** 
==> default: No rule to make target `install'
==> default: .  Stop.

[andreamattavelli]

BTW, which branch should I use?

[markaduol]

llvm-3.4-dev is the correct branch. I'll fix the Vagrantfile now, commit and then merge into master once it's working.

[andreamattavelli]

Thanks! I believe that since you're the only one working on the project, we should only have the master branch. It is less confusing.