Add lesnet repo to manifest

Change-Id: Ie2fa0562e50d5a9214df527a524789da6e183024
3 files changed
tree: 00eafe86eeed5da89b2af37de123e6f6a6e4f9ba
  1. git-hooks/
  2. v2/
  3. bootstrap.sh
  4. deps_convert.py
  5. LICENSE
  6. 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.

export JIRI_ROOT=/some/path/that/does/not/exist
curl https://mojo.googlesource.com/mojo-manifest/+/master/bootstrap.sh?format=TEXT | base64 -d | bash
export PATH=$JIRI_ROOT/devtools/bin:$JIRI_ROOT/depot_tools:$PATH

bootstrap.sh will create and populate the directory pointed to by $JIRI_ROOT.

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.

Submitting changes

To submit a patch in the Mojo repo do the following

cd $JIRI_ROOT/src
# write some awesome stuff, commit to local branch
git checkout -b branch_name
vim some_file ...
git commit ...

# upload the patch to gerrit
jiri cl mail