Manifest section for music-DSP: =============================== Get repo: --------- see: http://source.android.com/source/downloading.html#installing-repo mkdir ~/.bin PATH=~/.bin:$PATH curl https://storage.googleapis.com/git-repo-downloads/repo > ~/.bin/repo chmod a+x ~/.bin/repo Create the tree: ---------------- mkdir WORKING_DIRECTORY cd WORKING_DIRECTORY repo init -u https://github.com/musicdsp/manifest.git repo sync -j8 Now all is done ...