Extended proof/push to upload tarballs/gcov

2 files changed, 32 insertions, 8 deletions

diff --git a/tools/proof b/tools/proof
index 755c3fe7..b020ec0b 100755
--- a/tools/proof
+++ b/tools/proof
@@ -14,8 +14,7 @@ fi
 
 rm -fr ~/Products/ledger-proof
 
-time ./acprep --enable-cache --enable-doxygen \
-    --universal -j16 --warn proof 2>&1 | \
+time ./acprep --enable-doxygen --universal -j16 --warn proof 2>&1 | \
     tee ~/Desktop/proof.log
 
 if egrep -q '(ERROR|CRITICAL)' ~/Desktop/proof.log; then
@@ -26,9 +25,13 @@ if egrep -q '(ERROR|CRITICAL)' ~/Desktop/proof.log; then
         exit 1
     fi
 else
-    echo "Ledger proof build succeeded"
     echo $VERSION > ~/Products/last-proofed
     mv ~/Desktop/proof.log /tmp
+
+    cd ~/Product/ledger-proof/debug; make docs
+    cd ~/Product/ledger-proof/gcov;  make report
+
+    echo "Ledger proof build succeeded"
 fi
 
 exit 0
diff --git a/tools/push b/tools/push
index 286b3206..815c76cb 100755
--- a/tools/push
+++ b/tools/push
@@ -2,17 +2,38 @@
 
 set -e
 
+ACPREP=./acprep --enable-cache --universal -j16 --warn opt
+
 (cd plan/data; git push)
 (cd plan; git commit -a -m "Update TODO files" && git push)
+
+git checkout next
+
+perl -i -pe "s/([-abgrc][0-9]*)?\\]\\)/-$(date +%Y%m%d)])/;" version.m4
+git add version.m4
+echo git commit -m "v$(cat version.m4 | sed 's/.*\[//' | sed 's/\].*//')"
+
 git checkout master
 git merge --no-ff next
 git checkout next
 git rebase master
 git push
+
 git checkout master
-./acprep --enable-cache --universal -j16 --warn opt upload
-cp -p ~/Products/ledger/opt/ledger ~/bin
-./acprep --enable-cache --universal -j16 --warn opt make speedtest 2>&1 \
-    | tee build/last-speed.txt
-mv *.dmg* build
+$ACPREP upload
+$ACPREP make dist
+
+scp ~/Products/ledger/opt/ledger-*.tar.* jw:/srv/ftp/pub/ledger
+openssl md5 *.dmg* ~/Products/ledger/opt/ledger-*.tar.* > build/CHECKSUMS.txt
+openssl sha1 *.dmg* ~/Products/ledger/opt/ledger-*.tar.* >> build/CHECKSUMS.txt
+openssl rmd160 *.dmg* ~/Products/ledger/opt/ledger-*.tar.* >> build/CHECKSUMS.txt
+perl -i -pe 's/\/.*\///;' build/CHECKSUMS.txt
+scp build/CHECKSUMS.txt jw:/srv/ftp/pub/ledger
+
+rsync -az --delete ~/Products/ledger-proof/gcov/doc/report/ jw:/srv/ftp/pub/ledger/lcov/
+
+$ACPREP make speedtest 2>&1 | tee build/last-speed.txt
+
+mv *.dmg* ~/Products/ledger/opt/ledger-*.tar.* build
+
 git checkout next