Admin/PIDE/convert
author blanchet
Mon, 19 May 2014 23:43:53 +0200
changeset 57005 33f3d2ea803d
parent 53498 05313b45a5ae
permissions -rwxr-xr-x
store all MaSh data on the Isabelle side, in preparation for replacing 'mash.py' with ML solution

#!/usr/bin/env bash

THIS="$(cd "$(dirname "$0")"; pwd)"
SUPER="$(cd "$THIS/.."; pwd)"

ISABELLE_REPOS="$(cd "$THIS/../.."; pwd)"


## main

FILEMAP="/tmp/filemap$$"

echo "include COPYRIGHT" > "$FILEMAP"
(
  cd "$ISABELLE_REPOS"
  for FILE in $(find src/Pure -name "*.scala")
  do
    if grep "Module:.*PIDE" "$FILE" >/dev/null; then
      if [ "$("${HG:-hg}" status -u -n --color=never "$FILE")" = "" ]; then
        echo "include $FILE" >> "$FILEMAP"
        echo "rename $FILE src/$(basename "$FILE")" >> "$FILEMAP"
      fi
    fi
  done
)

cat "$FILEMAP"

"${HG:-hg}" convert --filemap "$FILEMAP" "$ISABELLE_REPOS" PIDE-repos

rm -f "$FILEMAP"