src/Pure/Admin/build_spass.scala
author wenzelm
Fri, 07 May 2021 23:56:18 +0200
changeset 73906 9ce115baaa4f
parent 73822 4e6b31ed7197
permissions -rw-r--r--
clarified signature;
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
72644
b8cc129ece05 build Isabelle SPASS component from unofficial download;
wenzelm
parents:
diff changeset
     1
/*  Title:      Pure/Admin/build_spass.scala
b8cc129ece05 build Isabelle SPASS component from unofficial download;
wenzelm
parents:
diff changeset
     2
    Author:     Makarius
b8cc129ece05 build Isabelle SPASS component from unofficial download;
wenzelm
parents:
diff changeset
     3
b8cc129ece05 build Isabelle SPASS component from unofficial download;
wenzelm
parents:
diff changeset
     4
Build Isabelle SPASS component from unofficial download.
b8cc129ece05 build Isabelle SPASS component from unofficial download;
wenzelm
parents:
diff changeset
     5
*/
b8cc129ece05 build Isabelle SPASS component from unofficial download;
wenzelm
parents:
diff changeset
     6
b8cc129ece05 build Isabelle SPASS component from unofficial download;
wenzelm
parents:
diff changeset
     7
package isabelle
b8cc129ece05 build Isabelle SPASS component from unofficial download;
wenzelm
parents:
diff changeset
     8
b8cc129ece05 build Isabelle SPASS component from unofficial download;
wenzelm
parents:
diff changeset
     9
b8cc129ece05 build Isabelle SPASS component from unofficial download;
wenzelm
parents:
diff changeset
    10
object Build_SPASS
b8cc129ece05 build Isabelle SPASS component from unofficial download;
wenzelm
parents:
diff changeset
    11
{
b8cc129ece05 build Isabelle SPASS component from unofficial download;
wenzelm
parents:
diff changeset
    12
  /* build SPASS */
b8cc129ece05 build Isabelle SPASS component from unofficial download;
wenzelm
parents:
diff changeset
    13
b8cc129ece05 build Isabelle SPASS component from unofficial download;
wenzelm
parents:
diff changeset
    14
  val default_download_url = "https://www.cs.vu.nl/~jbe248/spass-3.8ds-src.tar.gz"
b8cc129ece05 build Isabelle SPASS component from unofficial download;
wenzelm
parents:
diff changeset
    15
  val standard_version = "3.8ds"
b8cc129ece05 build Isabelle SPASS component from unofficial download;
wenzelm
parents:
diff changeset
    16
b8cc129ece05 build Isabelle SPASS component from unofficial download;
wenzelm
parents:
diff changeset
    17
  def build_spass(
b8cc129ece05 build Isabelle SPASS component from unofficial download;
wenzelm
parents:
diff changeset
    18
    download_url: String = default_download_url,
b8cc129ece05 build Isabelle SPASS component from unofficial download;
wenzelm
parents:
diff changeset
    19
    verbose: Boolean = false,
b8cc129ece05 build Isabelle SPASS component from unofficial download;
wenzelm
parents:
diff changeset
    20
    progress: Progress = new Progress,
73590
0ffcad1f6130 tuned --- fewer warnings;
wenzelm
parents: 73564
diff changeset
    21
    target_dir: Path = Path.current): Unit =
72644
b8cc129ece05 build Isabelle SPASS component from unofficial download;
wenzelm
parents:
diff changeset
    22
  {
b8cc129ece05 build Isabelle SPASS component from unofficial download;
wenzelm
parents:
diff changeset
    23
    Isabelle_System.with_tmp_dir("build")(tmp_dir =>
b8cc129ece05 build Isabelle SPASS component from unofficial download;
wenzelm
parents:
diff changeset
    24
    {
73906
9ce115baaa4f clarified signature;
wenzelm
parents: 73822
diff changeset
    25
      Isabelle_System.require_command("bison")
9ce115baaa4f clarified signature;
wenzelm
parents: 73822
diff changeset
    26
      Isabelle_System.require_command("flex")
72644
b8cc129ece05 build Isabelle SPASS component from unofficial download;
wenzelm
parents:
diff changeset
    27
b8cc129ece05 build Isabelle SPASS component from unofficial download;
wenzelm
parents:
diff changeset
    28
b8cc129ece05 build Isabelle SPASS component from unofficial download;
wenzelm
parents:
diff changeset
    29
      /* component */
b8cc129ece05 build Isabelle SPASS component from unofficial download;
wenzelm
parents:
diff changeset
    30
b8cc129ece05 build Isabelle SPASS component from unofficial download;
wenzelm
parents:
diff changeset
    31
      val Archive_Name = """^.*?([^/]+)$""".r
b8cc129ece05 build Isabelle SPASS component from unofficial download;
wenzelm
parents:
diff changeset
    32
      val Component_Name = """^(.+)-src\.tar.gz$""".r
b8cc129ece05 build Isabelle SPASS component from unofficial download;
wenzelm
parents:
diff changeset
    33
      val Version = """^[^-]+-([^-]+)$""".r
b8cc129ece05 build Isabelle SPASS component from unofficial download;
wenzelm
parents:
diff changeset
    34
b8cc129ece05 build Isabelle SPASS component from unofficial download;
wenzelm
parents:
diff changeset
    35
      val (archive_name, archive_base_name) =
b8cc129ece05 build Isabelle SPASS component from unofficial download;
wenzelm
parents:
diff changeset
    36
        download_url match {
b8cc129ece05 build Isabelle SPASS component from unofficial download;
wenzelm
parents:
diff changeset
    37
          case Archive_Name(name) => (name, Library.perhaps_unsuffix(".tar.gz", name))
b8cc129ece05 build Isabelle SPASS component from unofficial download;
wenzelm
parents:
diff changeset
    38
          case _ => error("Failed to determine source archive name from " + quote(download_url))
b8cc129ece05 build Isabelle SPASS component from unofficial download;
wenzelm
parents:
diff changeset
    39
        }
b8cc129ece05 build Isabelle SPASS component from unofficial download;
wenzelm
parents:
diff changeset
    40
b8cc129ece05 build Isabelle SPASS component from unofficial download;
wenzelm
parents:
diff changeset
    41
      val component_name =
b8cc129ece05 build Isabelle SPASS component from unofficial download;
wenzelm
parents:
diff changeset
    42
        archive_name match {
b8cc129ece05 build Isabelle SPASS component from unofficial download;
wenzelm
parents:
diff changeset
    43
          case Component_Name(name) => name
b8cc129ece05 build Isabelle SPASS component from unofficial download;
wenzelm
parents:
diff changeset
    44
          case _ => error("Failed to determine component name from " + quote(archive_name))
b8cc129ece05 build Isabelle SPASS component from unofficial download;
wenzelm
parents:
diff changeset
    45
        }
b8cc129ece05 build Isabelle SPASS component from unofficial download;
wenzelm
parents:
diff changeset
    46
b8cc129ece05 build Isabelle SPASS component from unofficial download;
wenzelm
parents:
diff changeset
    47
      val version =
b8cc129ece05 build Isabelle SPASS component from unofficial download;
wenzelm
parents:
diff changeset
    48
        component_name match {
b8cc129ece05 build Isabelle SPASS component from unofficial download;
wenzelm
parents:
diff changeset
    49
          case Version(version) => version
b8cc129ece05 build Isabelle SPASS component from unofficial download;
wenzelm
parents:
diff changeset
    50
          case _ => error("Failed to determine component version from " + quote(component_name))
b8cc129ece05 build Isabelle SPASS component from unofficial download;
wenzelm
parents:
diff changeset
    51
        }
b8cc129ece05 build Isabelle SPASS component from unofficial download;
wenzelm
parents:
diff changeset
    52
b8cc129ece05 build Isabelle SPASS component from unofficial download;
wenzelm
parents:
diff changeset
    53
      if (version != standard_version) {
b8cc129ece05 build Isabelle SPASS component from unofficial download;
wenzelm
parents:
diff changeset
    54
        progress.echo_warning("Odd SPASS version " + version + " (expected " + standard_version + ")")
b8cc129ece05 build Isabelle SPASS component from unofficial download;
wenzelm
parents:
diff changeset
    55
      }
b8cc129ece05 build Isabelle SPASS component from unofficial download;
wenzelm
parents:
diff changeset
    56
b8cc129ece05 build Isabelle SPASS component from unofficial download;
wenzelm
parents:
diff changeset
    57
      val component_dir = Isabelle_System.new_directory(target_dir + Path.basic(component_name))
b8cc129ece05 build Isabelle SPASS component from unofficial download;
wenzelm
parents:
diff changeset
    58
      progress.echo("Component " + component_dir)
b8cc129ece05 build Isabelle SPASS component from unofficial download;
wenzelm
parents:
diff changeset
    59
b8cc129ece05 build Isabelle SPASS component from unofficial download;
wenzelm
parents:
diff changeset
    60
      val platform_name =
b8cc129ece05 build Isabelle SPASS component from unofficial download;
wenzelm
parents:
diff changeset
    61
        proper_string(Isabelle_System.getenv("ISABELLE_PLATFORM64"))
b8cc129ece05 build Isabelle SPASS component from unofficial download;
wenzelm
parents:
diff changeset
    62
          .getOrElse(error("No 64bit platform"))
b8cc129ece05 build Isabelle SPASS component from unofficial download;
wenzelm
parents:
diff changeset
    63
b8cc129ece05 build Isabelle SPASS component from unofficial download;
wenzelm
parents:
diff changeset
    64
      val platform_dir = Isabelle_System.make_directory(component_dir + Path.basic(platform_name))
b8cc129ece05 build Isabelle SPASS component from unofficial download;
wenzelm
parents:
diff changeset
    65
b8cc129ece05 build Isabelle SPASS component from unofficial download;
wenzelm
parents:
diff changeset
    66
b8cc129ece05 build Isabelle SPASS component from unofficial download;
wenzelm
parents:
diff changeset
    67
      /* download source */
b8cc129ece05 build Isabelle SPASS component from unofficial download;
wenzelm
parents:
diff changeset
    68
b8cc129ece05 build Isabelle SPASS component from unofficial download;
wenzelm
parents:
diff changeset
    69
      val archive_path = tmp_dir + Path.basic(archive_name)
73822
4e6b31ed7197 clarified signature: avoid tmp file;
wenzelm
parents: 73590
diff changeset
    70
      Isabelle_System.download_file(download_url, archive_path, progress = progress)
72644
b8cc129ece05 build Isabelle SPASS component from unofficial download;
wenzelm
parents:
diff changeset
    71
b8cc129ece05 build Isabelle SPASS component from unofficial download;
wenzelm
parents:
diff changeset
    72
      Isabelle_System.bash("tar xzf " + archive_path, cwd = tmp_dir.file).check
b8cc129ece05 build Isabelle SPASS component from unofficial download;
wenzelm
parents:
diff changeset
    73
      Isabelle_System.bash(
b8cc129ece05 build Isabelle SPASS component from unofficial download;
wenzelm
parents:
diff changeset
    74
        "tar xzf " + archive_path + " && mv " + Bash.string(archive_base_name) + " src",
b8cc129ece05 build Isabelle SPASS component from unofficial download;
wenzelm
parents:
diff changeset
    75
        cwd = component_dir.file).check
b8cc129ece05 build Isabelle SPASS component from unofficial download;
wenzelm
parents:
diff changeset
    76
b8cc129ece05 build Isabelle SPASS component from unofficial download;
wenzelm
parents:
diff changeset
    77
b8cc129ece05 build Isabelle SPASS component from unofficial download;
wenzelm
parents:
diff changeset
    78
      /* build */
b8cc129ece05 build Isabelle SPASS component from unofficial download;
wenzelm
parents:
diff changeset
    79
72673
d0ba71b3297e tuned messages;
wenzelm
parents: 72645
diff changeset
    80
      progress.echo("Building SPASS for " + platform_name + " ...")
72644
b8cc129ece05 build Isabelle SPASS component from unofficial download;
wenzelm
parents:
diff changeset
    81
b8cc129ece05 build Isabelle SPASS component from unofficial download;
wenzelm
parents:
diff changeset
    82
      val build_dir = tmp_dir + Path.basic(archive_base_name)
72645
9ed9585c495b proper support for Windows/Cygwin;
wenzelm
parents: 72644
diff changeset
    83
9ed9585c495b proper support for Windows/Cygwin;
wenzelm
parents: 72644
diff changeset
    84
      if (Platform.is_windows) {
9ed9585c495b proper support for Windows/Cygwin;
wenzelm
parents: 72644
diff changeset
    85
        File.change(build_dir + Path.basic("misc.c"),
9ed9585c495b proper support for Windows/Cygwin;
wenzelm
parents: 72644
diff changeset
    86
          _.replace("""#include "execinfo.h" """, "")
9ed9585c495b proper support for Windows/Cygwin;
wenzelm
parents: 72644
diff changeset
    87
           .replaceAll("""void misc_DumpCore\(void\)[^}]+}""", "void misc_DumpCore(void) { abort(); }"))
9ed9585c495b proper support for Windows/Cygwin;
wenzelm
parents: 72644
diff changeset
    88
      }
9ed9585c495b proper support for Windows/Cygwin;
wenzelm
parents: 72644
diff changeset
    89
72644
b8cc129ece05 build Isabelle SPASS component from unofficial download;
wenzelm
parents:
diff changeset
    90
      Isabelle_System.bash("make",
b8cc129ece05 build Isabelle SPASS component from unofficial download;
wenzelm
parents:
diff changeset
    91
        cwd = build_dir.file,
b8cc129ece05 build Isabelle SPASS component from unofficial download;
wenzelm
parents:
diff changeset
    92
        progress_stdout = progress.echo_if(verbose, _),
b8cc129ece05 build Isabelle SPASS component from unofficial download;
wenzelm
parents:
diff changeset
    93
        progress_stderr = progress.echo_if(verbose, _)).check
b8cc129ece05 build Isabelle SPASS component from unofficial download;
wenzelm
parents:
diff changeset
    94
b8cc129ece05 build Isabelle SPASS component from unofficial download;
wenzelm
parents:
diff changeset
    95
b8cc129ece05 build Isabelle SPASS component from unofficial download;
wenzelm
parents:
diff changeset
    96
      /* install */
b8cc129ece05 build Isabelle SPASS component from unofficial download;
wenzelm
parents:
diff changeset
    97
73564
df49ca5da9d0 clarified modules: more like ML;
wenzelm
parents: 73000
diff changeset
    98
      Isabelle_System.copy_file(build_dir + Path.basic("LICENCE"),
df49ca5da9d0 clarified modules: more like ML;
wenzelm
parents: 73000
diff changeset
    99
        component_dir + Path.basic("LICENSE"))
72644
b8cc129ece05 build Isabelle SPASS component from unofficial download;
wenzelm
parents:
diff changeset
   100
b8cc129ece05 build Isabelle SPASS component from unofficial download;
wenzelm
parents:
diff changeset
   101
      val install_files = List("SPASS")
b8cc129ece05 build Isabelle SPASS component from unofficial download;
wenzelm
parents:
diff changeset
   102
      for (name <- install_files ::: install_files.map(_ + ".exe")) {
b8cc129ece05 build Isabelle SPASS component from unofficial download;
wenzelm
parents:
diff changeset
   103
        val path = build_dir + Path.basic(name)
73564
df49ca5da9d0 clarified modules: more like ML;
wenzelm
parents: 73000
diff changeset
   104
        if (path.is_file) Isabelle_System.copy_file(path, platform_dir)
72644
b8cc129ece05 build Isabelle SPASS component from unofficial download;
wenzelm
parents:
diff changeset
   105
      }
b8cc129ece05 build Isabelle SPASS component from unofficial download;
wenzelm
parents:
diff changeset
   106
b8cc129ece05 build Isabelle SPASS component from unofficial download;
wenzelm
parents:
diff changeset
   107
b8cc129ece05 build Isabelle SPASS component from unofficial download;
wenzelm
parents:
diff changeset
   108
      /* settings */
b8cc129ece05 build Isabelle SPASS component from unofficial download;
wenzelm
parents:
diff changeset
   109
b8cc129ece05 build Isabelle SPASS component from unofficial download;
wenzelm
parents:
diff changeset
   110
      val etc_dir = Isabelle_System.make_directory(component_dir + Path.basic("etc"))
b8cc129ece05 build Isabelle SPASS component from unofficial download;
wenzelm
parents:
diff changeset
   111
      File.write(etc_dir + Path.basic("settings"),
b8cc129ece05 build Isabelle SPASS component from unofficial download;
wenzelm
parents:
diff changeset
   112
        """# -*- shell-script -*- :mode=shellscript:
b8cc129ece05 build Isabelle SPASS component from unofficial download;
wenzelm
parents:
diff changeset
   113
b8cc129ece05 build Isabelle SPASS component from unofficial download;
wenzelm
parents:
diff changeset
   114
SPASS_HOME="$COMPONENT/$ISABELLE_PLATFORM64"
b8cc129ece05 build Isabelle SPASS component from unofficial download;
wenzelm
parents:
diff changeset
   115
SPASS_VERSION=""" + quote(version) + """
b8cc129ece05 build Isabelle SPASS component from unofficial download;
wenzelm
parents:
diff changeset
   116
""")
b8cc129ece05 build Isabelle SPASS component from unofficial download;
wenzelm
parents:
diff changeset
   117
b8cc129ece05 build Isabelle SPASS component from unofficial download;
wenzelm
parents:
diff changeset
   118
      /* README */
b8cc129ece05 build Isabelle SPASS component from unofficial download;
wenzelm
parents:
diff changeset
   119
b8cc129ece05 build Isabelle SPASS component from unofficial download;
wenzelm
parents:
diff changeset
   120
      File.write(component_dir + Path.basic("README"),
b8cc129ece05 build Isabelle SPASS component from unofficial download;
wenzelm
parents:
diff changeset
   121
"""This distribution of SPASS 3.8ds, described in Blanchette, Popescu, Wand, and
b8cc129ece05 build Isabelle SPASS component from unofficial download;
wenzelm
parents:
diff changeset
   122
Weidenbach's ITP 2012 paper "More SPASS with Isabelle", has been compiled from
b8cc129ece05 build Isabelle SPASS component from unofficial download;
wenzelm
parents:
diff changeset
   123
sources available at """ + download_url + """
b8cc129ece05 build Isabelle SPASS component from unofficial download;
wenzelm
parents:
diff changeset
   124
via "make".
b8cc129ece05 build Isabelle SPASS component from unofficial download;
wenzelm
parents:
diff changeset
   125
b8cc129ece05 build Isabelle SPASS component from unofficial download;
wenzelm
parents:
diff changeset
   126
The Windows/Cygwin compilation required commenting out the line
b8cc129ece05 build Isabelle SPASS component from unofficial download;
wenzelm
parents:
diff changeset
   127
b8cc129ece05 build Isabelle SPASS component from unofficial download;
wenzelm
parents:
diff changeset
   128
    #include "execinfo.h"
b8cc129ece05 build Isabelle SPASS component from unofficial download;
wenzelm
parents:
diff changeset
   129
b8cc129ece05 build Isabelle SPASS component from unofficial download;
wenzelm
parents:
diff changeset
   130
in "misc.c" as well as most of the body of the "misc_DumpCore" function.
b8cc129ece05 build Isabelle SPASS component from unofficial download;
wenzelm
parents:
diff changeset
   131
b8cc129ece05 build Isabelle SPASS component from unofficial download;
wenzelm
parents:
diff changeset
   132
The latest official SPASS sources can be downloaded from
b8cc129ece05 build Isabelle SPASS component from unofficial download;
wenzelm
parents:
diff changeset
   133
http://www.spass-prover.org/. Be aware, however, that the official SPASS
b8cc129ece05 build Isabelle SPASS component from unofficial download;
wenzelm
parents:
diff changeset
   134
releases are not compatible with Isabelle.
b8cc129ece05 build Isabelle SPASS component from unofficial download;
wenzelm
parents:
diff changeset
   135
b8cc129ece05 build Isabelle SPASS component from unofficial download;
wenzelm
parents:
diff changeset
   136
b8cc129ece05 build Isabelle SPASS component from unofficial download;
wenzelm
parents:
diff changeset
   137
Viel SPASS!
b8cc129ece05 build Isabelle SPASS component from unofficial download;
wenzelm
parents:
diff changeset
   138
b8cc129ece05 build Isabelle SPASS component from unofficial download;
wenzelm
parents:
diff changeset
   139
72678
2d9a70b85009 tuned whitespace;
wenzelm
parents: 72673
diff changeset
   140
        Jasmin Blanchette
2d9a70b85009 tuned whitespace;
wenzelm
parents: 72673
diff changeset
   141
        16-May-2018
72644
b8cc129ece05 build Isabelle SPASS component from unofficial download;
wenzelm
parents:
diff changeset
   142
72678
2d9a70b85009 tuned whitespace;
wenzelm
parents: 72673
diff changeset
   143
        Makarius
2d9a70b85009 tuned whitespace;
wenzelm
parents: 72673
diff changeset
   144
        """ + Date.Format.date(Date.now()) + "\n")
72644
b8cc129ece05 build Isabelle SPASS component from unofficial download;
wenzelm
parents:
diff changeset
   145
    })
b8cc129ece05 build Isabelle SPASS component from unofficial download;
wenzelm
parents:
diff changeset
   146
}
b8cc129ece05 build Isabelle SPASS component from unofficial download;
wenzelm
parents:
diff changeset
   147
b8cc129ece05 build Isabelle SPASS component from unofficial download;
wenzelm
parents:
diff changeset
   148
  /* Isabelle tool wrapper */
b8cc129ece05 build Isabelle SPASS component from unofficial download;
wenzelm
parents:
diff changeset
   149
b8cc129ece05 build Isabelle SPASS component from unofficial download;
wenzelm
parents:
diff changeset
   150
  val isabelle_tool =
b8cc129ece05 build Isabelle SPASS component from unofficial download;
wenzelm
parents:
diff changeset
   151
    Isabelle_Tool("build_spass", "build prover component from source distribution",
73000
3cc73d00553c added document antiquotation @{tool};
wenzelm
parents: 72687
diff changeset
   152
      Scala_Project.here, args =>
72644
b8cc129ece05 build Isabelle SPASS component from unofficial download;
wenzelm
parents:
diff changeset
   153
    {
b8cc129ece05 build Isabelle SPASS component from unofficial download;
wenzelm
parents:
diff changeset
   154
      var target_dir = Path.current
b8cc129ece05 build Isabelle SPASS component from unofficial download;
wenzelm
parents:
diff changeset
   155
      var download_url = default_download_url
b8cc129ece05 build Isabelle SPASS component from unofficial download;
wenzelm
parents:
diff changeset
   156
      var verbose = false
b8cc129ece05 build Isabelle SPASS component from unofficial download;
wenzelm
parents:
diff changeset
   157
b8cc129ece05 build Isabelle SPASS component from unofficial download;
wenzelm
parents:
diff changeset
   158
      val getopts = Getopts("""
b8cc129ece05 build Isabelle SPASS component from unofficial download;
wenzelm
parents:
diff changeset
   159
Usage: isabelle build_spass [OPTIONS]
b8cc129ece05 build Isabelle SPASS component from unofficial download;
wenzelm
parents:
diff changeset
   160
b8cc129ece05 build Isabelle SPASS component from unofficial download;
wenzelm
parents:
diff changeset
   161
  Options are:
b8cc129ece05 build Isabelle SPASS component from unofficial download;
wenzelm
parents:
diff changeset
   162
    -D DIR       target directory (default ".")
b8cc129ece05 build Isabelle SPASS component from unofficial download;
wenzelm
parents:
diff changeset
   163
    -U URL       download URL
b8cc129ece05 build Isabelle SPASS component from unofficial download;
wenzelm
parents:
diff changeset
   164
                 (default: """" + default_download_url + """")
b8cc129ece05 build Isabelle SPASS component from unofficial download;
wenzelm
parents:
diff changeset
   165
    -v           verbose
b8cc129ece05 build Isabelle SPASS component from unofficial download;
wenzelm
parents:
diff changeset
   166
b8cc129ece05 build Isabelle SPASS component from unofficial download;
wenzelm
parents:
diff changeset
   167
  Build prover component from the specified source distribution.
b8cc129ece05 build Isabelle SPASS component from unofficial download;
wenzelm
parents:
diff changeset
   168
""",
b8cc129ece05 build Isabelle SPASS component from unofficial download;
wenzelm
parents:
diff changeset
   169
        "D:" -> (arg => target_dir = Path.explode(arg)),
b8cc129ece05 build Isabelle SPASS component from unofficial download;
wenzelm
parents:
diff changeset
   170
        "U:" -> (arg => download_url = arg),
b8cc129ece05 build Isabelle SPASS component from unofficial download;
wenzelm
parents:
diff changeset
   171
        "v" -> (_ => verbose = true))
b8cc129ece05 build Isabelle SPASS component from unofficial download;
wenzelm
parents:
diff changeset
   172
b8cc129ece05 build Isabelle SPASS component from unofficial download;
wenzelm
parents:
diff changeset
   173
      val more_args = getopts(args)
b8cc129ece05 build Isabelle SPASS component from unofficial download;
wenzelm
parents:
diff changeset
   174
      if (more_args.nonEmpty) getopts.usage()
b8cc129ece05 build Isabelle SPASS component from unofficial download;
wenzelm
parents:
diff changeset
   175
b8cc129ece05 build Isabelle SPASS component from unofficial download;
wenzelm
parents:
diff changeset
   176
      val progress = new Console_Progress()
b8cc129ece05 build Isabelle SPASS component from unofficial download;
wenzelm
parents:
diff changeset
   177
b8cc129ece05 build Isabelle SPASS component from unofficial download;
wenzelm
parents:
diff changeset
   178
      build_spass(download_url = download_url, verbose = verbose, progress = progress,
b8cc129ece05 build Isabelle SPASS component from unofficial download;
wenzelm
parents:
diff changeset
   179
        target_dir = target_dir)
b8cc129ece05 build Isabelle SPASS component from unofficial download;
wenzelm
parents:
diff changeset
   180
    })
b8cc129ece05 build Isabelle SPASS component from unofficial download;
wenzelm
parents:
diff changeset
   181
}