prefer internal tool;
authorwenzelm
Sun Apr 03 22:45:40 2016 +0200 (2016-04-03)
changeset 62834970cedec9748
parent 62833 29dfa2ed9343
child 62835 1a9ce1b13b20
prefer internal tool;
lib/Tools/check_sources
src/Pure/System/isabelle_tool.scala
src/Pure/Tools/check_sources.scala
     1.1 --- a/lib/Tools/check_sources	Sun Apr 03 22:42:15 2016 +0200
     1.2 +++ /dev/null	Thu Jan 01 00:00:00 1970 +0000
     1.3 @@ -1,9 +0,0 @@
     1.4 -#!/usr/bin/env bash
     1.5 -#
     1.6 -# Author: Makarius
     1.7 -#
     1.8 -# DESCRIPTION: some sanity checks for Isabelle sources
     1.9 -
    1.10 -isabelle_admin_build jars || exit $?
    1.11 -
    1.12 -isabelle java isabelle.Check_Sources "$@"
     2.1 --- a/src/Pure/System/isabelle_tool.scala	Sun Apr 03 22:42:15 2016 +0200
     2.2 +++ b/src/Pure/System/isabelle_tool.scala	Sun Apr 03 22:45:40 2016 +0200
     2.3 @@ -69,6 +69,7 @@
     2.4      }
     2.5  
     2.6    register(Build.isabelle_tool)
     2.7 +  register(Check_Sources.isabelle_tool)
     2.8    register(Doc.isabelle_tool)
     2.9    register(Options.isabelle_tool)
    2.10  
     3.1 --- a/src/Pure/Tools/check_sources.scala	Sun Apr 03 22:42:15 2016 +0200
     3.2 +++ b/src/Pure/Tools/check_sources.scala	Sun Apr 03 22:45:40 2016 +0200
     3.3 @@ -52,11 +52,11 @@
     3.4    }
     3.5  
     3.6  
     3.7 -  /* command line entry point */
     3.8 +  /* Isabelle tool wrapper */
     3.9  
    3.10 -  def main(args: Array[String])
    3.11 -  {
    3.12 -    Command_Line.tool0 {
    3.13 +  val isabelle_tool =
    3.14 +    Isabelle_Tool("check_sources", "some sanity checks for Isabelle sources", args =>
    3.15 +    {
    3.16        val getopts = Getopts("""
    3.17  Usage: isabelle check_sources [ROOT_DIRS...]
    3.18  
    3.19 @@ -67,6 +67,5 @@
    3.20        if (specs.isEmpty) getopts.usage()
    3.21  
    3.22        for (root <- specs) check_hg(Path.explode(root))
    3.23 -    }
    3.24 -  }
    3.25 +    })
    3.26  }