HOL4/polyml/ltmain.sh

15 # the Free Software Foundation; either version 2 of the License, or
16 # (at your option) any later version.
66 # Set a version string for this script.
78 # the Free Software Foundation; either version 3 of the License, or
79 # (at your option) any later version.
179 # Search for either a program that responds to --version with output
203           case `"$_G_path_prog" --version 2>&1` in
383 EXIT_MISMATCH=63  # $? = 63 is used to indicate version mismatch to missing.
1335 # Note this deviates from the version comparison in automake
1338 # version formats or redundant trailing .0 in bootstrap.conf.
1372 # Set a version string for this script.
1384 # the Free Software Foundation, either version 3 of the License, or
1385 # (at your option) any later version.
1416 # In order for the '--version' option to work, you will need to have a
1458        --version      print version information and exit
1733         --version)    func_version ;;
1940 # Echo version message to standard output and exit.
1979 # Set a version string.
2036        --version            print version information
2071        version:        $progname $scriptversion Debian-2.4.6-2
2072        automake:       `($AUTOMAKE --version) 2>/dev/null |$SED 1q`
2073        autoconf:       `($AUTOCONF --version) 2>/dev/null |$SED 1q`
2460 # Process options as early as possible so that --help and --version
3723   -avoid-version    do not add a version suffix if possible
3752   -version-info CURRENT[:REVISION[:AGE]]
3753                     specify library version info [each variable defaults to 0]
6900       -avoid-version)
7191       -version-info)
7196       -version-number)
7669 		  if test "X$ll" = "X$old_library"; then # only static version available
7800 		echo "*** shared version of the library, which you do not appear to have"
8414 	    echo "*** shared version of the library, which you do not appear to have."
8707 	func_warning "'-version-info/-version-number' is ignored for archives"
8781 	  func_warning "'-version-info/-version-number' is ignored for convenience libraries"
8787 	# Parse the version information argument.
8794 	  func_fatal_help "too many parameters to '-version-info'"
8796 	# convert absolute version numbers to libtool ages
8807 	  # use the current revision as the major version
8809 	  # a minor version.  But, then there is irix
8833 	    func_fatal_configuration "$modename: unknown library version type '$version_type'"
8849 	  func_fatal_error "'$vinfo' is not valid version information"
8857 	  func_fatal_error "'$vinfo' is not valid version information"
8865 	  func_fatal_error "'$vinfo' is not valid version information"
8871 	  func_fatal_error "'$vinfo' is not valid version information"
8874 	# Calculate the version variables.
8882 	  # Like Linux, but with the current version available in
8965 	  # Make executables depend on our current version.
8993 	  func_fatal_configuration "unknown library version type '$version_type'"
8997 	# Clear the version info if we defaulted, and they specified a release.
9017 	# Remove version info from name if versioning should be avoided
9213 		    echo "*** shared version of the library, which I believe you do not have"
9256 		      echo "*** shared version of the library, which you do not appear to have"
9344 		echo "*** shared version of the library, which you do not appear to have"
9398 		echo "*** shared version of the library, which you do not appear to have"
9482 	      echo "*** libtool will only create a static version of it."
10102 	func_warning "'-version-info' is ignored for objects"
10126       # single-version convenience libraries.  Whenever we create
10201 	func_warning "'-version-info' is ignored for programs"
11088 	    # as does the version of $file that was added into $rmfiles