Searched refs:CONFIG_SITE (Results 1 - 7 of 7) sorted by relevance

/barrelfish-2018-10-04/usr/eclipseclp/Alog/src/
H A Dconfigure479 if test -z "$CONFIG_SITE"; then
481 CONFIG_SITE="$prefix/share/config.site $prefix/etc/config.site"
483 CONFIG_SITE="$ac_default_prefix/share/config.site $ac_default_prefix/etc/config.site"
486 for ac_site_file in $CONFIG_SITE; do
/barrelfish-2018-10-04/usr/eclipseclp/Usc/src/
H A Dconfigure479 if test -z "$CONFIG_SITE"; then
481 CONFIG_SITE="$prefix/share/config.site $prefix/etc/config.site"
483 CONFIG_SITE="$ac_default_prefix/share/config.site $ac_default_prefix/etc/config.site"
486 for ac_site_file in $CONFIG_SITE; do
/barrelfish-2018-10-04/usr/eclipseclp/Pds/src/
H A Dconfigure479 if test -z "$CONFIG_SITE"; then
481 CONFIG_SITE="$prefix/share/config.site $prefix/etc/config.site"
483 CONFIG_SITE="$ac_default_prefix/share/config.site $ac_default_prefix/etc/config.site"
486 for ac_site_file in $CONFIG_SITE; do
/barrelfish-2018-10-04/usr/eclipseclp/GecodeInterface/
H A DMakefile.in188 CONFIG_PREFIX=CONFIG_SITE=../../../config.$(ARCH)
/barrelfish-2018-10-04/usr/eclipseclp/
H A Dconfigure2559 if test -n "$CONFIG_SITE"; then
2561 case $CONFIG_SITE in #((
2562 -*) ac_site_file1=./$CONFIG_SITE;;
2563 */*) ac_site_file1=$CONFIG_SITE;;
2564 *) ac_site_file1=./$CONFIG_SITE;;
2849 { $as_echo "$as_me:${as_lineno-$LINENO}: WARNING: Cross-compiling without site config file $CONFIG_SITE!!!" >&5
2850 $as_echo "$as_me: WARNING: Cross-compiling without site config file $CONFIG_SITE!!!" >&2;}
2866 if ! test -r "$CONFIG_SITE"; then
2867 { $as_echo "$as_me:${as_lineno-$LINENO}: WARNING: Cross-compiling without site config file $CONFIG_SITE!!!" >&5
2868 $as_echo "$as_me: WARNING: Cross-compiling without site config file $CONFIG_SITE!!!" >
[all...]
/barrelfish-2018-10-04/usr/eclipseclp/Shm/src/
H A Dconfigure1179 if test -z "$CONFIG_SITE"; then
1181 CONFIG_SITE="$prefix/share/config.site $prefix/etc/config.site"
1183 CONFIG_SITE="$ac_default_prefix/share/config.site $ac_default_prefix/etc/config.site"
1186 for ac_site_file in $CONFIG_SITE; do
/barrelfish-2018-10-04/usr/eclipseclp/Eplex/
H A DMakefile.in787 CONFIG_PREFIX=CONFIG_SITE=$(shell pwd)/../config.$(ARCH)

Completed in 84 milliseconds