We read every piece of feedback, and take your input very seriously.
To see all available qualifiers, see our documentation.
Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.
By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.
Already on GitHub? Sign in to your account
In branch llvm-3.4-dev:
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.
The text was updated successfully, but these errors were encountered:
BTW, which branch should I use?
Sorry, something went wrong.
llvm-3.4-dev is the correct branch. I'll fix the Vagrantfile now, commit and then merge into master once it's working.
master
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.
No branches or pull requests
In branch
llvm-3.4-dev
:The text was updated successfully, but these errors were encountered: