src/Pure/Admin/build_csdp.scala
author wenzelm
Sun, 11 Oct 2020 12:48:48 +0200
changeset 72438 90c6e9a83c1e
parent 72437 efc5ae4b4ac8
child 72440 d0ba71b3297e
permissions -rw-r--r--
tuned;
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
72414
af24c0dd6975 build Isabelle CSDP component from official downloads;
wenzelm
parents:
diff changeset
     1
/*  Title:      Pure/Admin/build_csdp.scala
af24c0dd6975 build Isabelle CSDP component from official downloads;
wenzelm
parents:
diff changeset
     2
    Author:     Makarius
af24c0dd6975 build Isabelle CSDP component from official downloads;
wenzelm
parents:
diff changeset
     3
72437
efc5ae4b4ac8 tuned messages;
wenzelm
parents: 72431
diff changeset
     4
Build Isabelle CSDP component from official download.
72414
af24c0dd6975 build Isabelle CSDP component from official downloads;
wenzelm
parents:
diff changeset
     5
*/
af24c0dd6975 build Isabelle CSDP component from official downloads;
wenzelm
parents:
diff changeset
     6
af24c0dd6975 build Isabelle CSDP component from official downloads;
wenzelm
parents:
diff changeset
     7
package isabelle
af24c0dd6975 build Isabelle CSDP component from official downloads;
wenzelm
parents:
diff changeset
     8
af24c0dd6975 build Isabelle CSDP component from official downloads;
wenzelm
parents:
diff changeset
     9
af24c0dd6975 build Isabelle CSDP component from official downloads;
wenzelm
parents:
diff changeset
    10
object Build_CSDP
af24c0dd6975 build Isabelle CSDP component from official downloads;
wenzelm
parents:
diff changeset
    11
{
72417
992822a11039 more standard build from sources;
wenzelm
parents: 72414
diff changeset
    12
  // Note: version 6.2.0 does not quite work for the "sos" proof method
992822a11039 more standard build from sources;
wenzelm
parents: 72414
diff changeset
    13
  val default_download_url = "https://github.com/coin-or/Csdp/archive/releases/6.1.1.tar.gz"
72414
af24c0dd6975 build Isabelle CSDP component from official downloads;
wenzelm
parents:
diff changeset
    14
af24c0dd6975 build Isabelle CSDP component from official downloads;
wenzelm
parents:
diff changeset
    15
72417
992822a11039 more standard build from sources;
wenzelm
parents: 72414
diff changeset
    16
  /* flags */
72414
af24c0dd6975 build Isabelle CSDP component from official downloads;
wenzelm
parents:
diff changeset
    17
af24c0dd6975 build Isabelle CSDP component from official downloads;
wenzelm
parents:
diff changeset
    18
  sealed case class Flags(platform: String, CFLAGS: String = "", LIBS: String = "")
af24c0dd6975 build Isabelle CSDP component from official downloads;
wenzelm
parents:
diff changeset
    19
  {
72417
992822a11039 more standard build from sources;
wenzelm
parents: 72414
diff changeset
    20
    val changed: List[(String, String)] =
992822a11039 more standard build from sources;
wenzelm
parents: 72414
diff changeset
    21
      List("CFLAGS" -> CFLAGS, "LIBS" -> LIBS).filter(p => p._2.nonEmpty)
992822a11039 more standard build from sources;
wenzelm
parents: 72414
diff changeset
    22
72438
wenzelm
parents: 72437
diff changeset
    23
    def print: Option[String] =
wenzelm
parents: 72437
diff changeset
    24
      if (changed.isEmpty) None
wenzelm
parents: 72437
diff changeset
    25
      else
wenzelm
parents: 72437
diff changeset
    26
        Some("  * " + platform + ":\n" + changed.map(p => "    " + p._1 + "=" + p._2)
wenzelm
parents: 72437
diff changeset
    27
          .mkString("\n"))
72414
af24c0dd6975 build Isabelle CSDP component from official downloads;
wenzelm
parents:
diff changeset
    28
af24c0dd6975 build Isabelle CSDP component from official downloads;
wenzelm
parents:
diff changeset
    29
    def change(path: Path)
af24c0dd6975 build Isabelle CSDP component from official downloads;
wenzelm
parents:
diff changeset
    30
    {
72417
992822a11039 more standard build from sources;
wenzelm
parents: 72414
diff changeset
    31
      def change_line(line: String, entry: (String, String)): String =
992822a11039 more standard build from sources;
wenzelm
parents: 72414
diff changeset
    32
        line.replaceAll(entry._1 + "=.*", entry._1 + "=" + entry._2)
72414
af24c0dd6975 build Isabelle CSDP component from official downloads;
wenzelm
parents:
diff changeset
    33
      File.change(path, s =>
72417
992822a11039 more standard build from sources;
wenzelm
parents: 72414
diff changeset
    34
        split_lines(s).map(line => (line /: changed)(change_line)).mkString("\n"))
72414
af24c0dd6975 build Isabelle CSDP component from official downloads;
wenzelm
parents:
diff changeset
    35
    }
af24c0dd6975 build Isabelle CSDP component from official downloads;
wenzelm
parents:
diff changeset
    36
  }
af24c0dd6975 build Isabelle CSDP component from official downloads;
wenzelm
parents:
diff changeset
    37
af24c0dd6975 build Isabelle CSDP component from official downloads;
wenzelm
parents:
diff changeset
    38
  val build_flags: List[Flags] =
af24c0dd6975 build Isabelle CSDP component from official downloads;
wenzelm
parents:
diff changeset
    39
    List(
af24c0dd6975 build Isabelle CSDP component from official downloads;
wenzelm
parents:
diff changeset
    40
      Flags("arm64-linux",
72417
992822a11039 more standard build from sources;
wenzelm
parents: 72414
diff changeset
    41
        CFLAGS = "-O3 -ansi -Wall -DNOSHORTS -DBIT64 -DUSESIGTERM -DUSEGETTIME -I../include",
72414
af24c0dd6975 build Isabelle CSDP component from official downloads;
wenzelm
parents:
diff changeset
    42
        LIBS = "-static -L../lib -lsdp -llapack -lblas -lgfortran -lm"),
72417
992822a11039 more standard build from sources;
wenzelm
parents: 72414
diff changeset
    43
      Flags("x86_64-linux",
992822a11039 more standard build from sources;
wenzelm
parents: 72414
diff changeset
    44
        CFLAGS = "-O3 -ansi -Wall -DNOSHORTS -DBIT64 -DUSESIGTERM -DUSEGETTIME -I../include",
72414
af24c0dd6975 build Isabelle CSDP component from official downloads;
wenzelm
parents:
diff changeset
    45
        LIBS = "-static -L../lib -lsdp -llapack -lblas -lgfortran -lquadmath -lm"),
af24c0dd6975 build Isabelle CSDP component from official downloads;
wenzelm
parents:
diff changeset
    46
      Flags("x86_64-darwin",
72417
992822a11039 more standard build from sources;
wenzelm
parents: 72414
diff changeset
    47
        CFLAGS = "-O3 -Wall -DNOSHORTS -DBIT64 -DUSESIGTERM -DUSEGETTIME -I../include",
992822a11039 more standard build from sources;
wenzelm
parents: 72414
diff changeset
    48
        LIBS = "-L../lib -lsdp -llapack -lblas -lm"),
992822a11039 more standard build from sources;
wenzelm
parents: 72414
diff changeset
    49
      Flags("x86_64-windows"))
992822a11039 more standard build from sources;
wenzelm
parents: 72414
diff changeset
    50
992822a11039 more standard build from sources;
wenzelm
parents: 72414
diff changeset
    51
992822a11039 more standard build from sources;
wenzelm
parents: 72414
diff changeset
    52
  /* build CSDP */
72414
af24c0dd6975 build Isabelle CSDP component from official downloads;
wenzelm
parents:
diff changeset
    53
af24c0dd6975 build Isabelle CSDP component from official downloads;
wenzelm
parents:
diff changeset
    54
  def build_csdp(
72417
992822a11039 more standard build from sources;
wenzelm
parents: 72414
diff changeset
    55
    download_url: String = default_download_url,
72414
af24c0dd6975 build Isabelle CSDP component from official downloads;
wenzelm
parents:
diff changeset
    56
    verbose: Boolean = false,
af24c0dd6975 build Isabelle CSDP component from official downloads;
wenzelm
parents:
diff changeset
    57
    progress: Progress = new Progress,
72418
4ed247fadbc4 proper support for x86_64-windows via msys/mingw64;
wenzelm
parents: 72417
diff changeset
    58
    target_dir: Path = Path.current,
72424
10c07d224035 tuned signature;
wenzelm
parents: 72423
diff changeset
    59
    mingw: MinGW = MinGW.none)
72414
af24c0dd6975 build Isabelle CSDP component from official downloads;
wenzelm
parents:
diff changeset
    60
  {
72424
10c07d224035 tuned signature;
wenzelm
parents: 72423
diff changeset
    61
    mingw.check
72423
f8aa2efce869 more explicit MinGW context;
wenzelm
parents: 72418
diff changeset
    62
72414
af24c0dd6975 build Isabelle CSDP component from official downloads;
wenzelm
parents:
diff changeset
    63
    Isabelle_System.with_tmp_dir("build")(tmp_dir =>
af24c0dd6975 build Isabelle CSDP component from official downloads;
wenzelm
parents:
diff changeset
    64
    {
72417
992822a11039 more standard build from sources;
wenzelm
parents: 72414
diff changeset
    65
      /* component */
992822a11039 more standard build from sources;
wenzelm
parents: 72414
diff changeset
    66
992822a11039 more standard build from sources;
wenzelm
parents: 72414
diff changeset
    67
      val Archive_Name = """^.*?([^/]+)$""".r
992822a11039 more standard build from sources;
wenzelm
parents: 72414
diff changeset
    68
      val Version = """^[^0-9]*([0-9].*)\.tar.gz$""".r
992822a11039 more standard build from sources;
wenzelm
parents: 72414
diff changeset
    69
992822a11039 more standard build from sources;
wenzelm
parents: 72414
diff changeset
    70
      val archive_name =
992822a11039 more standard build from sources;
wenzelm
parents: 72414
diff changeset
    71
        download_url match {
992822a11039 more standard build from sources;
wenzelm
parents: 72414
diff changeset
    72
          case Archive_Name(name) => name
992822a11039 more standard build from sources;
wenzelm
parents: 72414
diff changeset
    73
          case _ => error("Failed to determine source archive name from " + quote(download_url))
992822a11039 more standard build from sources;
wenzelm
parents: 72414
diff changeset
    74
        }
992822a11039 more standard build from sources;
wenzelm
parents: 72414
diff changeset
    75
992822a11039 more standard build from sources;
wenzelm
parents: 72414
diff changeset
    76
      val version =
992822a11039 more standard build from sources;
wenzelm
parents: 72414
diff changeset
    77
        archive_name match {
992822a11039 more standard build from sources;
wenzelm
parents: 72414
diff changeset
    78
          case Version(version) => version
992822a11039 more standard build from sources;
wenzelm
parents: 72414
diff changeset
    79
          case _ => error("Failed to determine component version from " + quote(archive_name))
992822a11039 more standard build from sources;
wenzelm
parents: 72414
diff changeset
    80
        }
992822a11039 more standard build from sources;
wenzelm
parents: 72414
diff changeset
    81
992822a11039 more standard build from sources;
wenzelm
parents: 72414
diff changeset
    82
      val component_name = "csdp-" + version
72414
af24c0dd6975 build Isabelle CSDP component from official downloads;
wenzelm
parents:
diff changeset
    83
      val component_dir = Isabelle_System.new_directory(target_dir + Path.basic(component_name))
af24c0dd6975 build Isabelle CSDP component from official downloads;
wenzelm
parents:
diff changeset
    84
      progress.echo("Component " + component_dir)
af24c0dd6975 build Isabelle CSDP component from official downloads;
wenzelm
parents:
diff changeset
    85
af24c0dd6975 build Isabelle CSDP component from official downloads;
wenzelm
parents:
diff changeset
    86
af24c0dd6975 build Isabelle CSDP component from official downloads;
wenzelm
parents:
diff changeset
    87
      /* platform */
af24c0dd6975 build Isabelle CSDP component from official downloads;
wenzelm
parents:
diff changeset
    88
72417
992822a11039 more standard build from sources;
wenzelm
parents: 72414
diff changeset
    89
      val platform_name =
992822a11039 more standard build from sources;
wenzelm
parents: 72414
diff changeset
    90
        proper_string(Isabelle_System.getenv("ISABELLE_WINDOWS_PLATFORM64")) orElse
992822a11039 more standard build from sources;
wenzelm
parents: 72414
diff changeset
    91
        proper_string(Isabelle_System.getenv("ISABELLE_PLATFORM64")) getOrElse
992822a11039 more standard build from sources;
wenzelm
parents: 72414
diff changeset
    92
        error("No 64bit platform")
72414
af24c0dd6975 build Isabelle CSDP component from official downloads;
wenzelm
parents:
diff changeset
    93
af24c0dd6975 build Isabelle CSDP component from official downloads;
wenzelm
parents:
diff changeset
    94
      val platform_dir = Isabelle_System.make_directory(component_dir + Path.basic(platform_name))
af24c0dd6975 build Isabelle CSDP component from official downloads;
wenzelm
parents:
diff changeset
    95
af24c0dd6975 build Isabelle CSDP component from official downloads;
wenzelm
parents:
diff changeset
    96
72417
992822a11039 more standard build from sources;
wenzelm
parents: 72414
diff changeset
    97
      /* download source */
72414
af24c0dd6975 build Isabelle CSDP component from official downloads;
wenzelm
parents:
diff changeset
    98
72417
992822a11039 more standard build from sources;
wenzelm
parents: 72414
diff changeset
    99
      val archive_path = tmp_dir + Path.basic(archive_name)
992822a11039 more standard build from sources;
wenzelm
parents: 72414
diff changeset
   100
      Isabelle_System.download(download_url, archive_path, progress = progress)
992822a11039 more standard build from sources;
wenzelm
parents: 72414
diff changeset
   101
992822a11039 more standard build from sources;
wenzelm
parents: 72414
diff changeset
   102
      Isabelle_System.bash("tar xzf " + File.bash_path(archive_path), cwd = tmp_dir.file).check
72414
af24c0dd6975 build Isabelle CSDP component from official downloads;
wenzelm
parents:
diff changeset
   103
af24c0dd6975 build Isabelle CSDP component from official downloads;
wenzelm
parents:
diff changeset
   104
      val source_name =
72417
992822a11039 more standard build from sources;
wenzelm
parents: 72414
diff changeset
   105
        File.read_dir(tmp_dir).filter(name => (tmp_dir + Path.basic(name)).is_dir) match {
992822a11039 more standard build from sources;
wenzelm
parents: 72414
diff changeset
   106
          case List(dir) => dir
992822a11039 more standard build from sources;
wenzelm
parents: 72414
diff changeset
   107
          case dirs =>
992822a11039 more standard build from sources;
wenzelm
parents: 72414
diff changeset
   108
            error("Exactly one directory entry expected in archive " + quote(download_url) +
992822a11039 more standard build from sources;
wenzelm
parents: 72414
diff changeset
   109
              "\n" + commas_quote(dirs))
72414
af24c0dd6975 build Isabelle CSDP component from official downloads;
wenzelm
parents:
diff changeset
   110
        }
af24c0dd6975 build Isabelle CSDP component from official downloads;
wenzelm
parents:
diff changeset
   111
      Isabelle_System.bash(
af24c0dd6975 build Isabelle CSDP component from official downloads;
wenzelm
parents:
diff changeset
   112
        "tar xzf " + archive_path + " && mv " + Bash.string(source_name) + " src",
af24c0dd6975 build Isabelle CSDP component from official downloads;
wenzelm
parents:
diff changeset
   113
        cwd = component_dir.file).check
af24c0dd6975 build Isabelle CSDP component from official downloads;
wenzelm
parents:
diff changeset
   114
af24c0dd6975 build Isabelle CSDP component from official downloads;
wenzelm
parents:
diff changeset
   115
af24c0dd6975 build Isabelle CSDP component from official downloads;
wenzelm
parents:
diff changeset
   116
      /* build */
af24c0dd6975 build Isabelle CSDP component from official downloads;
wenzelm
parents:
diff changeset
   117
72417
992822a11039 more standard build from sources;
wenzelm
parents: 72414
diff changeset
   118
      progress.echo("Building CSDP ...")
72414
af24c0dd6975 build Isabelle CSDP component from official downloads;
wenzelm
parents:
diff changeset
   119
72417
992822a11039 more standard build from sources;
wenzelm
parents: 72414
diff changeset
   120
      val build_dir = tmp_dir + Path.basic(source_name)
992822a11039 more standard build from sources;
wenzelm
parents: 72414
diff changeset
   121
      build_flags.find(flags => flags.platform == platform_name) match {
992822a11039 more standard build from sources;
wenzelm
parents: 72414
diff changeset
   122
        case None => error("No build flags for platform " + quote(platform_name))
992822a11039 more standard build from sources;
wenzelm
parents: 72414
diff changeset
   123
        case Some(flags) =>
992822a11039 more standard build from sources;
wenzelm
parents: 72414
diff changeset
   124
          File.find_files(build_dir.file, pred = file => file.getName == "Makefile").
992822a11039 more standard build from sources;
wenzelm
parents: 72414
diff changeset
   125
            foreach(file => flags.change(File.path(file)))
72414
af24c0dd6975 build Isabelle CSDP component from official downloads;
wenzelm
parents:
diff changeset
   126
      }
72418
4ed247fadbc4 proper support for x86_64-windows via msys/mingw64;
wenzelm
parents: 72417
diff changeset
   127
72428
b7351ffe0dbc clarified signature: allow complex bash script;
wenzelm
parents: 72425
diff changeset
   128
      progress.bash(mingw.bash_script("make"), cwd = build_dir.file, echo = verbose).check
72418
4ed247fadbc4 proper support for x86_64-windows via msys/mingw64;
wenzelm
parents: 72417
diff changeset
   129
4ed247fadbc4 proper support for x86_64-windows via msys/mingw64;
wenzelm
parents: 72417
diff changeset
   130
4ed247fadbc4 proper support for x86_64-windows via msys/mingw64;
wenzelm
parents: 72417
diff changeset
   131
      /* install */
72414
af24c0dd6975 build Isabelle CSDP component from official downloads;
wenzelm
parents:
diff changeset
   132
72417
992822a11039 more standard build from sources;
wenzelm
parents: 72414
diff changeset
   133
      File.copy(build_dir + Path.explode("LICENSE"), component_dir)
72418
4ed247fadbc4 proper support for x86_64-windows via msys/mingw64;
wenzelm
parents: 72417
diff changeset
   134
4ed247fadbc4 proper support for x86_64-windows via msys/mingw64;
wenzelm
parents: 72417
diff changeset
   135
      if (!Platform.is_windows) {
4ed247fadbc4 proper support for x86_64-windows via msys/mingw64;
wenzelm
parents: 72417
diff changeset
   136
        File.copy(build_dir + Path.explode("solver/csdp"), platform_dir)
4ed247fadbc4 proper support for x86_64-windows via msys/mingw64;
wenzelm
parents: 72417
diff changeset
   137
      }
4ed247fadbc4 proper support for x86_64-windows via msys/mingw64;
wenzelm
parents: 72417
diff changeset
   138
      else {
4ed247fadbc4 proper support for x86_64-windows via msys/mingw64;
wenzelm
parents: 72417
diff changeset
   139
        File.copy(build_dir + Path.explode("solver/csdp.exe"), platform_dir)
4ed247fadbc4 proper support for x86_64-windows via msys/mingw64;
wenzelm
parents: 72417
diff changeset
   140
        val libs =
4ed247fadbc4 proper support for x86_64-windows via msys/mingw64;
wenzelm
parents: 72417
diff changeset
   141
          List("libblas", "liblapack", "libgfortran-5", "libgcc_s_seh-1",
4ed247fadbc4 proper support for x86_64-windows via msys/mingw64;
wenzelm
parents: 72417
diff changeset
   142
            "libquadmath-0", "libwinpthread-1")
4ed247fadbc4 proper support for x86_64-windows via msys/mingw64;
wenzelm
parents: 72417
diff changeset
   143
        for (name <- libs) {
72424
10c07d224035 tuned signature;
wenzelm
parents: 72423
diff changeset
   144
          File.copy(mingw.get_root + Path.explode("mingw64/bin") + Path.basic(name).ext("dll"),
72418
4ed247fadbc4 proper support for x86_64-windows via msys/mingw64;
wenzelm
parents: 72417
diff changeset
   145
            platform_dir)
4ed247fadbc4 proper support for x86_64-windows via msys/mingw64;
wenzelm
parents: 72417
diff changeset
   146
        }
4ed247fadbc4 proper support for x86_64-windows via msys/mingw64;
wenzelm
parents: 72417
diff changeset
   147
      }
72414
af24c0dd6975 build Isabelle CSDP component from official downloads;
wenzelm
parents:
diff changeset
   148
af24c0dd6975 build Isabelle CSDP component from official downloads;
wenzelm
parents:
diff changeset
   149
af24c0dd6975 build Isabelle CSDP component from official downloads;
wenzelm
parents:
diff changeset
   150
      /* settings */
af24c0dd6975 build Isabelle CSDP component from official downloads;
wenzelm
parents:
diff changeset
   151
af24c0dd6975 build Isabelle CSDP component from official downloads;
wenzelm
parents:
diff changeset
   152
      val etc_dir = Isabelle_System.make_directory(component_dir + Path.basic("etc"))
af24c0dd6975 build Isabelle CSDP component from official downloads;
wenzelm
parents:
diff changeset
   153
      File.write(etc_dir + Path.basic("settings"),
af24c0dd6975 build Isabelle CSDP component from official downloads;
wenzelm
parents:
diff changeset
   154
        """# -*- shell-script -*- :mode=shellscript:
af24c0dd6975 build Isabelle CSDP component from official downloads;
wenzelm
parents:
diff changeset
   155
af24c0dd6975 build Isabelle CSDP component from official downloads;
wenzelm
parents:
diff changeset
   156
ISABELLE_CSDP="$COMPONENT/${ISABELLE_WINDOWS_PLATFORM64:-$ISABELLE_PLATFORM64}/csdp"
af24c0dd6975 build Isabelle CSDP component from official downloads;
wenzelm
parents:
diff changeset
   157
""")
af24c0dd6975 build Isabelle CSDP component from official downloads;
wenzelm
parents:
diff changeset
   158
af24c0dd6975 build Isabelle CSDP component from official downloads;
wenzelm
parents:
diff changeset
   159
af24c0dd6975 build Isabelle CSDP component from official downloads;
wenzelm
parents:
diff changeset
   160
      /* README */
af24c0dd6975 build Isabelle CSDP component from official downloads;
wenzelm
parents:
diff changeset
   161
af24c0dd6975 build Isabelle CSDP component from official downloads;
wenzelm
parents:
diff changeset
   162
      File.write(component_dir + Path.basic("README"),
72417
992822a11039 more standard build from sources;
wenzelm
parents: 72414
diff changeset
   163
"""This is CSDP """ + version + """ from
992822a11039 more standard build from sources;
wenzelm
parents: 72414
diff changeset
   164
""" + download_url + """
72414
af24c0dd6975 build Isabelle CSDP component from official downloads;
wenzelm
parents:
diff changeset
   165
72417
992822a11039 more standard build from sources;
wenzelm
parents: 72414
diff changeset
   166
Makefile flags have been changed for various platforms as follows:
72414
af24c0dd6975 build Isabelle CSDP component from official downloads;
wenzelm
parents:
diff changeset
   167
72438
wenzelm
parents: 72437
diff changeset
   168
""" + build_flags.flatMap(_.print).mkString("\n\n") + """
wenzelm
parents: 72437
diff changeset
   169
72417
992822a11039 more standard build from sources;
wenzelm
parents: 72414
diff changeset
   170
The distribution has been built like this:
72414
af24c0dd6975 build Isabelle CSDP component from official downloads;
wenzelm
parents:
diff changeset
   171
72417
992822a11039 more standard build from sources;
wenzelm
parents: 72414
diff changeset
   172
    cd src && make
72414
af24c0dd6975 build Isabelle CSDP component from official downloads;
wenzelm
parents:
diff changeset
   173
72417
992822a11039 more standard build from sources;
wenzelm
parents: 72414
diff changeset
   174
Only the bare "solver/csdp" program is used for Isabelle.
72414
af24c0dd6975 build Isabelle CSDP component from official downloads;
wenzelm
parents:
diff changeset
   175
af24c0dd6975 build Isabelle CSDP component from official downloads;
wenzelm
parents:
diff changeset
   176
af24c0dd6975 build Isabelle CSDP component from official downloads;
wenzelm
parents:
diff changeset
   177
    Makarius
af24c0dd6975 build Isabelle CSDP component from official downloads;
wenzelm
parents:
diff changeset
   178
    """ + Date.Format.date(Date.now()) + "\n")
af24c0dd6975 build Isabelle CSDP component from official downloads;
wenzelm
parents:
diff changeset
   179
    })
af24c0dd6975 build Isabelle CSDP component from official downloads;
wenzelm
parents:
diff changeset
   180
}
af24c0dd6975 build Isabelle CSDP component from official downloads;
wenzelm
parents:
diff changeset
   181
af24c0dd6975 build Isabelle CSDP component from official downloads;
wenzelm
parents:
diff changeset
   182
af24c0dd6975 build Isabelle CSDP component from official downloads;
wenzelm
parents:
diff changeset
   183
  /* Isabelle tool wrapper */
af24c0dd6975 build Isabelle CSDP component from official downloads;
wenzelm
parents:
diff changeset
   184
af24c0dd6975 build Isabelle CSDP component from official downloads;
wenzelm
parents:
diff changeset
   185
  val isabelle_tool =
72437
efc5ae4b4ac8 tuned messages;
wenzelm
parents: 72431
diff changeset
   186
    Isabelle_Tool("build_csdp", "build prover component from official download",
72414
af24c0dd6975 build Isabelle CSDP component from official downloads;
wenzelm
parents:
diff changeset
   187
    args =>
af24c0dd6975 build Isabelle CSDP component from official downloads;
wenzelm
parents:
diff changeset
   188
    {
af24c0dd6975 build Isabelle CSDP component from official downloads;
wenzelm
parents:
diff changeset
   189
      var target_dir = Path.current
72424
10c07d224035 tuned signature;
wenzelm
parents: 72423
diff changeset
   190
      var mingw = MinGW.none
72417
992822a11039 more standard build from sources;
wenzelm
parents: 72414
diff changeset
   191
      var download_url = default_download_url
72414
af24c0dd6975 build Isabelle CSDP component from official downloads;
wenzelm
parents:
diff changeset
   192
      var verbose = false
af24c0dd6975 build Isabelle CSDP component from official downloads;
wenzelm
parents:
diff changeset
   193
af24c0dd6975 build Isabelle CSDP component from official downloads;
wenzelm
parents:
diff changeset
   194
      val getopts = Getopts("""
af24c0dd6975 build Isabelle CSDP component from official downloads;
wenzelm
parents:
diff changeset
   195
Usage: isabelle build_csdp [OPTIONS]
af24c0dd6975 build Isabelle CSDP component from official downloads;
wenzelm
parents:
diff changeset
   196
af24c0dd6975 build Isabelle CSDP component from official downloads;
wenzelm
parents:
diff changeset
   197
  Options are:
af24c0dd6975 build Isabelle CSDP component from official downloads;
wenzelm
parents:
diff changeset
   198
    -D DIR       target directory (default ".")
72425
d0937d55eb90 clarified errors;
wenzelm
parents: 72424
diff changeset
   199
    -M DIR       msys/mingw root specification for Windows
72417
992822a11039 more standard build from sources;
wenzelm
parents: 72414
diff changeset
   200
    -U URL       download URL
992822a11039 more standard build from sources;
wenzelm
parents: 72414
diff changeset
   201
                 (default: """" + default_download_url + """")
72414
af24c0dd6975 build Isabelle CSDP component from official downloads;
wenzelm
parents:
diff changeset
   202
    -v           verbose
af24c0dd6975 build Isabelle CSDP component from official downloads;
wenzelm
parents:
diff changeset
   203
72437
efc5ae4b4ac8 tuned messages;
wenzelm
parents: 72431
diff changeset
   204
  Build prover component from official download.
72414
af24c0dd6975 build Isabelle CSDP component from official downloads;
wenzelm
parents:
diff changeset
   205
""",
af24c0dd6975 build Isabelle CSDP component from official downloads;
wenzelm
parents:
diff changeset
   206
        "D:" -> (arg => target_dir = Path.explode(arg)),
72431
b8b97c49e339 tuned signature;
wenzelm
parents: 72428
diff changeset
   207
        "M:" -> (arg => mingw = MinGW(Path.explode(arg))),
72417
992822a11039 more standard build from sources;
wenzelm
parents: 72414
diff changeset
   208
        "U:" -> (arg => download_url = arg),
72414
af24c0dd6975 build Isabelle CSDP component from official downloads;
wenzelm
parents:
diff changeset
   209
        "v" -> (_ => verbose = true))
af24c0dd6975 build Isabelle CSDP component from official downloads;
wenzelm
parents:
diff changeset
   210
af24c0dd6975 build Isabelle CSDP component from official downloads;
wenzelm
parents:
diff changeset
   211
      val more_args = getopts(args)
af24c0dd6975 build Isabelle CSDP component from official downloads;
wenzelm
parents:
diff changeset
   212
      if (more_args.nonEmpty) getopts.usage()
af24c0dd6975 build Isabelle CSDP component from official downloads;
wenzelm
parents:
diff changeset
   213
af24c0dd6975 build Isabelle CSDP component from official downloads;
wenzelm
parents:
diff changeset
   214
      val progress = new Console_Progress()
af24c0dd6975 build Isabelle CSDP component from official downloads;
wenzelm
parents:
diff changeset
   215
72417
992822a11039 more standard build from sources;
wenzelm
parents: 72414
diff changeset
   216
      build_csdp(download_url = download_url, verbose = verbose, progress = progress,
72424
10c07d224035 tuned signature;
wenzelm
parents: 72423
diff changeset
   217
        target_dir = target_dir, mingw = mingw)
72414
af24c0dd6975 build Isabelle CSDP component from official downloads;
wenzelm
parents:
diff changeset
   218
    })
af24c0dd6975 build Isabelle CSDP component from official downloads;
wenzelm
parents:
diff changeset
   219
}