Project

General

Profile

Revision 9f77bff7

View differences:

autom4te.cache/output.0
1 1
@%:@! /bin/sh
2 2
@%:@ Guess values for system-dependent variables and create Makefiles.
3
@%:@ Generated by GNU Autoconf 2.69 for lustrec 1.1-Unversioned directory.
3
@%:@ Generated by GNU Autoconf 2.69 for lustrec 1.3-      55.
4 4
@%:@
5 5
@%:@ Report bugs to <ploc@garoche.net>.
6 6
@%:@ 
......
579 579
# Identity of this package.
580 580
PACKAGE_NAME='lustrec'
581 581
PACKAGE_TARNAME='lustrec'
582
PACKAGE_VERSION='1.1-Unversioned directory'
583
PACKAGE_STRING='lustrec 1.1-Unversioned directory'
582
PACKAGE_VERSION='1.3-      55'
583
PACKAGE_STRING='lustrec 1.3-      55'
584 584
PACKAGE_BUGREPORT='ploc@garoche.net'
585 585
PACKAGE_URL=''
586 586

  
......
589 589
ac_subst_vars='LTLIBOBJS
590 590
LIB@&t@OBJS
591 591
abs_datadir
592
OBJEXT
593
EXEEXT
594
ac_ct_CC
595
CPPFLAGS
596
LDFLAGS
597
CFLAGS
598
CC
592 599
OCAMLBUILD
593 600
OCAMLC
601
SRC_PATH
594 602
OCAMLGRAPH_PATH
595
SVN_REVISION
603
VERSION_CODENAME
596 604
target_alias
597 605
host_alias
598 606
build_alias
......
638 646
'
639 647
      ac_precious_vars='build_alias
640 648
host_alias
641
target_alias'
649
target_alias
650
CC
651
CFLAGS
652
LDFLAGS
653
LIBS
654
CPPFLAGS'
642 655

  
643 656

  
644 657
# Initialize some variables set by options.
......
1179 1192
  # Omit some internal or obsolete options to make the list less imposing.
1180 1193
  # This message is too long to be a string in the A/UX 3.1 sh.
1181 1194
  cat <<_ACEOF
1182
\`configure' configures lustrec 1.1-Unversioned directory to adapt to many kinds of systems.
1195
\`configure' configures lustrec 1.3-      55 to adapt to many kinds of systems.
1183 1196

  
1184 1197
Usage: $0 [OPTION]... [VAR=VALUE]...
1185 1198

  
......
1240 1253

  
1241 1254
if test -n "$ac_init_help"; then
1242 1255
  case $ac_init_help in
1243
     short | recursive ) echo "Configuration of lustrec 1.1-Unversioned directory:";;
1256
     short | recursive ) echo "Configuration of lustrec 1.3-      55:";;
1244 1257
   esac
1245 1258
  cat <<\_ACEOF
1246 1259

  
......
1251 1264
                          should be in ocamlgraph-path @<:@default=@S|@(ocamlfind
1252 1265
                          query ocamlgraph)@:>@
1253 1266

  
1267
Some influential environment variables:
1268
  CC          C compiler command
1269
  CFLAGS      C compiler flags
1270
  LDFLAGS     linker flags, e.g. -L<lib dir> if you have libraries in a
1271
              nonstandard directory <lib dir>
1272
  LIBS        libraries to pass to the linker, e.g. -l<library>
1273
  CPPFLAGS    (Objective) C/C++ preprocessor flags, e.g. -I<include dir> if
1274
              you have headers in a nonstandard directory <include dir>
1275

  
1276
Use these variables to override the choices made by `configure' or to help
1277
it to find libraries and programs with nonstandard names/locations.
1278

  
1254 1279
Report bugs to <ploc@garoche.net>.
1255 1280
_ACEOF
1256 1281
ac_status=$?
......
1314 1339
test -n "$ac_init_help" && exit $ac_status
1315 1340
if $ac_init_version; then
1316 1341
  cat <<\_ACEOF
1317
lustrec configure 1.1-Unversioned directory
1342
lustrec configure 1.3-      55
1318 1343
generated by GNU Autoconf 2.69
1319 1344

  
1320 1345
Copyright (C) 2012 Free Software Foundation, Inc.
......
1327 1352
## ------------------------ ##
1328 1353
## Autoconf initialization. ##
1329 1354
## ------------------------ ##
1355

  
1356
@%:@ ac_fn_c_try_compile LINENO
1357
@%:@ --------------------------
1358
@%:@ Try to compile conftest.@S|@ac_ext, and return whether this succeeded.
1359
ac_fn_c_try_compile ()
1360
{
1361
  as_lineno=${as_lineno-"$1"} as_lineno_stack=as_lineno_stack=$as_lineno_stack
1362
  rm -f conftest.$ac_objext
1363
  if { { ac_try="$ac_compile"
1364
case "(($ac_try" in
1365
  *\"* | *\`* | *\\*) ac_try_echo=\$ac_try;;
1366
  *) ac_try_echo=$ac_try;;
1367
esac
1368
eval ac_try_echo="\"\$as_me:${as_lineno-$LINENO}: $ac_try_echo\""
1369
$as_echo "$ac_try_echo"; } >&5
1370
  (eval "$ac_compile") 2>conftest.err
1371
  ac_status=$?
1372
  if test -s conftest.err; then
1373
    grep -v '^ *+' conftest.err >conftest.er1
1374
    cat conftest.er1 >&5
1375
    mv -f conftest.er1 conftest.err
1376
  fi
1377
  $as_echo "$as_me:${as_lineno-$LINENO}: \$? = $ac_status" >&5
1378
  test $ac_status = 0; } && {
1379
	 test -z "$ac_c_werror_flag" ||
1380
	 test ! -s conftest.err
1381
       } && test -s conftest.$ac_objext; then :
1382
  ac_retval=0
1383
else
1384
  $as_echo "$as_me: failed program was:" >&5
1385
sed 's/^/| /' conftest.$ac_ext >&5
1386

  
1387
	ac_retval=1
1388
fi
1389
  eval $as_lineno_stack; ${as_lineno_stack:+:} unset as_lineno
1390
  as_fn_set_status $ac_retval
1391

  
1392
} @%:@ ac_fn_c_try_compile
1393

  
1394
@%:@ ac_fn_c_try_link LINENO
1395
@%:@ -----------------------
1396
@%:@ Try to link conftest.@S|@ac_ext, and return whether this succeeded.
1397
ac_fn_c_try_link ()
1398
{
1399
  as_lineno=${as_lineno-"$1"} as_lineno_stack=as_lineno_stack=$as_lineno_stack
1400
  rm -f conftest.$ac_objext conftest$ac_exeext
1401
  if { { ac_try="$ac_link"
1402
case "(($ac_try" in
1403
  *\"* | *\`* | *\\*) ac_try_echo=\$ac_try;;
1404
  *) ac_try_echo=$ac_try;;
1405
esac
1406
eval ac_try_echo="\"\$as_me:${as_lineno-$LINENO}: $ac_try_echo\""
1407
$as_echo "$ac_try_echo"; } >&5
1408
  (eval "$ac_link") 2>conftest.err
1409
  ac_status=$?
1410
  if test -s conftest.err; then
1411
    grep -v '^ *+' conftest.err >conftest.er1
1412
    cat conftest.er1 >&5
1413
    mv -f conftest.er1 conftest.err
1414
  fi
1415
  $as_echo "$as_me:${as_lineno-$LINENO}: \$? = $ac_status" >&5
1416
  test $ac_status = 0; } && {
1417
	 test -z "$ac_c_werror_flag" ||
1418
	 test ! -s conftest.err
1419
       } && test -s conftest$ac_exeext && {
1420
	 test "$cross_compiling" = yes ||
1421
	 test -x conftest$ac_exeext
1422
       }; then :
1423
  ac_retval=0
1424
else
1425
  $as_echo "$as_me: failed program was:" >&5
1426
sed 's/^/| /' conftest.$ac_ext >&5
1427

  
1428
	ac_retval=1
1429
fi
1430
  # Delete the IPA/IPO (Inter Procedural Analysis/Optimization) information
1431
  # created by the PGI compiler (conftest_ipa8_conftest.oo), as it would
1432
  # interfere with the next link command; also delete a directory that is
1433
  # left behind by Apple's compiler.  We do this before executing the actions.
1434
  rm -rf conftest.dSYM conftest_ipa8_conftest.oo
1435
  eval $as_lineno_stack; ${as_lineno_stack:+:} unset as_lineno
1436
  as_fn_set_status $ac_retval
1437

  
1438
} @%:@ ac_fn_c_try_link
1330 1439
cat >config.log <<_ACEOF
1331 1440
This file contains any messages produced by compilers while
1332 1441
running configure, to aid debugging if configure makes a mistake.
1333 1442

  
1334
It was created by lustrec $as_me 1.1-Unversioned directory, which was
1443
It was created by lustrec $as_me 1.3-      55, which was
1335 1444
generated by GNU Autoconf 2.69.  Invocation command line was
1336 1445

  
1337 1446
  $ $0 $@
......
1679 1788
ac_compiler_gnu=$ac_cv_c_compiler_gnu
1680 1789

  
1681 1790

  
1791
VERSION_CODENAME="Xia/Zhong-Kang-dev"
1682 1792

  
1793
# Next release will be
1794
#AC_INIT([lustrec], [1.3], [ploc@garoche.net])
1795
#AC_SUBST(VERSION_CODENAME, "Xia/Zhong-Kang")
1683 1796

  
1684

  
1685
$as_echo "@%:@define SVN_REVISION \"Unversioned directory\"" >>confdefs.h
1686

  
1687

  
1797
#AC_DEFINE(SVN_REVISION, "svnversion", [SVN Revision])
1798
#AC_SUBST(SVN_REVISION)
1688 1799

  
1689 1800

  
1690 1801

  
......
1709 1820

  
1710 1821

  
1711 1822

  
1823
SRC_PATH=/Users/Teme/Documents/GitHub/lustrec
1824

  
1712 1825

  
1713 1826
# Extract the first word of "ocamlc", so it can be a program name with args.
1714 1827
set dummy ocamlc; ac_word=$2
......
1756 1869
ocamlc_version=`$OCAMLC -v | grep version | rev| cut -d \  -f 1 | rev`
1757 1870
major=`echo $ocamlc_version | cut -d . -f 1`
1758 1871
minor=`echo $ocamlc_version | cut -d . -f 2`
1759
if (test "$major" -lt 3 -a "$minor" -lt 11 ); then
1760
  as_fn_error $? "Ocaml version must be at least 3.11. You have version $ocamlc_version" "$LINENO" 5
1872
if (test "$major" -lt 4 -a "$minor" -lt 0 ); then
1873
  as_fn_error $? "Ocaml version must be at least 4.0. You have version $ocamlc_version" "$LINENO" 5
1761 1874
fi
1762 1875
{ $as_echo "$as_me:${as_lineno-$LINENO}: result: valid ocaml version detected: $ocamlc_version" >&5
1763 1876
$as_echo "valid ocaml version detected: $ocamlc_version" >&6; }
......
1812 1925
$as_echo_n "checking ocamlgraph library... " >&6; }
1813 1926
   ocamlgraph_lib=`find $OCAMLGRAPH_PATH -iname graph.cmxa | grep -m 1 -o "graph.cmxa"`
1814 1927
   if (test "x$ocamlgraph_lib" = xgraph.cmxa ); then
1815
	ocamlgraph_lib_full=`find $OCAMLGRAPH_PATH -iname graph.cmxa  | grep -m 1 "graph.cmxa"`
1928
	ocamlgraph_lib_full=`find $OCAMLGRAPH_PATH -iname graph.cmxa | grep -m 1 "graph.cmxa"`
1816 1929
      { $as_echo "$as_me:${as_lineno-$LINENO}: result: library detected: $ocamlgraph_lib_full " >&5
1817 1930
$as_echo "library detected: $ocamlgraph_lib_full " >&6; }
1818 1931
   else
1819 1932
      as_fn_error $? "ocamlgraph library not installed in $OCAMLGRAPH_PATH" "$LINENO" 5
1820 1933
   fi
1821 1934

  
1935
ac_ext=c
1936
ac_cpp='$CPP $CPPFLAGS'
1937
ac_compile='$CC -c $CFLAGS $CPPFLAGS conftest.$ac_ext >&5'
1938
ac_link='$CC -o conftest$ac_exeext $CFLAGS $CPPFLAGS $LDFLAGS conftest.$ac_ext $LIBS >&5'
1939
ac_compiler_gnu=$ac_cv_c_compiler_gnu
1940
if test -n "$ac_tool_prefix"; then
1941
  # Extract the first word of "${ac_tool_prefix}gcc", so it can be a program name with args.
1942
set dummy ${ac_tool_prefix}gcc; ac_word=$2
1943
{ $as_echo "$as_me:${as_lineno-$LINENO}: checking for $ac_word" >&5
1944
$as_echo_n "checking for $ac_word... " >&6; }
1945
if ${ac_cv_prog_CC+:} false; then :
1946
  $as_echo_n "(cached) " >&6
1947
else
1948
  if test -n "$CC"; then
1949
  ac_cv_prog_CC="$CC" # Let the user override the test.
1950
else
1951
as_save_IFS=$IFS; IFS=$PATH_SEPARATOR
1952
for as_dir in $PATH
1953
do
1954
  IFS=$as_save_IFS
1955
  test -z "$as_dir" && as_dir=.
1956
    for ac_exec_ext in '' $ac_executable_extensions; do
1957
  if as_fn_executable_p "$as_dir/$ac_word$ac_exec_ext"; then
1958
    ac_cv_prog_CC="${ac_tool_prefix}gcc"
1959
    $as_echo "$as_me:${as_lineno-$LINENO}: found $as_dir/$ac_word$ac_exec_ext" >&5
1960
    break 2
1961
  fi
1962
done
1963
  done
1964
IFS=$as_save_IFS
1965

  
1966
fi
1967
fi
1968
CC=$ac_cv_prog_CC
1969
if test -n "$CC"; then
1970
  { $as_echo "$as_me:${as_lineno-$LINENO}: result: $CC" >&5
1971
$as_echo "$CC" >&6; }
1972
else
1973
  { $as_echo "$as_me:${as_lineno-$LINENO}: result: no" >&5
1974
$as_echo "no" >&6; }
1975
fi
1976

  
1977

  
1978
fi
1979
if test -z "$ac_cv_prog_CC"; then
1980
  ac_ct_CC=$CC
1981
  # Extract the first word of "gcc", so it can be a program name with args.
1982
set dummy gcc; ac_word=$2
1983
{ $as_echo "$as_me:${as_lineno-$LINENO}: checking for $ac_word" >&5
1984
$as_echo_n "checking for $ac_word... " >&6; }
1985
if ${ac_cv_prog_ac_ct_CC+:} false; then :
1986
  $as_echo_n "(cached) " >&6
1987
else
1988
  if test -n "$ac_ct_CC"; then
1989
  ac_cv_prog_ac_ct_CC="$ac_ct_CC" # Let the user override the test.
1990
else
1991
as_save_IFS=$IFS; IFS=$PATH_SEPARATOR
1992
for as_dir in $PATH
1993
do
1994
  IFS=$as_save_IFS
1995
  test -z "$as_dir" && as_dir=.
1996
    for ac_exec_ext in '' $ac_executable_extensions; do
1997
  if as_fn_executable_p "$as_dir/$ac_word$ac_exec_ext"; then
1998
    ac_cv_prog_ac_ct_CC="gcc"
1999
    $as_echo "$as_me:${as_lineno-$LINENO}: found $as_dir/$ac_word$ac_exec_ext" >&5
2000
    break 2
2001
  fi
2002
done
2003
  done
2004
IFS=$as_save_IFS
2005

  
2006
fi
2007
fi
2008
ac_ct_CC=$ac_cv_prog_ac_ct_CC
2009
if test -n "$ac_ct_CC"; then
2010
  { $as_echo "$as_me:${as_lineno-$LINENO}: result: $ac_ct_CC" >&5
2011
$as_echo "$ac_ct_CC" >&6; }
2012
else
2013
  { $as_echo "$as_me:${as_lineno-$LINENO}: result: no" >&5
2014
$as_echo "no" >&6; }
2015
fi
2016

  
2017
  if test "x$ac_ct_CC" = x; then
2018
    CC=""
2019
  else
2020
    case $cross_compiling:$ac_tool_warned in
2021
yes:)
2022
{ $as_echo "$as_me:${as_lineno-$LINENO}: WARNING: using cross tools not prefixed with host triplet" >&5
2023
$as_echo "$as_me: WARNING: using cross tools not prefixed with host triplet" >&2;}
2024
ac_tool_warned=yes ;;
2025
esac
2026
    CC=$ac_ct_CC
2027
  fi
2028
else
2029
  CC="$ac_cv_prog_CC"
2030
fi
2031

  
2032
if test -z "$CC"; then
2033
          if test -n "$ac_tool_prefix"; then
2034
    # Extract the first word of "${ac_tool_prefix}cc", so it can be a program name with args.
2035
set dummy ${ac_tool_prefix}cc; ac_word=$2
2036
{ $as_echo "$as_me:${as_lineno-$LINENO}: checking for $ac_word" >&5
2037
$as_echo_n "checking for $ac_word... " >&6; }
2038
if ${ac_cv_prog_CC+:} false; then :
2039
  $as_echo_n "(cached) " >&6
2040
else
2041
  if test -n "$CC"; then
2042
  ac_cv_prog_CC="$CC" # Let the user override the test.
2043
else
2044
as_save_IFS=$IFS; IFS=$PATH_SEPARATOR
2045
for as_dir in $PATH
2046
do
2047
  IFS=$as_save_IFS
2048
  test -z "$as_dir" && as_dir=.
2049
    for ac_exec_ext in '' $ac_executable_extensions; do
2050
  if as_fn_executable_p "$as_dir/$ac_word$ac_exec_ext"; then
2051
    ac_cv_prog_CC="${ac_tool_prefix}cc"
2052
    $as_echo "$as_me:${as_lineno-$LINENO}: found $as_dir/$ac_word$ac_exec_ext" >&5
2053
    break 2
2054
  fi
2055
done
2056
  done
2057
IFS=$as_save_IFS
2058

  
2059
fi
2060
fi
2061
CC=$ac_cv_prog_CC
2062
if test -n "$CC"; then
2063
  { $as_echo "$as_me:${as_lineno-$LINENO}: result: $CC" >&5
2064
$as_echo "$CC" >&6; }
2065
else
2066
  { $as_echo "$as_me:${as_lineno-$LINENO}: result: no" >&5
2067
$as_echo "no" >&6; }
2068
fi
2069

  
2070

  
2071
  fi
2072
fi
2073
if test -z "$CC"; then
2074
  # Extract the first word of "cc", so it can be a program name with args.
2075
set dummy cc; ac_word=$2
2076
{ $as_echo "$as_me:${as_lineno-$LINENO}: checking for $ac_word" >&5
2077
$as_echo_n "checking for $ac_word... " >&6; }
2078
if ${ac_cv_prog_CC+:} false; then :
2079
  $as_echo_n "(cached) " >&6
2080
else
2081
  if test -n "$CC"; then
2082
  ac_cv_prog_CC="$CC" # Let the user override the test.
2083
else
2084
  ac_prog_rejected=no
2085
as_save_IFS=$IFS; IFS=$PATH_SEPARATOR
2086
for as_dir in $PATH
2087
do
2088
  IFS=$as_save_IFS
2089
  test -z "$as_dir" && as_dir=.
2090
    for ac_exec_ext in '' $ac_executable_extensions; do
2091
  if as_fn_executable_p "$as_dir/$ac_word$ac_exec_ext"; then
2092
    if test "$as_dir/$ac_word$ac_exec_ext" = "/usr/ucb/cc"; then
2093
       ac_prog_rejected=yes
2094
       continue
2095
     fi
2096
    ac_cv_prog_CC="cc"
2097
    $as_echo "$as_me:${as_lineno-$LINENO}: found $as_dir/$ac_word$ac_exec_ext" >&5
2098
    break 2
2099
  fi
2100
done
2101
  done
2102
IFS=$as_save_IFS
2103

  
2104
if test $ac_prog_rejected = yes; then
2105
  # We found a bogon in the path, so make sure we never use it.
2106
  set dummy $ac_cv_prog_CC
2107
  shift
2108
  if test $@%:@ != 0; then
2109
    # We chose a different compiler from the bogus one.
2110
    # However, it has the same basename, so the bogon will be chosen
2111
    # first if we set CC to just the basename; use the full file name.
2112
    shift
2113
    ac_cv_prog_CC="$as_dir/$ac_word${1+' '}$@"
2114
  fi
2115
fi
2116
fi
2117
fi
2118
CC=$ac_cv_prog_CC
2119
if test -n "$CC"; then
2120
  { $as_echo "$as_me:${as_lineno-$LINENO}: result: $CC" >&5
2121
$as_echo "$CC" >&6; }
2122
else
2123
  { $as_echo "$as_me:${as_lineno-$LINENO}: result: no" >&5
2124
$as_echo "no" >&6; }
2125
fi
2126

  
2127

  
2128
fi
2129
if test -z "$CC"; then
2130
  if test -n "$ac_tool_prefix"; then
2131
  for ac_prog in cl.exe
2132
  do
2133
    # Extract the first word of "$ac_tool_prefix$ac_prog", so it can be a program name with args.
2134
set dummy $ac_tool_prefix$ac_prog; ac_word=$2
2135
{ $as_echo "$as_me:${as_lineno-$LINENO}: checking for $ac_word" >&5
2136
$as_echo_n "checking for $ac_word... " >&6; }
2137
if ${ac_cv_prog_CC+:} false; then :
2138
  $as_echo_n "(cached) " >&6
2139
else
2140
  if test -n "$CC"; then
2141
  ac_cv_prog_CC="$CC" # Let the user override the test.
2142
else
2143
as_save_IFS=$IFS; IFS=$PATH_SEPARATOR
2144
for as_dir in $PATH
2145
do
2146
  IFS=$as_save_IFS
2147
  test -z "$as_dir" && as_dir=.
2148
    for ac_exec_ext in '' $ac_executable_extensions; do
2149
  if as_fn_executable_p "$as_dir/$ac_word$ac_exec_ext"; then
2150
    ac_cv_prog_CC="$ac_tool_prefix$ac_prog"
2151
    $as_echo "$as_me:${as_lineno-$LINENO}: found $as_dir/$ac_word$ac_exec_ext" >&5
2152
    break 2
2153
  fi
2154
done
2155
  done
2156
IFS=$as_save_IFS
2157

  
2158
fi
2159
fi
2160
CC=$ac_cv_prog_CC
2161
if test -n "$CC"; then
2162
  { $as_echo "$as_me:${as_lineno-$LINENO}: result: $CC" >&5
2163
$as_echo "$CC" >&6; }
2164
else
2165
  { $as_echo "$as_me:${as_lineno-$LINENO}: result: no" >&5
2166
$as_echo "no" >&6; }
2167
fi
2168

  
2169

  
2170
    test -n "$CC" && break
2171
  done
2172
fi
2173
if test -z "$CC"; then
2174
  ac_ct_CC=$CC
2175
  for ac_prog in cl.exe
2176
do
2177
  # Extract the first word of "$ac_prog", so it can be a program name with args.
2178
set dummy $ac_prog; ac_word=$2
2179
{ $as_echo "$as_me:${as_lineno-$LINENO}: checking for $ac_word" >&5
2180
$as_echo_n "checking for $ac_word... " >&6; }
2181
if ${ac_cv_prog_ac_ct_CC+:} false; then :
2182
  $as_echo_n "(cached) " >&6
2183
else
2184
  if test -n "$ac_ct_CC"; then
2185
  ac_cv_prog_ac_ct_CC="$ac_ct_CC" # Let the user override the test.
2186
else
2187
as_save_IFS=$IFS; IFS=$PATH_SEPARATOR
2188
for as_dir in $PATH
2189
do
2190
  IFS=$as_save_IFS
2191
  test -z "$as_dir" && as_dir=.
2192
    for ac_exec_ext in '' $ac_executable_extensions; do
2193
  if as_fn_executable_p "$as_dir/$ac_word$ac_exec_ext"; then
2194
    ac_cv_prog_ac_ct_CC="$ac_prog"
2195
    $as_echo "$as_me:${as_lineno-$LINENO}: found $as_dir/$ac_word$ac_exec_ext" >&5
2196
    break 2
2197
  fi
2198
done
2199
  done
2200
IFS=$as_save_IFS
2201

  
2202
fi
2203
fi
2204
ac_ct_CC=$ac_cv_prog_ac_ct_CC
2205
if test -n "$ac_ct_CC"; then
2206
  { $as_echo "$as_me:${as_lineno-$LINENO}: result: $ac_ct_CC" >&5
2207
$as_echo "$ac_ct_CC" >&6; }
2208
else
2209
  { $as_echo "$as_me:${as_lineno-$LINENO}: result: no" >&5
2210
$as_echo "no" >&6; }
2211
fi
2212

  
2213

  
2214
  test -n "$ac_ct_CC" && break
2215
done
2216

  
2217
  if test "x$ac_ct_CC" = x; then
2218
    CC=""
2219
  else
2220
    case $cross_compiling:$ac_tool_warned in
2221
yes:)
2222
{ $as_echo "$as_me:${as_lineno-$LINENO}: WARNING: using cross tools not prefixed with host triplet" >&5
2223
$as_echo "$as_me: WARNING: using cross tools not prefixed with host triplet" >&2;}
2224
ac_tool_warned=yes ;;
2225
esac
2226
    CC=$ac_ct_CC
2227
  fi
2228
fi
2229

  
2230
fi
2231

  
2232

  
2233
test -z "$CC" && { { $as_echo "$as_me:${as_lineno-$LINENO}: error: in \`$ac_pwd':" >&5
2234
$as_echo "$as_me: error: in \`$ac_pwd':" >&2;}
2235
as_fn_error $? "no acceptable C compiler found in \$PATH
2236
See \`config.log' for more details" "$LINENO" 5; }
2237

  
2238
# Provide some information about the compiler.
2239
$as_echo "$as_me:${as_lineno-$LINENO}: checking for C compiler version" >&5
2240
set X $ac_compile
2241
ac_compiler=$2
2242
for ac_option in --version -v -V -qversion; do
2243
  { { ac_try="$ac_compiler $ac_option >&5"
2244
case "(($ac_try" in
2245
  *\"* | *\`* | *\\*) ac_try_echo=\$ac_try;;
2246
  *) ac_try_echo=$ac_try;;
2247
esac
2248
eval ac_try_echo="\"\$as_me:${as_lineno-$LINENO}: $ac_try_echo\""
2249
$as_echo "$ac_try_echo"; } >&5
2250
  (eval "$ac_compiler $ac_option >&5") 2>conftest.err
2251
  ac_status=$?
2252
  if test -s conftest.err; then
2253
    sed '10a\
2254
... rest of stderr output deleted ...
2255
         10q' conftest.err >conftest.er1
2256
    cat conftest.er1 >&5
2257
  fi
2258
  rm -f conftest.er1 conftest.err
2259
  $as_echo "$as_me:${as_lineno-$LINENO}: \$? = $ac_status" >&5
2260
  test $ac_status = 0; }
2261
done
2262

  
2263
cat confdefs.h - <<_ACEOF >conftest.$ac_ext
2264
/* end confdefs.h.  */
2265

  
2266
int
2267
main ()
2268
{
2269

  
2270
  ;
2271
  return 0;
2272
}
2273
_ACEOF
2274
ac_clean_files_save=$ac_clean_files
2275
ac_clean_files="$ac_clean_files a.out a.out.dSYM a.exe b.out"
2276
# Try to create an executable without -o first, disregard a.out.
2277
# It will help us diagnose broken compilers, and finding out an intuition
2278
# of exeext.
2279
{ $as_echo "$as_me:${as_lineno-$LINENO}: checking whether the C compiler works" >&5
2280
$as_echo_n "checking whether the C compiler works... " >&6; }
2281
ac_link_default=`$as_echo "$ac_link" | sed 's/ -o *conftest[^ ]*//'`
2282

  
2283
# The possible output files:
2284
ac_files="a.out conftest.exe conftest a.exe a_out.exe b.out conftest.*"
2285

  
2286
ac_rmfiles=
2287
for ac_file in $ac_files
2288
do
2289
  case $ac_file in
2290
    *.$ac_ext | *.xcoff | *.tds | *.d | *.pdb | *.xSYM | *.bb | *.bbg | *.map | *.inf | *.dSYM | *.o | *.obj ) ;;
2291
    * ) ac_rmfiles="$ac_rmfiles $ac_file";;
2292
  esac
2293
done
2294
rm -f $ac_rmfiles
2295

  
2296
if { { ac_try="$ac_link_default"
2297
case "(($ac_try" in
2298
  *\"* | *\`* | *\\*) ac_try_echo=\$ac_try;;
2299
  *) ac_try_echo=$ac_try;;
2300
esac
2301
eval ac_try_echo="\"\$as_me:${as_lineno-$LINENO}: $ac_try_echo\""
2302
$as_echo "$ac_try_echo"; } >&5
2303
  (eval "$ac_link_default") 2>&5
2304
  ac_status=$?
2305
  $as_echo "$as_me:${as_lineno-$LINENO}: \$? = $ac_status" >&5
2306
  test $ac_status = 0; }; then :
2307
  # Autoconf-2.13 could set the ac_cv_exeext variable to `no'.
2308
# So ignore a value of `no', otherwise this would lead to `EXEEXT = no'
2309
# in a Makefile.  We should not override ac_cv_exeext if it was cached,
2310
# so that the user can short-circuit this test for compilers unknown to
2311
# Autoconf.
2312
for ac_file in $ac_files ''
2313
do
2314
  test -f "$ac_file" || continue
2315
  case $ac_file in
2316
    *.$ac_ext | *.xcoff | *.tds | *.d | *.pdb | *.xSYM | *.bb | *.bbg | *.map | *.inf | *.dSYM | *.o | *.obj )
2317
	;;
2318
    [ab].out )
2319
	# We found the default executable, but exeext='' is most
2320
	# certainly right.
2321
	break;;
2322
    *.* )
2323
	if test "${ac_cv_exeext+set}" = set && test "$ac_cv_exeext" != no;
2324
	then :; else
2325
	   ac_cv_exeext=`expr "$ac_file" : '[^.]*\(\..*\)'`
2326
	fi
2327
	# We set ac_cv_exeext here because the later test for it is not
2328
	# safe: cross compilers may not add the suffix if given an `-o'
2329
	# argument, so we may need to know it at that point already.
2330
	# Even if this section looks crufty: it has the advantage of
2331
	# actually working.
2332
	break;;
2333
    * )
2334
	break;;
2335
  esac
2336
done
2337
test "$ac_cv_exeext" = no && ac_cv_exeext=
2338

  
2339
else
2340
  ac_file=''
2341
fi
2342
if test -z "$ac_file"; then :
2343
  { $as_echo "$as_me:${as_lineno-$LINENO}: result: no" >&5
2344
$as_echo "no" >&6; }
2345
$as_echo "$as_me: failed program was:" >&5
2346
sed 's/^/| /' conftest.$ac_ext >&5
2347

  
2348
{ { $as_echo "$as_me:${as_lineno-$LINENO}: error: in \`$ac_pwd':" >&5
2349
$as_echo "$as_me: error: in \`$ac_pwd':" >&2;}
2350
as_fn_error 77 "C compiler cannot create executables
2351
See \`config.log' for more details" "$LINENO" 5; }
2352
else
2353
  { $as_echo "$as_me:${as_lineno-$LINENO}: result: yes" >&5
2354
$as_echo "yes" >&6; }
2355
fi
2356
{ $as_echo "$as_me:${as_lineno-$LINENO}: checking for C compiler default output file name" >&5
2357
$as_echo_n "checking for C compiler default output file name... " >&6; }
2358
{ $as_echo "$as_me:${as_lineno-$LINENO}: result: $ac_file" >&5
2359
$as_echo "$ac_file" >&6; }
2360
ac_exeext=$ac_cv_exeext
2361

  
2362
rm -f -r a.out a.out.dSYM a.exe conftest$ac_cv_exeext b.out
2363
ac_clean_files=$ac_clean_files_save
2364
{ $as_echo "$as_me:${as_lineno-$LINENO}: checking for suffix of executables" >&5
2365
$as_echo_n "checking for suffix of executables... " >&6; }
2366
if { { ac_try="$ac_link"
2367
case "(($ac_try" in
2368
  *\"* | *\`* | *\\*) ac_try_echo=\$ac_try;;
2369
  *) ac_try_echo=$ac_try;;
2370
esac
2371
eval ac_try_echo="\"\$as_me:${as_lineno-$LINENO}: $ac_try_echo\""
2372
$as_echo "$ac_try_echo"; } >&5
2373
  (eval "$ac_link") 2>&5
2374
  ac_status=$?
2375
  $as_echo "$as_me:${as_lineno-$LINENO}: \$? = $ac_status" >&5
2376
  test $ac_status = 0; }; then :
2377
  # If both `conftest.exe' and `conftest' are `present' (well, observable)
2378
# catch `conftest.exe'.  For instance with Cygwin, `ls conftest' will
2379
# work properly (i.e., refer to `conftest.exe'), while it won't with
2380
# `rm'.
2381
for ac_file in conftest.exe conftest conftest.*; do
2382
  test -f "$ac_file" || continue
2383
  case $ac_file in
2384
    *.$ac_ext | *.xcoff | *.tds | *.d | *.pdb | *.xSYM | *.bb | *.bbg | *.map | *.inf | *.dSYM | *.o | *.obj ) ;;
2385
    *.* ) ac_cv_exeext=`expr "$ac_file" : '[^.]*\(\..*\)'`
2386
	  break;;
2387
    * ) break;;
2388
  esac
2389
done
2390
else
2391
  { { $as_echo "$as_me:${as_lineno-$LINENO}: error: in \`$ac_pwd':" >&5
2392
$as_echo "$as_me: error: in \`$ac_pwd':" >&2;}
2393
as_fn_error $? "cannot compute suffix of executables: cannot compile and link
2394
See \`config.log' for more details" "$LINENO" 5; }
2395
fi
2396
rm -f conftest conftest$ac_cv_exeext
2397
{ $as_echo "$as_me:${as_lineno-$LINENO}: result: $ac_cv_exeext" >&5
2398
$as_echo "$ac_cv_exeext" >&6; }
2399

  
2400
rm -f conftest.$ac_ext
2401
EXEEXT=$ac_cv_exeext
2402
ac_exeext=$EXEEXT
2403
cat confdefs.h - <<_ACEOF >conftest.$ac_ext
2404
/* end confdefs.h.  */
2405
@%:@include <stdio.h>
2406
int
2407
main ()
2408
{
2409
FILE *f = fopen ("conftest.out", "w");
2410
 return ferror (f) || fclose (f) != 0;
2411

  
2412
  ;
2413
  return 0;
2414
}
2415
_ACEOF
2416
ac_clean_files="$ac_clean_files conftest.out"
2417
# Check that the compiler produces executables we can run.  If not, either
2418
# the compiler is broken, or we cross compile.
2419
{ $as_echo "$as_me:${as_lineno-$LINENO}: checking whether we are cross compiling" >&5
2420
$as_echo_n "checking whether we are cross compiling... " >&6; }
2421
if test "$cross_compiling" != yes; then
2422
  { { ac_try="$ac_link"
2423
case "(($ac_try" in
2424
  *\"* | *\`* | *\\*) ac_try_echo=\$ac_try;;
2425
  *) ac_try_echo=$ac_try;;
2426
esac
2427
eval ac_try_echo="\"\$as_me:${as_lineno-$LINENO}: $ac_try_echo\""
2428
$as_echo "$ac_try_echo"; } >&5
2429
  (eval "$ac_link") 2>&5
2430
  ac_status=$?
2431
  $as_echo "$as_me:${as_lineno-$LINENO}: \$? = $ac_status" >&5
2432
  test $ac_status = 0; }
2433
  if { ac_try='./conftest$ac_cv_exeext'
2434
  { { case "(($ac_try" in
2435
  *\"* | *\`* | *\\*) ac_try_echo=\$ac_try;;
2436
  *) ac_try_echo=$ac_try;;
2437
esac
2438
eval ac_try_echo="\"\$as_me:${as_lineno-$LINENO}: $ac_try_echo\""
2439
$as_echo "$ac_try_echo"; } >&5
2440
  (eval "$ac_try") 2>&5
2441
  ac_status=$?
2442
  $as_echo "$as_me:${as_lineno-$LINENO}: \$? = $ac_status" >&5
2443
  test $ac_status = 0; }; }; then
2444
    cross_compiling=no
2445
  else
2446
    if test "$cross_compiling" = maybe; then
2447
	cross_compiling=yes
2448
    else
2449
	{ { $as_echo "$as_me:${as_lineno-$LINENO}: error: in \`$ac_pwd':" >&5
2450
$as_echo "$as_me: error: in \`$ac_pwd':" >&2;}
2451
as_fn_error $? "cannot run C compiled programs.
2452
If you meant to cross compile, use \`--host'.
2453
See \`config.log' for more details" "$LINENO" 5; }
2454
    fi
2455
  fi
2456
fi
2457
{ $as_echo "$as_me:${as_lineno-$LINENO}: result: $cross_compiling" >&5
2458
$as_echo "$cross_compiling" >&6; }
2459

  
2460
rm -f conftest.$ac_ext conftest$ac_cv_exeext conftest.out
2461
ac_clean_files=$ac_clean_files_save
2462
{ $as_echo "$as_me:${as_lineno-$LINENO}: checking for suffix of object files" >&5
2463
$as_echo_n "checking for suffix of object files... " >&6; }
2464
if ${ac_cv_objext+:} false; then :
2465
  $as_echo_n "(cached) " >&6
2466
else
2467
  cat confdefs.h - <<_ACEOF >conftest.$ac_ext
2468
/* end confdefs.h.  */
2469

  
2470
int
2471
main ()
2472
{
2473

  
2474
  ;
2475
  return 0;
2476
}
2477
_ACEOF
2478
rm -f conftest.o conftest.obj
2479
if { { ac_try="$ac_compile"
2480
case "(($ac_try" in
2481
  *\"* | *\`* | *\\*) ac_try_echo=\$ac_try;;
2482
  *) ac_try_echo=$ac_try;;
2483
esac
2484
eval ac_try_echo="\"\$as_me:${as_lineno-$LINENO}: $ac_try_echo\""
2485
$as_echo "$ac_try_echo"; } >&5
2486
  (eval "$ac_compile") 2>&5
2487
  ac_status=$?
2488
  $as_echo "$as_me:${as_lineno-$LINENO}: \$? = $ac_status" >&5
2489
  test $ac_status = 0; }; then :
2490
  for ac_file in conftest.o conftest.obj conftest.*; do
2491
  test -f "$ac_file" || continue;
2492
  case $ac_file in
2493
    *.$ac_ext | *.xcoff | *.tds | *.d | *.pdb | *.xSYM | *.bb | *.bbg | *.map | *.inf | *.dSYM ) ;;
2494
    *) ac_cv_objext=`expr "$ac_file" : '.*\.\(.*\)'`
2495
       break;;
2496
  esac
2497
done
2498
else
2499
  $as_echo "$as_me: failed program was:" >&5
2500
sed 's/^/| /' conftest.$ac_ext >&5
2501

  
2502
{ { $as_echo "$as_me:${as_lineno-$LINENO}: error: in \`$ac_pwd':" >&5
2503
$as_echo "$as_me: error: in \`$ac_pwd':" >&2;}
2504
as_fn_error $? "cannot compute suffix of object files: cannot compile
2505
See \`config.log' for more details" "$LINENO" 5; }
2506
fi
2507
rm -f conftest.$ac_cv_objext conftest.$ac_ext
2508
fi
2509
{ $as_echo "$as_me:${as_lineno-$LINENO}: result: $ac_cv_objext" >&5
2510
$as_echo "$ac_cv_objext" >&6; }
2511
OBJEXT=$ac_cv_objext
2512
ac_objext=$OBJEXT
2513
{ $as_echo "$as_me:${as_lineno-$LINENO}: checking whether we are using the GNU C compiler" >&5
2514
$as_echo_n "checking whether we are using the GNU C compiler... " >&6; }
2515
if ${ac_cv_c_compiler_gnu+:} false; then :
2516
  $as_echo_n "(cached) " >&6
2517
else
2518
  cat confdefs.h - <<_ACEOF >conftest.$ac_ext
2519
/* end confdefs.h.  */
2520

  
2521
int
2522
main ()
2523
{
2524
#ifndef __GNUC__
2525
       choke me
2526
#endif
2527

  
2528
  ;
2529
  return 0;
2530
}
2531
_ACEOF
2532
if ac_fn_c_try_compile "$LINENO"; then :
2533
  ac_compiler_gnu=yes
2534
else
2535
  ac_compiler_gnu=no
2536
fi
2537
rm -f core conftest.err conftest.$ac_objext conftest.$ac_ext
2538
ac_cv_c_compiler_gnu=$ac_compiler_gnu
2539

  
2540
fi
2541
{ $as_echo "$as_me:${as_lineno-$LINENO}: result: $ac_cv_c_compiler_gnu" >&5
2542
$as_echo "$ac_cv_c_compiler_gnu" >&6; }
2543
if test $ac_compiler_gnu = yes; then
2544
  GCC=yes
2545
else
2546
  GCC=
2547
fi
2548
ac_test_CFLAGS=${CFLAGS+set}
2549
ac_save_CFLAGS=$CFLAGS
2550
{ $as_echo "$as_me:${as_lineno-$LINENO}: checking whether $CC accepts -g" >&5
2551
$as_echo_n "checking whether $CC accepts -g... " >&6; }
2552
if ${ac_cv_prog_cc_g+:} false; then :
2553
  $as_echo_n "(cached) " >&6
2554
else
2555
  ac_save_c_werror_flag=$ac_c_werror_flag
2556
   ac_c_werror_flag=yes
2557
   ac_cv_prog_cc_g=no
2558
   CFLAGS="-g"
2559
   cat confdefs.h - <<_ACEOF >conftest.$ac_ext
2560
/* end confdefs.h.  */
2561

  
2562
int
2563
main ()
2564
{
2565

  
2566
  ;
2567
  return 0;
2568
}
2569
_ACEOF
2570
if ac_fn_c_try_compile "$LINENO"; then :
2571
  ac_cv_prog_cc_g=yes
2572
else
2573
  CFLAGS=""
2574
      cat confdefs.h - <<_ACEOF >conftest.$ac_ext
2575
/* end confdefs.h.  */
2576

  
2577
int
2578
main ()
2579
{
2580

  
2581
  ;
2582
  return 0;
2583
}
2584
_ACEOF
2585
if ac_fn_c_try_compile "$LINENO"; then :
2586
  
2587
else
2588
  ac_c_werror_flag=$ac_save_c_werror_flag
2589
	 CFLAGS="-g"
2590
	 cat confdefs.h - <<_ACEOF >conftest.$ac_ext
2591
/* end confdefs.h.  */
2592

  
2593
int
2594
main ()
2595
{
2596

  
2597
  ;
2598
  return 0;
2599
}
2600
_ACEOF
2601
if ac_fn_c_try_compile "$LINENO"; then :
2602
  ac_cv_prog_cc_g=yes
2603
fi
2604
rm -f core conftest.err conftest.$ac_objext conftest.$ac_ext
2605
fi
2606
rm -f core conftest.err conftest.$ac_objext conftest.$ac_ext
2607
fi
2608
rm -f core conftest.err conftest.$ac_objext conftest.$ac_ext
2609
   ac_c_werror_flag=$ac_save_c_werror_flag
2610
fi
2611
{ $as_echo "$as_me:${as_lineno-$LINENO}: result: $ac_cv_prog_cc_g" >&5
2612
$as_echo "$ac_cv_prog_cc_g" >&6; }
2613
if test "$ac_test_CFLAGS" = set; then
2614
  CFLAGS=$ac_save_CFLAGS
2615
elif test $ac_cv_prog_cc_g = yes; then
2616
  if test "$GCC" = yes; then
2617
    CFLAGS="-g -O2"
2618
  else
2619
    CFLAGS="-g"
2620
  fi
2621
else
2622
  if test "$GCC" = yes; then
2623
    CFLAGS="-O2"
2624
  else
2625
    CFLAGS=
2626
  fi
2627
fi
2628
{ $as_echo "$as_me:${as_lineno-$LINENO}: checking for $CC option to accept ISO C89" >&5
2629
$as_echo_n "checking for $CC option to accept ISO C89... " >&6; }
2630
if ${ac_cv_prog_cc_c89+:} false; then :
2631
  $as_echo_n "(cached) " >&6
2632
else
2633
  ac_cv_prog_cc_c89=no
2634
ac_save_CC=$CC
2635
cat confdefs.h - <<_ACEOF >conftest.$ac_ext
2636
/* end confdefs.h.  */
2637
#include <stdarg.h>
2638
#include <stdio.h>
2639
struct stat;
2640
/* Most of the following tests are stolen from RCS 5.7's src/conf.sh.  */
2641
struct buf { int x; };
2642
FILE * (*rcsopen) (struct buf *, struct stat *, int);
2643
static char *e (p, i)
2644
     char **p;
2645
     int i;
2646
{
2647
  return p[i];
2648
}
2649
static char *f (char * (*g) (char **, int), char **p, ...)
2650
{
2651
  char *s;
2652
  va_list v;
2653
  va_start (v,p);
2654
  s = g (p, va_arg (v,int));
2655
  va_end (v);
2656
  return s;
2657
}
2658

  
2659
/* OSF 4.0 Compaq cc is some sort of almost-ANSI by default.  It has
2660
   function prototypes and stuff, but not '\xHH' hex character constants.
2661
   These don't provoke an error unfortunately, instead are silently treated
2662
   as 'x'.  The following induces an error, until -std is added to get
2663
   proper ANSI mode.  Curiously '\x00'!='x' always comes out true, for an
2664
   array size at least.  It's necessary to write '\x00'==0 to get something
2665
   that's true only with -std.  */
2666
int osf4_cc_array ['\x00' == 0 ? 1 : -1];
2667

  
2668
/* IBM C 6 for AIX is almost-ANSI by default, but it replaces macro parameters
2669
   inside strings and character constants.  */
2670
#define FOO(x) 'x'
2671
int xlc6_cc_array[FOO(a) == 'x' ? 1 : -1];
2672

  
2673
int test (int i, double x);
2674
struct s1 {int (*f) (int a);};
2675
struct s2 {int (*f) (double a);};
2676
int pairnames (int, char **, FILE *(*)(struct buf *, struct stat *, int), int, int);
2677
int argc;
2678
char **argv;
2679
int
2680
main ()
2681
{
2682
return f (e, argv, 0) != argv[0]  ||  f (e, argv, 1) != argv[1];
2683
  ;
2684
  return 0;
2685
}
2686
_ACEOF
2687
for ac_arg in '' -qlanglvl=extc89 -qlanglvl=ansi -std \
2688
	-Ae "-Aa -D_HPUX_SOURCE" "-Xc -D__EXTENSIONS__"
2689
do
2690
  CC="$ac_save_CC $ac_arg"
2691
  if ac_fn_c_try_compile "$LINENO"; then :
2692
  ac_cv_prog_cc_c89=$ac_arg
2693
fi
2694
rm -f core conftest.err conftest.$ac_objext
2695
  test "x$ac_cv_prog_cc_c89" != "xno" && break
2696
done
2697
rm -f conftest.$ac_ext
2698
CC=$ac_save_CC
2699

  
2700
fi
2701
# AC_CACHE_VAL
2702
case "x$ac_cv_prog_cc_c89" in
2703
  x)
2704
    { $as_echo "$as_me:${as_lineno-$LINENO}: result: none needed" >&5
2705
$as_echo "none needed" >&6; } ;;
2706
  xno)
2707
    { $as_echo "$as_me:${as_lineno-$LINENO}: result: unsupported" >&5
2708
$as_echo "unsupported" >&6; } ;;
2709
  *)
2710
    CC="$CC $ac_cv_prog_cc_c89"
2711
    { $as_echo "$as_me:${as_lineno-$LINENO}: result: $ac_cv_prog_cc_c89" >&5
2712
$as_echo "$ac_cv_prog_cc_c89" >&6; } ;;
2713
esac
2714
if test "x$ac_cv_prog_cc_c89" != xno; then :
2715
  
2716
fi
2717

  
2718
ac_ext=c
2719
ac_cpp='$CPP $CPPFLAGS'
2720
ac_compile='$CC -c $CFLAGS $CPPFLAGS conftest.$ac_ext >&5'
2721
ac_link='$CC -o conftest$ac_exeext $CFLAGS $CPPFLAGS $LDFLAGS conftest.$ac_ext $LIBS >&5'
2722
ac_compiler_gnu=$ac_cv_c_compiler_gnu
2723

  
2724

  
2725
{ $as_echo "$as_me:${as_lineno-$LINENO}: checking for __gmpz_init in -lgmp" >&5
2726
$as_echo_n "checking for __gmpz_init in -lgmp... " >&6; }
2727
if ${ac_cv_lib_gmp___gmpz_init+:} false; then :
2728
  $as_echo_n "(cached) " >&6
2729
else
2730
  ac_check_lib_save_LIBS=$LIBS
2731
LIBS="-lgmp  $LIBS"
2732
cat confdefs.h - <<_ACEOF >conftest.$ac_ext
2733
/* end confdefs.h.  */
2734

  
2735
/* Override any GCC internal prototype to avoid an error.
2736
   Use char because int might match the return type of a GCC
2737
   builtin and then its argument prototype would still apply.  */
2738
#ifdef __cplusplus
2739
extern "C"
2740
#endif
2741
char __gmpz_init ();
2742
int
2743
main ()
2744
{
2745
return __gmpz_init ();
2746
  ;
2747
  return 0;
2748
}
2749
_ACEOF
2750
if ac_fn_c_try_link "$LINENO"; then :
2751
  ac_cv_lib_gmp___gmpz_init=yes
2752
else
2753
  ac_cv_lib_gmp___gmpz_init=no
2754
fi
2755
rm -f core conftest.err conftest.$ac_objext \
2756
    conftest$ac_exeext conftest.$ac_ext
2757
LIBS=$ac_check_lib_save_LIBS
2758
fi
2759
{ $as_echo "$as_me:${as_lineno-$LINENO}: result: $ac_cv_lib_gmp___gmpz_init" >&5
2760
$as_echo "$ac_cv_lib_gmp___gmpz_init" >&6; }
2761
if test "x$ac_cv_lib_gmp___gmpz_init" = xyes; then :
2762
  gmp=yes
2763
else
2764
  { $as_echo "$as_me:${as_lineno-$LINENO}: result: GNU MP not found" >&5
2765
$as_echo "GNU MP not found" >&6; }
2766
      gmp=no
2767
fi
2768

  
2769

  
2770
{ $as_echo "$as_me:${as_lineno-$LINENO}: checking for mpfr_add in -lmpfr" >&5
2771
$as_echo_n "checking for mpfr_add in -lmpfr... " >&6; }
2772
if ${ac_cv_lib_mpfr_mpfr_add+:} false; then :
2773
  $as_echo_n "(cached) " >&6
2774
else
2775
  ac_check_lib_save_LIBS=$LIBS
2776
LIBS="-lmpfr  $LIBS"
2777
cat confdefs.h - <<_ACEOF >conftest.$ac_ext
2778
/* end confdefs.h.  */
2779

  
2780
/* Override any GCC internal prototype to avoid an error.
2781
   Use char because int might match the return type of a GCC
2782
   builtin and then its argument prototype would still apply.  */
2783
#ifdef __cplusplus
2784
extern "C"
2785
#endif
2786
char mpfr_add ();
2787
int
2788
main ()
2789
{
2790
return mpfr_add ();
2791
  ;
2792
  return 0;
2793
}
2794
_ACEOF
2795
if ac_fn_c_try_link "$LINENO"; then :
2796
  ac_cv_lib_mpfr_mpfr_add=yes
2797
else
2798
  ac_cv_lib_mpfr_mpfr_add=no
2799
fi
2800
rm -f core conftest.err conftest.$ac_objext \
2801
    conftest$ac_exeext conftest.$ac_ext
2802
LIBS=$ac_check_lib_save_LIBS
2803
fi
2804
{ $as_echo "$as_me:${as_lineno-$LINENO}: result: $ac_cv_lib_mpfr_mpfr_add" >&5
2805
$as_echo "$ac_cv_lib_mpfr_mpfr_add" >&6; }
2806
if test "x$ac_cv_lib_mpfr_mpfr_add" = xyes; then :
2807
  mpfr=yes
2808
else
2809
  { $as_echo "$as_me:${as_lineno-$LINENO}: result: MPFR not found" >&5
2810
$as_echo "MPFR not found" >&6; }
2811
mpfr=no
2812
fi
2813

  
2814

  
1822 2815

  
1823 2816
# Workaround to solve an issue with ocamlbuild and C libraries.
1824 2817
# oCFLAGS="$CFLAGS"
......
1856 2849

  
1857 2850

  
1858 2851
# Instanciation
1859
ac_config_files="$ac_config_files Makefile src/Makefile src/version.ml"
2852
ac_config_files="$ac_config_files Makefile src/Makefile src/version.ml test/test-compile.sh"
1860 2853

  
1861 2854

  
1862 2855
cat >confcache <<\_ACEOF
......
2401 3394
# report actual input values of CONFIG_FILES etc. instead of their
2402 3395
# values after options handling.
2403 3396
ac_log="
2404
This file was extended by lustrec $as_me 1.1-Unversioned directory, which was
3397
This file was extended by lustrec $as_me 1.3-      55, which was
2405 3398
generated by GNU Autoconf 2.69.  Invocation command line was
2406 3399

  
2407 3400
  CONFIG_FILES    = $CONFIG_FILES
......
2454 3447
cat >>$CONFIG_STATUS <<_ACEOF || ac_write_fail=1
2455 3448
ac_cs_config="`$as_echo "$ac_configure_args" | sed 's/^ //; s/[\\""\`\$]/\\\\&/g'`"
2456 3449
ac_cs_version="\\
2457
lustrec config.status 1.1-Unversioned directory
3450
lustrec config.status 1.3-      55
2458 3451
configured by $0, generated by GNU Autoconf 2.69,
2459 3452
  with options \\"\$ac_cs_config\\"
2460 3453

  
......
2567 3560
    "Makefile") CONFIG_FILES="$CONFIG_FILES Makefile" ;;
2568 3561
    "src/Makefile") CONFIG_FILES="$CONFIG_FILES src/Makefile" ;;
2569 3562
    "src/version.ml") CONFIG_FILES="$CONFIG_FILES src/version.ml" ;;
3563
    "test/test-compile.sh") CONFIG_FILES="$CONFIG_FILES test/test-compile.sh" ;;
2570 3564

  
2571 3565
  *) as_fn_error $? "invalid argument: \`$ac_config_target'" "$LINENO" 5;;
2572 3566
  esac
......
3019 4013

  
3020 4014

  
3021 4015
# summary
4016
{ $as_echo "$as_me:${as_lineno-$LINENO}: ******** Configuration ********" >&5
4017
$as_echo "$as_me: ******** Configuration ********" >&6;}
4018
{ $as_echo "$as_me:${as_lineno-$LINENO}: bin path:     $prefix/bin" >&5
4019
$as_echo "$as_me: bin path:     $prefix/bin" >&6;}
4020
{ $as_echo "$as_me:${as_lineno-$LINENO}: include path: $prefix/include" >&5
4021
$as_echo "$as_me: include path: $prefix/include" >&6;}
4022
{ $as_echo "$as_me:${as_lineno-$LINENO}: ********    Plugins    ********" >&5
4023
$as_echo "$as_me: ********    Plugins    ********" >&6;}
4024

  
4025
  if (test "x$gmp" = xyes -a "x$mpfr" = xyes ); then
4026
       { $as_echo "$as_me:${as_lineno-$LINENO}: -mpfr option enable" >&5
4027
$as_echo "$as_me: -mpfr option enable" >&6;}
4028

  
4029
   else 
4030
       { $as_echo "$as_me:${as_lineno-$LINENO}: WARNING: MPFR option cannot be activated. Requires GMP and MPFR libs" >&5
4031
$as_echo "$as_me: WARNING: MPFR option cannot be activated. Requires GMP and MPFR libs" >&2;}
4032
      
4033
   fi
4034
 
4035
{ $as_echo "$as_me:${as_lineno-$LINENO}: " >&5
4036
$as_echo "$as_me: " >&6;}
4037
{ $as_echo "$as_me:${as_lineno-$LINENO}: ******** Configuration ********" >&5
4038
$as_echo "$as_me: ******** Configuration ********" >&6;}
4039

  
autom4te.cache/requests
14 14
                        'configure.ac'
15 15
                      ],
16 16
                      {
17
                        'm4_pattern_allow' => 1,
18
                        'AC_CANONICAL_SYSTEM' => 1,
19
                        'AM_PROG_F77_C_O' => 1,
20
                        'AC_FC_PP_DEFINE' => 1,
21
                        'AM_INIT_AUTOMAKE' => 1,
22
                        'LT_CONFIG_LTDL_DIR' => 1,
23
                        'AC_LIBSOURCE' => 1,
24
                        'AM_POT_TOOLS' => 1,
25
                        'AC_CONFIG_LINKS' => 1,
26
                        'LT_INIT' => 1,
27
                        '_AM_COND_IF' => 1,
28
                        'AM_MAKEFILE_INCLUDE' => 1,
29
                        '_AM_COND_ELSE' => 1,
30
                        'AC_CONFIG_SUBDIRS' => 1,
31
                        'AC_SUBST' => 1,
32
                        'AC_DEFINE_TRACE_LITERAL' => 1,
33
                        'm4_include' => 1,
34
                        'm4_pattern_forbid' => 1,
35
                        'AM_GNU_GETTEXT_INTL_SUBDIR' => 1,
36 17
                        '_AM_MAKEFILE_INCLUDE' => 1,
37
                        'AM_PROG_AR' => 1,
38
                        'LT_SUPPORTED_TAG' => 1,
39
                        'AC_CONFIG_AUX_DIR' => 1,
40
                        'AC_CONFIG_LIBOBJ_DIR' => 1,
41
                        'AC_PROG_LIBTOOL' => 1,
42
                        'AC_FC_PP_SRCEXT' => 1,
43
                        'AC_CANONICAL_BUILD' => 1,
44
                        'AM_SILENT_RULES' => 1,
18
                        'AC_CANONICAL_SYSTEM' => 1,
19
                        'AC_INIT' => 1,
45 20
                        'AC_CONFIG_FILES' => 1,
46 21
                        '_m4_warn' => 1,
47
                        'AC_FC_SRCEXT' => 1,
48
                        'AC_INIT' => 1,
22
                        'm4_sinclude' => 1,
23
                        'm4_pattern_forbid' => 1,
24
                        '_AM_COND_IF' => 1,
25
                        'AH_OUTPUT' => 1,
26
                        '_AM_COND_ENDIF' => 1,
27
                        'AM_PROG_AR' => 1,
49 28
                        'AC_CANONICAL_TARGET' => 1,
50
                        'AC_CANONICAL_HOST' => 1,
29
                        'LT_SUPPORTED_TAG' => 1,
51 30
                        'AC_FC_FREEFORM' => 1,
52
                        'AH_OUTPUT' => 1,
31
                        'AM_PROG_F77_C_O' => 1,
32
                        '_LT_AC_TAGCONFIG' => 1,
53 33
                        '_AM_SUBST_NOTMAKE' => 1,
54
                        'm4_sinclude' => 1,
55
                        'AM_MAINTAINER_MODE' => 1,
56
                        'sinclude' => 1,
57
                        '_AM_COND_ENDIF' => 1,
34
                        'AC_SUBST' => 1,
35
                        'AM_MAKEFILE_INCLUDE' => 1,
36
                        'LT_INIT' => 1,
37
                        'AC_FC_PP_DEFINE' => 1,
38
                        'AC_PROG_LIBTOOL' => 1,
58 39
                        'AM_XGETTEXT_OPTION' => 1,
40
                        'AC_DEFINE_TRACE_LITERAL' => 1,
59 41
                        'AC_SUBST_TRACE' => 1,
60
                        '_LT_AC_TAGCONFIG' => 1,
61
                        'AM_PROG_CXX_C_O' => 1,
62
                        'include' => 1,
63
                        'AM_GNU_GETTEXT' => 1,
64 42
                        'AC_CONFIG_HEADERS' => 1,
43
                        'sinclude' => 1,
44
                        'AC_CONFIG_LIBOBJ_DIR' => 1,
45
                        'AC_LIBSOURCE' => 1,
46
                        'AM_POT_TOOLS' => 1,
47
                        'AM_GNU_GETTEXT' => 1,
48
                        'AM_SILENT_RULES' => 1,
49
                        'm4_include' => 1,
50
                        'AM_PROG_CC_C_O' => 1,
51
                        'AC_CANONICAL_HOST' => 1,
52
                        'include' => 1,
53
                        'AM_INIT_AUTOMAKE' => 1,
54
                        'AM_AUTOMAKE_VERSION' => 1,
55
                        'AM_PATH_GUILE' => 1,
56
                        'AC_REQUIRE_AUX_FILE' => 1,
57
                        'AM_ENABLE_MULTILIB' => 1,
58
                        'AC_CANONICAL_BUILD' => 1,
65 59
                        'AM_NLS' => 1,
60
                        'AC_FC_PP_SRCEXT' => 1,
61
                        'AC_CONFIG_LINKS' => 1,
62
                        'AC_CONFIG_SUBDIRS' => 1,
63
                        'AC_FC_SRCEXT' => 1,
64
                        'AM_PROG_CXX_C_O' => 1,
65
                        'AM_PROG_MOC' => 1,
66
                        'm4_pattern_allow' => 1,
66 67
                        'AM_CONDITIONAL' => 1,
67 68
                        'AM_PROG_FC_C_O' => 1,
68
                        'AC_REQUIRE_AUX_FILE' => 1,
69
                        'AM_PROG_MOC' => 1,
70
                        'AM_ENABLE_MULTILIB' => 1,
71
                        'AM_AUTOMAKE_VERSION' => 1,
72
                        'AM_PROG_CC_C_O' => 1,
73
                        'AM_PATH_GUILE' => 1
69
                        'LT_CONFIG_LTDL_DIR' => 1,
70
                        'AM_MAINTAINER_MODE' => 1,
71
                        '_AM_COND_ELSE' => 1,
72
                        'AC_CONFIG_AUX_DIR' => 1,
73
                        'AM_GNU_GETTEXT_INTL_SUBDIR' => 1
74 74
                      }
75 75
                    ], 'Autom4te::Request' )
76 76
           );
autom4te.cache/traces.0
152 152
m4trace:configure.ac:28: -1- AC_SUBST([OCAMLGRAPH_PATH])
153 153
m4trace:configure.ac:28: -1- AC_SUBST_TRACE([OCAMLGRAPH_PATH])
154 154
m4trace:configure.ac:28: -1- m4_pattern_allow([^OCAMLGRAPH_PATH$])
155
m4trace:configure.ac:30: -1- AC_SUBST([SRC_PATH], [/Users/Teme/Documents/GitHub/onera_lustrec])
155
m4trace:configure.ac:30: -1- AC_SUBST([SRC_PATH], [/Users/Teme/Documents/GitHub/lustrec])
156 156
m4trace:configure.ac:30: -1- AC_SUBST_TRACE([SRC_PATH])
157 157
m4trace:configure.ac:30: -1- m4_pattern_allow([^SRC_PATH$])
158 158
m4trace:configure.ac:32: -1- AC_SUBST([OCAMLC])
......
202 202
m4trace:configure.ac:99: -1- m4_pattern_allow([^abs_datadir$])
203 203
m4trace:configure.ac:99: -1- AC_DEFINE_TRACE_LITERAL([abs_datadir])
204 204
m4trace:configure.ac:99: -1- m4_pattern_allow([^abs_datadir$])
205
m4trace:configure.ac:107: -1- AC_CONFIG_FILES([Makefile
205
m4trace:configure.ac:106: -1- AC_CONFIG_FILES([Makefile
206 206
		 src/Makefile
207
                 src/myocamlbuild.ml
208 207
		 src/version.ml
209 208
		 test/test-compile.sh
210 209
		 ])
211
m4trace:configure.ac:109: -1- AC_SUBST([LIB@&t@OBJS], [$ac_libobjs])
212
m4trace:configure.ac:109: -1- AC_SUBST_TRACE([LIB@&t@OBJS])
213
m4trace:configure.ac:109: -1- m4_pattern_allow([^LIB@&t@OBJS$])
214
m4trace:configure.ac:109: -1- AC_SUBST([LTLIBOBJS], [$ac_ltlibobjs])
215
m4trace:configure.ac:109: -1- AC_SUBST_TRACE([LTLIBOBJS])
216
m4trace:configure.ac:109: -1- m4_pattern_allow([^LTLIBOBJS$])
217
m4trace:configure.ac:109: -1- AC_SUBST_TRACE([top_builddir])
218
m4trace:configure.ac:109: -1- AC_SUBST_TRACE([top_build_prefix])
219
m4trace:configure.ac:109: -1- AC_SUBST_TRACE([srcdir])
220
m4trace:configure.ac:109: -1- AC_SUBST_TRACE([abs_srcdir])
221
m4trace:configure.ac:109: -1- AC_SUBST_TRACE([top_srcdir])
222
m4trace:configure.ac:109: -1- AC_SUBST_TRACE([abs_top_srcdir])
223
m4trace:configure.ac:109: -1- AC_SUBST_TRACE([builddir])
224
m4trace:configure.ac:109: -1- AC_SUBST_TRACE([abs_builddir])
225
m4trace:configure.ac:109: -1- AC_SUBST_TRACE([abs_top_builddir])
210
m4trace:configure.ac:108: -1- AC_SUBST([LIB@&t@OBJS], [$ac_libobjs])
211
m4trace:configure.ac:108: -1- AC_SUBST_TRACE([LIB@&t@OBJS])
212
m4trace:configure.ac:108: -1- m4_pattern_allow([^LIB@&t@OBJS$])
213
m4trace:configure.ac:108: -1- AC_SUBST([LTLIBOBJS], [$ac_ltlibobjs])
214
m4trace:configure.ac:108: -1- AC_SUBST_TRACE([LTLIBOBJS])
215
m4trace:configure.ac:108: -1- m4_pattern_allow([^LTLIBOBJS$])
216
m4trace:configure.ac:108: -1- AC_SUBST_TRACE([top_builddir])
217
m4trace:configure.ac:108: -1- AC_SUBST_TRACE([top_build_prefix])
218
m4trace:configure.ac:108: -1- AC_SUBST_TRACE([srcdir])
219
m4trace:configure.ac:108: -1- AC_SUBST_TRACE([abs_srcdir])
220
m4trace:configure.ac:108: -1- AC_SUBST_TRACE([top_srcdir])
221
m4trace:configure.ac:108: -1- AC_SUBST_TRACE([abs_top_srcdir])
222
m4trace:configure.ac:108: -1- AC_SUBST_TRACE([builddir])
223
m4trace:configure.ac:108: -1- AC_SUBST_TRACE([abs_builddir])
224
m4trace:configure.ac:108: -1- AC_SUBST_TRACE([abs_top_builddir])
include/math.smt2
1
(declare-rel  cbrt (Real Real))
2
(declare-rel  ceil (Real Real))
3
(declare-rel  erf (Real Real))
4
(declare-rel  fabs (Real Real))
5
(declare-rel  pow (Real Real Real))
6
(declare-rel  sqrt (Real Real))
src/backends/Horn/horn_backend_common.ml
69 69

  
70 70
let local_memory_vars machines machine =
71 71
  rename_machine_list machine.mname.node_id machine.mmemory
72
    
72

  
73 73
let instances_memory_vars ?(without_arrow=false) machines machine =
74 74
  let rec aux fst prefix m =
75 75
    (
......
81 81
      List.fold_left (fun accu (id, (n, _)) ->
82 82
	let name = node_name n in
83 83
	if without_arrow && name = "_arrow" then
84
	  accu 
84
	  accu
85 85
	else
86 86
	  let machine_n = get_machine machines name in
87
	  ( aux false (concat prefix 
87
	  ( aux false (concat prefix
88 88
			 (if fst then id else concat m.mname.node_id id))
89 89
	      machine_n ) @ accu
90 90
      ) [] (m.minstances)
......
101 101

  
102 102
let step_vars machines m =
103 103
  (inout_vars machines m)
104
  @ (rename_current_list (full_memory_vars machines m)) 
104
  @ (rename_current_list (full_memory_vars machines m))
105 105
  @ (rename_next_list (full_memory_vars machines m))
106 106

  
107 107
let step_vars_m_x machines m =
108 108
  (inout_vars machines m)
109
  @ (rename_mid_list (full_memory_vars machines m)) 
109
  @ (rename_mid_list (full_memory_vars machines m))
110 110
  @ (rename_next_list (full_memory_vars machines m))
111 111

  
112 112
let reset_vars machines m =
113
  (rename_current_list (full_memory_vars machines m)) 
113
  (rename_current_list (full_memory_vars machines m))
114 114
  @ (rename_mid_list (full_memory_vars machines m))
115 115

  
116 116

  
src/backends/Horn/horn_backend_traces.ml
39 39

  
40 40

  
41 41
(* We extract the annotation dealing with traceability *)
42
let machines_traces machines = 
42
let machines_traces machines =
43 43
  List.map (fun m ->
44 44
    let traces : (ident * expr) list=
45 45
      let all_annots = List.flatten (List.map (fun ann -> ann.annots) m.mannot) in
......
61 61
    m, traces
62 62

  
63 63
  ) machines
64
  
64

  
65 65
let memories_old machines m =
66 66
  List.map (fun (p, v) ->
67 67
    let machine = match p with | [] -> m | (_,m')::_ -> m' in
68 68
    let traces = List.assoc machine (machines_traces machines) in
69
    if List.mem_assoc v.var_id traces then 
69
    if List.mem_assoc v.var_id traces then
70 70
      (
71 71
	(* We take the expression associated to variable v in the trace
72 72
	   info *)
......
75 75
	   Printers.pp_expr (List.assoc v.var_id traces); *)
76 76
	p, List.assoc v.var_id traces
77 77
      )
78
    else 
78
    else
79 79
      begin
80 80

  
81 81
	(* We keep the variable as is: we create an expression v *)
82 82

  
83 83
	(* eprintf "Unable to found variable %a in traces (%a)@."  pp_var v
84 84
	   (Utils.fprintf_list ~sep:", " pp_print_string) (List.map fst
85
	   traces); *)	    
85
	   traces); *)
86 86

  
87 87
	p, mkexpr Location.dummy_loc (Expr_ident v.var_id)
88 88
      end
89 89

  
90 90
  ) (compute_mems machines m)
91
      
91

  
92 92
let memories_next  machines m = (* We remove the topest pre in each expression *)
93 93
  List.map
94 94
    (fun (prefix, ee) ->
......
102 102
      	Printers.pp_expr ee;
103 103
      	assert false)
104 104
    (memories_old machines m)
105
      
105

  
106 106

  
107 107

  
108 108
let pp_prefix_rev fmt prefix =
109
  Utils.fprintf_list ~sep:"." 
110
    (fun fmt (id,n) -> fprintf fmt "(%s,%s)" id n.mname.node_id) 
111
    fmt 
109
  Utils.fprintf_list ~sep:"."
110
    (fun fmt (id,n) -> fprintf fmt "(%s,%s)" id n.mname.node_id)
111
    fmt
112 112
    (List.rev prefix)
113
      
113

  
114 114

  
115 115
let traces_file fmt basename prog machines =
116 116
  fprintf fmt "<?xml version=\"1.0\"?>@.";
... This diff was truncated because it exceeds the maximum size that can be displayed.

Also available in: Unified diff