# HG changeset patch
# User Mathias Fleury <Mathias.Fleury@mpi-inf.mpg.de>
# Date 1602663962 -7200
# Node ID b54d4542d08cf20beb0a6bfe555b633462766816
# Parent  aca85e8d873de52c77222c6c36a72e26e925ad31
update build script for veriT 2020.10-rmx

diff -r aca85e8d873d -r b54d4542d08c src/Pure/Admin/build_verit.scala
--- a/src/Pure/Admin/build_verit.scala	Tue Oct 13 20:29:13 2020 +0200
+++ b/src/Pure/Admin/build_verit.scala	Wed Oct 14 10:26:02 2020 +0200
@@ -9,7 +9,7 @@
 
 object Build_VeriT
 {
-  val default_download_url = "https://verit.loria.fr/distrib/veriT-stable2016.tar.gz"
+  val default_download_url = "https://verit.loria.fr/rmx/2020.10/verit-2020.10-rmx.tar.gz"
 
 
   /* build veriT */
@@ -22,9 +22,6 @@
   {
     Isabelle_System.with_tmp_dir("build")(tmp_dir =>
     {
-      Isabelle_System.require_command("autoconf", "bison", "flex", "wget")
-
-
       /* component */
 
       val Archive_Name = """^.*?([^/]+)$""".r
@@ -76,9 +73,7 @@
       val build_dir = tmp_dir + Path.basic(source_name)
       val build_script =
 """
-    autoconf
     ./configure
-    ln -s gmp-local extern/gmp
     make
 """
       progress.bash("set -e\n" + build_script, cwd = build_dir.file, echo = verbose).check
@@ -87,8 +82,11 @@
       /* install */
 
       File.copy(build_dir + Path.explode("LICENSE"), component_dir)
-      File.copy(build_dir + Path.explode("veriT"), platform_dir)
-
+      val install_files = List("veriT")
+      for (name <- install_files ::: install_files.map(_ + ".exe")) {
+        val path = build_dir + Path.basic(name)
+        if (path.is_file) File.copy(path, platform_dir)
+      }
 
       /* settings */