Point to googlesource copy of Mojo, update manifest, add helper

This points to https://mojo.googlesource.com/mojo instead of the github
mirror and updates the manifest to match the rev currently at that
location. It also adds deps_convert.py which is a script to help keep
DEPS and the manifest in sync while we're working through the
transition. It has to be python since DEPS files are evaluated python.

Change-Id: I3d3e8386fa99e78ba0697e3708addc09e4eaba84
2 files changed
tree: 706e094c9e319cd4f022c4cf9673c08e3779bc43
  1. v2/
  2. bootstrap.sh
  3. deps_convert.py
  4. LICENSE
  5. README.md
README.md

mojo-manifest

Contains the jiri manifest for the Mojo project

Creating a new checkout

Mojo uses the jiri tool to manage repositories https://github.com/vanadium/go.jiri. This tool manages a set of repositories specified by a manifest. The $JIRI_ROOT variable determines where jiri and the Mojo repositories will be placed. To create a new Mojo checkout run this command with $JIRI_ROOT set to a path to hold the checkout. This path should not exist before running the script. The script requires that you have Go 1.4 or newer and Git installed and on your PATH.

curl https://mojo.googlesource.com/mojo-manifest/+/master/bootstrap.sh?format=TEXT | base64 -d | bash

bootstrap.sh will populate the directory pointed to by $JIRI_ROOT and prompt you to add entries to your PATH.

Setting up your environment

Mojo requires several libraries and tools to build and run. Many are placed within the checkout and updated whenever jiri update runs, but some must be installed on the system. Run

$JIRI_ROOT/src/build/install-build-deps.sh

to install these packages.

See https://github.com/domokit/mojo for instructions on building and running tests for Mojo.