<commit_before># linbox miscellaneous functonnnalities
# Copyright (c) the LinBox group
# This file is part of LinBox
# see COPYING for licence



AC_DEFUN([LB_MISC],
[

AC_ARG_WITH(default,
[  --with-default=<path> Add <path> to the default path for external package
  		        checking. Set as default with /usr and /usr/local.
],
	    [if test "$withval" = yes ; then
			echo "Default path = /usr /usr/local . .."
			DEFAULT_CHECKING_PATH="/usr /usr/local . .."
	      else
			echo "Default path = $withval /usr /usr/local . .."
			DEFAULT_CHECKING_PATH="$withval /usr /usr/local . .."
	     fi
	     ],
	     [
		echo "Default path = /usr /usr/local . .."
		DEFAULT_CHECKING_PATH="/usr /usr/local . .."
             ])


AC_ARG_WITH(all,
[  --with-all= <path>|yes|no Use all external packages. If the argument is no,
  	      		   you not sure that all libraries are reachable with
			   the default path. If the argument is yes or <empty>,
			   that means that all libraries are reachable with the
			   default path. Otherwise add <path> to default path
			   and enable all external packages.
],
	    [if test "$withval" = yes ; then
			check_all="yes"
			echo "Checking all external packages in ${DEFAULT_CHECKING_PATH}"

	      elif test "$withval" != no ; then
			check_all="yes"
			DEFAULT_CHECKING_PATH="$withval ${DEFAULT_CHECKING_PATH}"
			echo "Checking all external packages in ${DEFAULT_CHECKING_PATH}"<commit_msg>including . and .. in search path is not a good idea<commit_after># linbox miscellaneous functonnnalities
# Copyright (c) the LinBox group
# This file is part of LinBox
# see COPYING for licence



AC_DEFUN([LB_MISC],
[

AC_ARG_WITH(default,
[  --with-default=<path> Add <path> to the default path for external package
  		        checking. Set as default with /usr and /usr/local.
],
	    [if test "$withval" = yes ; then
			echo "Default path = /usr /usr/local "
			DEFAULT_CHECKING_PATH="/usr /usr/local "
	      else
			echo "Default path = $withval /usr /usr/local "
			DEFAULT_CHECKING_PATH="$withval /usr /usr/local "
	     fi
	     ],
	     [
		echo "Default path = /usr /usr/local "
		DEFAULT_CHECKING_PATH="/usr /usr/local "
             ])


AC_ARG_WITH(all,
[  --with-all= <path>|yes|no Use all external packages. If the argument is no,
  	      		   you not sure that all libraries are reachable with
			   the default path. If the argument is yes or <empty>,
			   that means that all libraries are reachable with the
			   default path. Otherwise add <path> to default path
			   and enable all external packages.
],
	    [if test "$withval" = yes ; then
			check_all="yes"
			echo "Checking all external packages in ${DEFAULT_CHECKING_PATH}"

	      elif test "$withval" != no ; then
			check_all="yes"
			DEFAULT_CHECKING_PATH="$withval ${DEFAULT_CHECKING_PATH}"
			echo "Checking all external packages in ${DEFAULT_CHECKING_PATH}"
{'fraction_non_alphanumeric': 0.10378340853870184, 'fraction_numerical': 0.0, 'mean_word_length': 2.8684563758389263, 'pattern_counts': {'":': 0, '<': 13, '<?xml version=': 0, '>': 13, 'https://': 0, 'lorem ipsum': 0, 'www.': 0, 'xml': 0}, 'pii_count': 0, 'substrings_counts': 0, 'word_list_counts': {'cursed_substrings.json': 0, 'profanity_word_list.json': 0, 'sexual_word_list.json': 0, 'zh_pornsignals.json': 0}}
{'dir': 'git-commits-cleaned', 'id': '3281709', 'n_tokens_mistral': 982, 'n_tokens_neox': 883, 'n_words': 308}