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
|
#!/bin/sh
CURDIR=`pwd`
WRKDIR=`pwd`/work
#mkdir -p "${WRKDIR}"
if [ \! -d "${CURDIR}/freecad-repo" ]; then
git clone https://github.com/FreeCAD/FreeCAD -b main "${CURDIR}/freecad-repo";
else
cd "${CURDIR}/freecad-repo"
# git pull https://github.com/FreeCAD/FreeCAD;
git pull
fi
cd "${CURDIR}/freecad-repo"
GIT_SRC_HASH=`git log -n 1 --pretty=format:"%H"`;
GIT_SRC_DATE=`git log -n 1 --date=iso-local -n 1 --pretty=format:"%cd" | \
cut -c '1-19' | sed -e 's,-,,g' -e 's,:,,g' -e 's, ,,g'`
GIT_SRC_DATE2=`git log -n 1 --date=iso-local -n 1 --pretty=format:"%cd" --date=format-local:'%Y.%m.%d' | \
cut -c '1-19' | sed -e 's,-,,g' -e 's,:,,g' -e 's, ,,g'`
GIT_ONDSEL_HASH=`git ls-tree HEAD src/3rdParty/OndselSolver/ | awk '{print $3}'`
GIT_GSL_HASH=`git ls-tree HEAD src/3rdParty/GSL/ | awk '{print $3}'`
GIT_GTEST_HASH=`git ls-tree HEAD tests/lib/ | awk '{print $3}'`
GIT_ADDONMGR_HASH=`git ls-tree HEAD src/Mod/AddonManager/ | awk '{print $3}'`
echo "$GIT_SRC_HASH, $GIT_SRC_DATE"
echo "GIT_SRC_HASH= ${GIT_SRC_HASH}" > ${CURDIR}/Makefile.git_rev
echo "GIT_SRC_DATE= ${GIT_SRC_DATE}" >> ${CURDIR}/Makefile.git_rev
echo "GIT_SRC_DATE2= ${GIT_SRC_DATE2}" >> ${CURDIR}/Makefile.git_rev
echo "GIT_ONDSEL_HASH= ${GIT_ONDSEL_HASH}" >> ${CURDIR}/Makefile.git_rev
echo "GIT_GSL_HASH= ${GIT_GSL_HASH}" >> ${CURDIR}/Makefile.git_rev
echo "GIT_GTEST_HASH= ${GIT_GTEST_HASH}" >> ${CURDIR}/Makefile.git_rev
echo "GIT_ADDONMGR_HASH= ${GIT_ADDONMGR_HASH}" >> ${CURDIR}/Makefile.git_rev
|
