5 mydir
="$(cd "$
(dirname "$0")" && pwd)"
8 : "${FSLURL:=https://sqlite.org/src}"
9 : "${FSLREPO:=sqlite.fsl}"
10 : "${GITREPO:=sqlite.git}"
12 for util
in .
/fossil .
/git-export-filter git
; do
13 if ! command -v $util > /dev
/null
; then
14 echo Missing
$util '(did you run the build script?)' >&2
19 if ! [ -e "$FSLREPO" ]; then
20 echo "Cloning $FSLURL into $FSLREPO" >&2
21 .
/fossil clone
"$FSLURL" "$FSLREPO"
23 echo "Updating $FSLREPO from $FSLURL" >&2
24 .
/fossil pull
-R "$FSLREPO"
28 if ! [ -r "$GITREPO/HEAD" ]; then
29 echo "Creating initial $GITREPO repository" >&2
30 git
--git-dir="$GITREPO" init
--bare
34 echo "Exporting from $FSLREPO into $GITREPO" >&2
35 .
/fossil
export --git "$@" "$FSLREPO" | \
36 .
/git-export-filter
--authors-file sqlite_authors
--require-authors \
37 --trunk-is-master --convert-tagger tagger | \
38 git
--git-dir="$GITREPO" fast-import
--force
40 if [ -n "$created" ]; then
41 echo "Compacting $GITREPO" >&2
42 git
--git-dir="$GITREPO" gc
--aggressive --prune=now