--- a/src/Pure/Tools/phabricator.scala Sat Nov 28 20:18:29 2020 +0100
+++ b/src/Pure/Tools/phabricator.scala Sat Nov 28 21:56:24 2020 +0100
@@ -146,7 +146,8 @@
/* Isabelle tool wrapper */
val isabelle_tool1 =
- Isabelle_Tool("phabricator", "invoke command-line tool within Phabricator home directory", args =>
+ Isabelle_Tool("phabricator", "invoke command-line tool within Phabricator home directory",
+ Scala_Project.here, args =>
{
var list = false
var name = default_name
@@ -535,7 +536,8 @@
/* Isabelle tool wrapper */
val isabelle_tool2 =
- Isabelle_Tool("phabricator_setup", "setup Phabricator server on Ubuntu Linux", args =>
+ Isabelle_Tool("phabricator_setup", "setup Phabricator server on Ubuntu Linux",
+ Scala_Project.here, args =>
{
var mercurial_source = ""
var repo = ""
@@ -642,8 +644,8 @@
/* Isabelle tool wrapper */
val isabelle_tool3 =
- Isabelle_Tool("phabricator_setup_mail",
- "setup mail for one Phabricator installation", args =>
+ Isabelle_Tool("phabricator_setup_mail", "setup mail for one Phabricator installation",
+ Scala_Project.here, args =>
{
var test_user = ""
var name = default_name
@@ -805,8 +807,8 @@
/* Isabelle tool wrapper */
val isabelle_tool4 =
- Isabelle_Tool("phabricator_setup_ssh",
- "setup ssh service for all Phabricator installations", args =>
+ Isabelle_Tool("phabricator_setup_ssh", "setup ssh service for all Phabricator installations",
+ Scala_Project.here, args =>
{
var server_port = default_server_port
var system_port = default_system_port