Searched refs:VERSION (Results 1 - 25 of 50) sorted by relevance

12

/seL4-l4v-master/isabelle/Admin/jenkins/ci-extras/
H A Dpackage4 VERSION=1
18 tar czf "dist/ci-extras-${VERSION}.tar.gz" --exclude dist --transform "s/^\\./ci-extras-${VERSION}/" .
/seL4-l4v-master/l4v/isabelle/Admin/jenkins/ci-extras/
H A Dpackage4 VERSION=1
18 tar czf "dist/ci-extras-${VERSION}.tar.gz" --exclude dist --transform "s/^\\./ci-extras-${VERSION}/" .
/seL4-l4v-master/isabelle/lib/scripts/
H A Dpolyml-version8 VERSION="$(env \
13 if [[ "$VERSION" =~ $REGEXP ]]; then
/seL4-l4v-master/l4v/isabelle/lib/scripts/
H A Dpolyml-version8 VERSION="$(env \
13 if [[ "$VERSION" =~ $REGEXP ]]; then
/seL4-l4v-master/HOL4/src/quotient/examples/lambda/
H A Dbarendregt.sig3 (* VERSION : 1.0 *)
/seL4-l4v-master/HOL4/src/quotient/examples/sigma/
H A Dbarendregt.sig3 (* VERSION : 1.0 *)
/seL4-l4v-master/l4v/spec/
H A DMakefile8 SEL4_VERSION=../../seL4/VERSION
36 ASPEC_VERSION_FILE=abstract/document/VERSION
/seL4-l4v-master/HOL4/examples/muddy/muddyC/buddy/
H A Dmakefile39 VERSION = 20 macro
40 RD = $(TARGET)$(VERSION)
103 tar -cvf $(TARGET)$(VERSION).tar $(RD)/*
104 gzip $(TARGET)$(VERSION).tar
/seL4-l4v-master/isabelle/src/Tools/Metis/src/
H A Dproblems2tptp.sml129 val VERSION = "1.0"; value
131 val versionString = PROGRAM^" v"^VERSION^"\n";
H A Dmetis.sml14 val VERSION = "2.3"; value
16 val versionString = PROGRAM^" "^VERSION^" (release 20110926)"^"\n";
/seL4-l4v-master/l4v/isabelle/src/Tools/Metis/src/
H A Dproblems2tptp.sml129 val VERSION = "1.0"; value
131 val versionString = PROGRAM^" v"^VERSION^"\n";
H A Dmetis.sml14 val VERSION = "2.3"; value
16 val versionString = PROGRAM^" "^VERSION^" (release 20110926)"^"\n";
/seL4-l4v-master/HOL4/examples/muddy/muddyC/buddy/src/
H A Dkernel.h119 #define VERSION 20 macro
H A Dkernel.c673 sprintf(str, "BuDDy - release %d.%d", VERSION/10, VERSION%10);
689 return VERSION;
/seL4-l4v-master/HOL4/src/quotient/examples/
H A Dtactics.sig2 (* VERSION : 1.0 *)
/seL4-l4v-master/seL4/manual/
H A Dmanual.tex83 \newcommand{\version}{\input{VERSION}}
H A DMakefile186 manual.pdf: VERSION env.tex manual.tex parts/*.tex parts/api/*.tex
/seL4-l4v-master/HOL4/polyml/
H A Dwinconfig.h648 #undef VERSION macro
H A Dltmain.sh34 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-master/l4v/spec/abstract/document/
H A Droot.tex56 \newcommand{\version}{\input{VERSION}\xspace}
/seL4-l4v-master/HOL4/polyml/modules/IntInfAsInt/
H A DMakefile.in204 VERSION = @VERSION@
/seL4-l4v-master/HOL4/polyml/modules/
H A DMakefile.in264 VERSION = @VERSION@
/seL4-l4v-master/HOL4/polyml/libpolyml/
H A DMakefile.in392 VERSION = @VERSION@
/seL4-l4v-master/HOL4/polyml/libpolymain/
H A DMakefile.in286 VERSION = @VERSION@
/seL4-l4v-master/isabelle/src/Pure/PIDE/
H A Dmarkup.scala476 val VERSION = "version"

Completed in 242 milliseconds

12