| /seL4-l4v-10.1.1/isabelle/Admin/jenkins/ci-extras/ |
| H A D | package | 4 VERSION=1
18 tar czf "dist/ci-extras-${VERSION}.tar.gz" --exclude dist --transform "s/^\\./ci-extras-${VERSION}/" .
|
| /seL4-l4v-10.1.1/l4v/isabelle/Admin/jenkins/ci-extras/ |
| H A D | package | 4 VERSION=1
18 tar czf "dist/ci-extras-${VERSION}.tar.gz" --exclude dist --transform "s/^\\./ci-extras-${VERSION}/" .
|
| /seL4-l4v-10.1.1/isabelle/lib/scripts/ |
| H A D | polyml-version | 8 VERSION="$(env \
13 if [[ "$VERSION" =~ $REGEXP ]]; then
|
| /seL4-l4v-10.1.1/l4v/isabelle/lib/scripts/ |
| H A D | polyml-version | 8 VERSION="$(env \
13 if [[ "$VERSION" =~ $REGEXP ]]; then
|
| /seL4-l4v-10.1.1/isabelle/Admin/lib/Tools/ |
| H A D | makedist | 23 echo "Usage: isabelle $PRG [OPTIONS] [VERSION]"
33 echo " VERSION identifies the snapshot, using usual Mercurial terminology;"
88 VERSION=""
89 [ "$#" -gt 0 ] && { VERSION="$1"; shift; }
90 [ -z "$VERSION" ] && VERSION="$RELEASE"
91 [ -z "$VERSION" ] && VERSION="tip"
95 IDENT=$("$HG" --repository "$ISABELLE_HOME" id -r "$VERSION" -i)
96 [ -z "$IDENT" ] && fail "Bad repository version: \"$VERSION\""
[all...] |
| /seL4-l4v-10.1.1/l4v/isabelle/Admin/lib/Tools/ |
| H A D | makedist | 23 echo "Usage: isabelle $PRG [OPTIONS] [VERSION]"
33 echo " VERSION identifies the snapshot, using usual Mercurial terminology;"
88 VERSION=""
89 [ "$#" -gt 0 ] && { VERSION="$1"; shift; }
90 [ -z "$VERSION" ] && VERSION="$RELEASE"
91 [ -z "$VERSION" ] && VERSION="tip"
95 IDENT=$("$HG" --repository "$ISABELLE_HOME" id -r "$VERSION" -i)
96 [ -z "$IDENT" ] && fail "Bad repository version: \"$VERSION\""
[all...] |
| /seL4-l4v-10.1.1/HOL4/src/quotient/examples/lambda/ |
| H A D | barendregt.sig | 3 (* VERSION : 1.0 *)
|
| /seL4-l4v-10.1.1/HOL4/src/quotient/examples/sigma/ |
| H A D | barendregt.sig | 3 (* VERSION : 1.0 *)
|
| /seL4-l4v-10.1.1/l4v/spec/ |
| H A D | Makefile | 12 SEL4_VERSION=../../seL4/VERSION
41 ASPEC_DOC_VERSION_FILE=abstract/document/VERSION
|
| /seL4-l4v-10.1.1/HOL4/examples/muddy/muddyC/buddy/ |
| H A D | makefile | 39 VERSION = 20 macro
40 RD = $(TARGET)$(VERSION)
103 tar -cvf $(TARGET)$(VERSION).tar $(RD)/*
104 gzip $(TARGET)$(VERSION).tar
|
| /seL4-l4v-10.1.1/isabelle/src/Tools/Metis/src/ |
| H A D | problems2tptp.sml | 129 val VERSION = "1.0"; value
131 val versionString = PROGRAM^" v"^VERSION^"\n";
|
| H A D | metis.sml | 14 val VERSION = "2.3"; value
16 val versionString = PROGRAM^" "^VERSION^" (release 20110926)"^"\n";
|
| /seL4-l4v-10.1.1/l4v/isabelle/src/Tools/Metis/src/ |
| H A D | problems2tptp.sml | 129 val VERSION = "1.0"; value
131 val versionString = PROGRAM^" v"^VERSION^"\n";
|
| H A D | metis.sml | 14 val VERSION = "2.3"; value
16 val versionString = PROGRAM^" "^VERSION^" (release 20110926)"^"\n";
|
| /seL4-l4v-10.1.1/HOL4/examples/muddy/muddyC/buddy/src/ |
| H A D | kernel.h | 119 #define VERSION 20 macro
|
| H A D | kernel.c | 673 sprintf(str, "BuDDy - release %d.%d", VERSION/10, VERSION%10);
689 return VERSION;
|
| /seL4-l4v-10.1.1/HOL4/src/quotient/examples/ |
| H A D | tactics.sig | 2 (* VERSION : 1.0 *)
|
| /seL4-l4v-10.1.1/l4v/spec/abstract/document/ |
| H A D | root.tex | 60 \newcommand{\version}{\input{VERSION}\xspace}
|
| /seL4-l4v-10.1.1/seL4/manual/ |
| H A D | manual.tex | 86 \newcommand{\version}{\input{VERSION}}
|
| /seL4-l4v-10.1.1/HOL4/polyml/modules/IntInfAsInt/ |
| H A D | Makefile.in | 206 VERSION = @VERSION@
|
| /seL4-l4v-10.1.1/HOL4/polyml/ |
| H A D | winconfig.h | 734 #undef VERSION macro
|
| H A D | ltmain.sh | 34 VERSION="2.4.6 Debian-2.4.6-2"
2224 if test "$VERSION" != "$macro_version"; then
2227 $progname: Version mismatch error. This is $PACKAGE $VERSION, but the
2229 $progname: You should recreate aclocal.m4 with macros from $PACKAGE $VERSION
2234 $progname: Version mismatch error. This is $PACKAGE $VERSION, but the
2236 $progname: You should recreate aclocal.m4 with macros from $PACKAGE $VERSION
2242 $progname: Version mismatch error. This is $PACKAGE $VERSION, revision $package_revision,
2245 $progname: of $PACKAGE $VERSION and run autoconf again.
2730 # Generated by $PROGRAM (GNU $PACKAGE) $VERSION
4596 /* Generated by $PROGRAM (GNU $PACKAGE) $VERSION */
[all...] |
| /seL4-l4v-10.1.1/HOL4/polyml/libpolyml/libffi/include/ |
| H A D | Makefile.in | 263 VERSION = @VERSION@
|
| /seL4-l4v-10.1.1/HOL4/polyml/libpolyml/libffi/man/ |
| H A D | Makefile.in | 246 VERSION = @VERSION@
|
| /seL4-l4v-10.1.1/HOL4/polyml/libpolyml/libffi/ |
| H A D | ltmain.sh | 34 VERSION="2.4.6 Debian-2.4.6-2"
2224 if test "$VERSION" != "$macro_version"; then
2227 $progname: Version mismatch error. This is $PACKAGE $VERSION, but the
2229 $progname: You should recreate aclocal.m4 with macros from $PACKAGE $VERSION
2234 $progname: Version mismatch error. This is $PACKAGE $VERSION, but the
2236 $progname: You should recreate aclocal.m4 with macros from $PACKAGE $VERSION
2242 $progname: Version mismatch error. This is $PACKAGE $VERSION, revision $package_revision,
2245 $progname: of $PACKAGE $VERSION and run autoconf again.
2730 # Generated by $PROGRAM (GNU $PACKAGE) $VERSION
4596 /* Generated by $PROGRAM (GNU $PACKAGE) $VERSION */
[all...] |