• URLs
  • Checking out the Argobots source
  • Setting up the build environment
  • Building the software
  • Updated derived files such as configure
  • Cleaning everything