From d4ca1ed704bf368e910797d46cf00971f4e6a677 Mon Sep 17 00:00:00 2001 From: Aosen Xiong <82676488+Ao-senXiong@users.noreply.github.com> Date: Thu, 27 Jun 2024 15:53:18 -0400 Subject: [PATCH] Use git-scripts in addition to plume-scripts (#450) * Use git-scripts * Use git-script in .ci-build.sh --- .ci-build-without-test.sh | 10 +++++----- .ci-build.sh | 2 +- scripts/buildDLJC | 2 +- 3 files changed, 7 insertions(+), 7 deletions(-) diff --git a/.ci-build-without-test.sh b/.ci-build-without-test.sh index 80ae29cb..a1c0adb2 100755 --- a/.ci-build-without-test.sh +++ b/.ci-build-without-test.sh @@ -13,10 +13,10 @@ else export JAVA_HOME=${JAVA_HOME:-$(dirname $(dirname $(readlink -f $(which javac))))} fi -if [ -d "/tmp/plume-scripts" ] ; then - git -C /tmp/plume-scripts pull -q +if [ -d "/tmp/git-scripts" ] ; then + git -C /tmp/git-scripts pull -q else - git -C /tmp clone --depth 1 -q https://github.com/eisop-plume-lib/plume-scripts.git + git -C /tmp clone --depth 1 -q https://github.com/eisop-plume-lib/git-scripts.git fi export AFU="${AFU:-../annotation-tools/annotation-file-utilities}" @@ -24,7 +24,7 @@ export AFU="${AFU:-../annotation-tools/annotation-file-utilities}" AT=$(dirname "${AFU}") ## Build annotation-tools (Annotation File Utilities) -/tmp/plume-scripts/git-clone-related opprop annotation-tools "${AT}" +/tmp/git-scripts/git-clone-related opprop annotation-tools "${AT}" if [ ! -d ../annotation-tools ] ; then ln -s "${AT}" ../annotation-tools fi @@ -39,7 +39,7 @@ export CHECKERFRAMEWORK="${CHECKERFRAMEWORK:-$(pwd -P)/../checker-framework}" export PATH=$AFU/scripts:$JAVA_HOME/bin:$PATH ## Build Checker Framework -/tmp/plume-scripts/git-clone-related opprop checker-framework ${CHECKERFRAMEWORK} +/tmp/git-scripts/git-clone-related opprop checker-framework ${CHECKERFRAMEWORK} # This also builds annotation-tools (cd $CHECKERFRAMEWORK && ./gradlew assembleForJavac) diff --git a/.ci-build.sh b/.ci-build.sh index 0285bd50..8e9fa7cb 100755 --- a/.ci-build.sh +++ b/.ci-build.sh @@ -46,7 +46,7 @@ if [[ "${GROUP}" == downstream* && "${SLUGOWNER}" == "opprop" ]]; then clone_downstream () { DOWNSTREAM_PROJ="$(pwd -P)/../$1" echo "clone downstream to: ${DOWNSTREAM_PROJ}" - COMMAND="/tmp/plume-scripts/git-clone-related opprop $1 ${DOWNSTREAM_PROJ}" + COMMAND="/tmp/git-scripts/git-clone-related opprop $1 ${DOWNSTREAM_PROJ}" echo "Running: ($COMMAND)" (eval $COMMAND) echo "... done: ($COMMAND)" diff --git a/scripts/buildDLJC b/scripts/buildDLJC index 5cda5e67..43b74362 100755 --- a/scripts/buildDLJC +++ b/scripts/buildDLJC @@ -21,5 +21,5 @@ ROOT=$(cd ${myDir}/../../ && pwd) if [ -d $ROOT/do-like-javac ] ; then (cd $ROOT/do-like-javac && git pull) else - (/tmp/plume-scripts/git-clone-related opprop do-like-javac $ROOT/do-like-javac) + (/tmp/git-scripts/git-clone-related opprop do-like-javac $ROOT/do-like-javac) fi