Cross Reference: /seL4-l4v-10.1.1/HOL4/polyml/configure

1204   -version | --version | --versio | --versi | --vers | -V)
1425   -V, --version           display version information and exit
1532   --with-system-libffi    use the version of libffi installed on your system
1533                           rather than the version supplied with poly
3282 	   case `"$as_dir/$ac_prog$ac_exec_ext" --version 2>&1` in #(
3296   test -d ./--version && rmdir ./--version
3443   if (cygpath --version) >/dev/null 2>/dev/null; then
3504 # POSIX will say in a future version that running "rm -f" with no argument
4264 $as_echo "$as_me:${as_lineno-$LINENO}: checking for C compiler version" >&5
4267 for ac_option in --version -v -V -qversion; do
4961 case `"$ac_path_SED" --version 2>&1` in
5037 case `"$ac_path_GREP" --version 2>&1` in
5103 case `"$ac_path_EGREP" --version 2>&1` in
5170 case `"$ac_path_FGREP" --version 2>&1` in
5291       # Check to see if the program is GNU ld.  I'd rather use --version,
5324   # I'd rather use --version here, but apparently some GNU lds only accept -v.
8191       # to the OS version, if on x86, and 10.4, the deployment
10297             $CC '"$tmp_sharedflag""$tmp_addflag"' $libobjs $deplibs $compiler_flags $wl-soname $wl$soname $wl-version-script $wl$output_objdir/$libname.ver -o $lib'
10313               $LD -shared $libobjs $deplibs $linker_flags -soname $soname -version-script $output_objdir/$libname.ver -o $lib'
11611   # AIX 3 has no versioning support, so we append a major version to the name.
11937   # Give a soname corresponding to the major version so that dld.sl refuses to
13292 $as_echo "$as_me:${as_lineno-$LINENO}: checking for C++ compiler version" >&5
13295 for ac_option in --version -v -V -qversion; do
13891       # Check to see if the program is GNU ld.  I'd rather use --version,
13924   # I'd rather use --version here, but apparently some GNU lds only accept -v.
14611 	    # to its proper name (with version) after linking.
14634 	    # version 8.0 and above of icpc choke on multiply defined symbols
14716                 $CC -qmkshrobj $libobjs $deplibs $compiler_flags $wl-soname $wl$soname $wl-version-script $wl$output_objdir/$libname.ver -o $lib'
14810 	    # to its proper name (with version) after linking.
14952 	      if $CC --version | $GREP -v '^2\.7' > /dev/null; then
16039   # AIX 3 has no versioning support, so we append a major version to the name.
16363   # Give a soname corresponding to the major version so that dld.sl refuses to
17206 $as_echo "$as_me:${as_lineno-$LINENO}: checking for C compiler version" >&5
17209 for ac_option in --version -v -V -qversion; do
19189 # contain a buggy version.  If you still want to use their alloca,
19866 	{ $as_echo "$as_me:${as_lineno-$LINENO}: checking pkg-config is at least version $_pkg_min_version" >&5
19867 $as_echo_n "checking pkg-config is at least version $_pkg_min_version... " >&6; }
19868 	if $PKG_CONFIG --atleast-pkgconfig-version $_pkg_min_version; then
19952 as_fn_error $? "--with-gmp was given, but gmp library (version 4 or later) is not installed
19966 # Use the internal version unless --with-system-libffi is given.
20024 if $PKG_CONFIG --atleast-pkgconfig-version 0.20; then
20996 # version HP92453-01 B.11.11.23709.GP, which incorrectly rejects
21029 # version HP92453-01 B.11.11.23709.GP, which incorrectly rejects
21062 # version HP92453-01 B.11.11.23709.GP, which incorrectly rejects
21095 # version HP92453-01 B.11.11.23709.GP, which incorrectly rejects
22389 # If we're building only the static version of libpolyml
22399 # Test whether this is a git directory and set the version if possible
23148   -V, --version    print version number and configuration settings, then exit
23217   --version | --versio | --versi | --vers | --ver | --ve | --v | -V )
24412 # the Free Software Foundation; either version 2 of of the License, or
24413 # (at your option) any later version.
24640 # Do we need a version for libraries?