1. 17 Apr, 2020 1 commit
  2. 25 Oct, 2019 2 commits
  3. 23 Oct, 2019 2 commits
  4. 15 Oct, 2019 1 commit
  5. 10 Sep, 2019 2 commits
  6. 29 Aug, 2019 1 commit
    • Ivan Vilata-i-Balaguer's avatar
      Download and build CMake 3.13.4 for Vagrant and Docker. · ddfcf5a4
      Ivan Vilata-i-Balaguer authored
      CMake is a key part of our build process and we may want to use newer versions
      than those shipped by Debian from time to time, so we just pull a precise
      version of CMake much in the same way we handle our build dependency on Boost.
      
      We may as well pull binaries directly, but the rest of build instructions are
      not platform-dependent, and the CMake build step is short enough and will be
      run seldom enough to afford it.  In the case of Docker, the step is placed
      much towards the beginning to reduce the chance of rerunning it.
      ddfcf5a4
  7. 02 Aug, 2019 1 commit
  8. 06 May, 2019 1 commit
  9. 03 May, 2019 1 commit
  10. 10 Apr, 2019 1 commit
    • Ivan Vilata-i-Balaguer's avatar
      Configure default locale in Vagrant and keep it under SSH · 40f4bbea
      Ivan Vilata-i-Balaguer authored
      Otherwise the locale of the user invoking `vagrant ssh` may be used instead,
      and cause problems if it does not exist in the VM.
      
      For instance, my `ca_ES.UTF-8` locale caused the following error while
      unpacking Go 1.12.3 (which contains test files with non-ASCII names): `CMake
      Error: Problem with archive_read_next_header(): Pathname can't be converted
      from UTF-8 to current locale.`
      40f4bbea
  11. 01 Mar, 2019 1 commit
  12. 28 Sep, 2018 1 commit
  13. 27 Jun, 2018 2 commits
  14. 25 Jun, 2018 1 commit
  15. 21 Jun, 2018 1 commit
  16. 26 Feb, 2018 1 commit
  17. 15 Feb, 2018 3 commits
  18. 12 Feb, 2018 7 commits
  19. 08 Feb, 2018 2 commits
  20. 07 Feb, 2018 3 commits
  21. 31 Jan, 2018 1 commit