--- a/NEWS Sun May 17 17:18:32 2020 +0200
+++ b/NEWS Mon May 18 12:59:01 2020 +0200
@@ -27,6 +27,12 @@
"isabelle_scala_tools" and "isabelle_file_format": minor
INCOMPATIBILITY.
+* Isabelle/Phabricator setup has been updated to follow ongoing
+development: libphutil has been discontinued. Minor INCOMPATIBILITY:
+existing server installations should remove libphutil from
+/usr/local/bin/isabelle-phabricator-upgrade and each installation root
+directory (e.g. /var/www/phabricator-vcs/libphutil).
+
*** Pure ***
--- a/etc/options Sun May 17 17:18:32 2020 +0200
+++ b/etc/options Mon May 18 12:59:01 2020 +0200
@@ -294,13 +294,10 @@
section "Phabricator"
-option phabricator_version_arcanist : string = "729100955129851a52588cdfd9b425197cf05815"
+option phabricator_version_arcanist : string = "a5bfb968cd90bb0a14c7067e7a2153d5d6ed48d7"
-- "repository version for arcanist"
-option phabricator_version_libphutil : string = "034cf7cc39940b935e83923dbb1bacbcfe645a85"
- -- "repository version for libphutil"
-
-option phabricator_version_phabricator : string = "ff6f24db2bc016533bca9040954a218c54ca324e"
+option phabricator_version_phabricator : string = "686e51655bb0f4134780dcc68e0276bc9bd0a4af"
-- "repository version for phabricator"
--- a/src/Pure/Tools/phabricator.scala Sun May 17 17:18:32 2020 +0200
+++ b/src/Pure/Tools/phabricator.scala Mon May 18 12:59:01 2020 +0200
@@ -292,10 +292,6 @@
git -C arcanist reset --hard """ +
Bash.string(options.string("phabricator_version_arcanist")) + """
- git clone --branch stable https://github.com/phacility/libphutil.git
- git -C libphutil reset --hard """ +
- Bash.string(options.string("phabricator_version_libphutil")) + """
-
git clone --branch stable https://github.com/phacility/phabricator.git
git -C phabricator reset --hard """ +
Bash.string(options.string("phabricator_version_phabricator")) + """
@@ -409,7 +405,7 @@
""",
body =
"""echo -e "\nUpgrading phabricator \"$NAME\" root \"$ROOT\" ..."
-for REPO in libphutil arcanist phabricator
+for REPO in arcanist phabricator
do
cd "$ROOT/$REPO"
echo -e "\nUpdating \"$REPO\" ..."