KorAP Repo Manifest

This repository is primarily aimed at developers who want to build KorAP or one of its components or related tools themselves.

It helps to check out all necessary repositories using Repo, a tool built by the Android development team to manage multi-repository projects.

Getting started

Create the directories

You’ll need to set up some directories in your build environment.

To create them:

mkdir -p ~/bin
mkdir -p ~/KorAP

The ~/bin directory will contain the git-repo tool (commonly named “repo”) and the ~/KorAP directory will contain the source code of KorAP.

Install the repo command

Enter the following to download the repo binary and make it executable (runnable):

curl https://storage.googleapis.com/git-repo-downloads/repo > ~/bin/repo
chmod a+x ~/bin/repo

Put the ~/bin directory in your path of execution

In recent versions of Ubuntu, ~/bin should already be in your PATH. You can check this by opening ~/.profile with a text editor and verifying the following code exists (add it if it is missing):

# set PATH so it includes user's private bin if it exists
if [ -d "$HOME/bin" ] ; then
    PATH="$HOME/bin:$PATH"
fi

Configure git

Given that repo requires you to identify yourself to sync KorAP sources, run the following commands to configure your git identity:

git config --global user.email "you@example.com"
git config --global user.name "Your Name"

Initialize the KorAP source repositories

cd ~/KorAP
repo init -u https://korap.ids-mannheim.de/gerrit/KorAP/manifest
repo sync