Commits · master · paradise / vmutils · GitLab

Jan 21, 2017
- Fix script version detection. · 6e74fe9f
  Vladimír Štill authored Jan 21, 2017
  
  6e74fe9f
- Fix script_version detection. · c1435022
  Vladimír Štill authored Jan 21, 2017
  
  c1435022
- Make it possible to build multiple versions using one installer script. · 0b32b07f
  Vladimír Štill authored Jan 21, 2017
  
  0b32b07f
- Add version to disk names, pass version inside VM installer. · 5a446364
  Vladimír Štill authored Jan 21, 2017
  
  5a446364
- divina-3.3.3: Fix prefix, add CMD_CLANG. · 883a6fb3
  Vladimír Štill authored Jan 21, 2017
  
  883a6fb3
Jan 20, 2017
- Try to link with libstdc++. · de486b46
  Vladimír Štill authored Jan 20, 2017
  
  de486b46
- Update configuration of LLVM and DIVINE. · eca7d7fe
  Vladimír Štill authored Jan 20, 2017
  
  eca7d7fe
- Try to fix prefix in configure. · dd304cde
  Vladimír Štill authored Jan 20, 2017
  
  dd304cde
- Add README. · 76af7c15
  Vladimír Štill authored Jan 20, 2017
  
  76af7c15
- Add gitignore. · 69baf033
  Vladimír Štill authored Jan 20, 2017
  
  69baf033
- Fix tarball extensions. · e405398b
  Vladimír Štill authored Jan 20, 2017
  
  e405398b
- Build in parallel. · 268797f4
  Vladimír Štill authored Jan 20, 2017
  
  268797f4
- Try to fix LLVM build. · 6dc7dbf3
  Vladimír Štill authored Jan 20, 2017
  
  6dc7dbf3
- Add LLVM installation to divine-3.3.3 script. · 1c57b81e
  Vladimír Štill authored Jan 20, 2017
  
  1c57b81e
- Initial version of VM building scripts, based on DIVINE 4 version. · 27a131ff
  Vladimír Štill authored Jan 20, 2017
  
  27a131ff