removed unused Predicate_Compile component setup;
authorwenzelm
Fri Jul 12 22:49:20 2013 +0200 (2013-07-12)
changeset 52638c1adf8b2eccf
parent 52631 564a108d722f
child 52639 df830310e550
removed unused Predicate_Compile component setup;
etc/components
src/HOL/Tools/Predicate_Compile/etc/settings
src/HOL/Tools/Predicate_Compile/lib/scripts/swipl_version
     1.1 --- a/etc/components	Fri Jul 12 21:14:54 2013 +0200
     1.2 +++ b/etc/components	Fri Jul 12 22:49:20 2013 +0200
     1.3 @@ -6,7 +6,6 @@
     1.4  src/HOL/Mutabelle
     1.5  src/HOL/Library/Sum_of_Squares
     1.6  src/HOL/Tools/ATP
     1.7 -src/HOL/Tools/Predicate_Compile
     1.8  src/HOL/Tools/Sledgehammer/MaSh
     1.9  src/HOL/Tools/SMT
    1.10  src/HOL/TPTP
     2.1 --- a/src/HOL/Tools/Predicate_Compile/etc/settings	Fri Jul 12 21:14:54 2013 +0200
     2.2 +++ /dev/null	Thu Jan 01 00:00:00 1970 +0000
     2.3 @@ -1,4 +0,0 @@
     2.4 -# -*- shell-script -*- :mode=shellscript:
     2.5 -
     2.6 -ISABELLE_PREDICATE_COMPILE="$COMPONENT"
     2.7 -
     3.1 --- a/src/HOL/Tools/Predicate_Compile/lib/scripts/swipl_version	Fri Jul 12 21:14:54 2013 +0200
     3.2 +++ /dev/null	Thu Jan 01 00:00:00 1970 +0000
     3.3 @@ -1,15 +0,0 @@
     3.4 -#!/usr/bin/env bash
     3.5 -#
     3.6 -# Author: Lukas Bulwahn, TU Muenchen, 2010
     3.7 -#
     3.8 -# Determine SWI-Prolog version
     3.9 -
    3.10 -if [ "$ISABELLE_SWIPL" != "" ]; then
    3.11 -  VERSION="$("$ISABELLE_SWIPL" --version)"
    3.12 -  REGEXP='^SWI-Prolog version ([0-9\.]*) for .*$'
    3.13 -  if [[ "$VERSION" =~ $REGEXP ]]; then
    3.14 -    echo -n "${BASH_REMATCH[1]}"
    3.15 -  else
    3.16 -    echo -n undefined
    3.17 -  fi
    3.18 -fi