blob: d6a18d4675598fef3d9ac4adf2a5f2dd019dd300 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
|
#!/bin/sh
DEFINITIONS_DIR="{{ EXPORT_WORKDIR }}/definitions"
DEFINITIONS_URL="git://git.baserock.org/baserock/baserock/definitions"
MORPH_DIR="{{ EXPORT_WORKDIR }}/morph"
MORPH_URL="git://git.baserock.org/baserock/baserock/morph"
EXPORT_DIR="{{ EXPORT_WORKDIR }}/exported-definitions"
clone_or_pull() {
repo=$1
dir=$2
if [ -d "$dir" ]; then
git --git-dir="$dir/.git" --work-tree="$dir" pull
else
git clone $repo $dir
fi
}
clone_or_pull $DEFINITIONS_URL $DEFINITIONS_DIR
clone_or_pull $MORPH_URL $MORPH_DIR
if [ ! -d "$EXPORT_DIR" ]; then
git init "$EXPORT_DIR"
fi
git config --global user.email "export@baserock.com"
git config --global user.name "Baserock Export Daemon"
PYTHONPATH={{ EXPORT_WORKDIR }}/morph python \
{{ BASEROCK_EXPORT }}/baserock-export-git-submodules.py \
--git-cache-dir {{ EXPORT_WORKDIR }}/cache \
--mode submodule \
$DEFINITIONS_DIR/systems/minimal-system-x86_64-generic.morph \
"$EXPORT_DIR"
|
