1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
|
#############################################################################
##
#W configure.ac Laurent Bartholdi
##
#Y Copyright (C) 2012-2014, Laurent Bartholdi
##
#############################################################################
AC_PREREQ(2.65)
LT_PREREQ([2.4.2])
AC_INIT([float],[0.6.0],[laurent.bartholdi@gmail.com])
AC_CONFIG_SRCDIR([src/float.c])
AC_CONFIG_AUX_DIR([build-aux])
AC_CONFIG_MACRO_DIR([m4])
AC_CONFIG_HEADER([src/floatconfig.h:config.h.in])
AC_CANONICAL_TARGET
AM_INIT_AUTOMAKE([foreign])
LT_INIT([disable-static dlopen win32-dll])
AC_PREFIX_DEFAULT([${PWD}])
# Checks for programs.
AC_PROG_CC
AC_PROG_CXX
AX_CC_MAXOPT
# Checks for header files.
AC_HEADER_STDC
AC_CHECK_HEADERS([float.h stdlib.h])
# Checks for typedefs, structures, and compiler characteristics.
AC_C_CONST
AC_C_INLINE
# Locates GAP
AC_FIND_GAP
GMP_CFLAGS="$GAP_CPPFLAGS"
GMP_LDFLAGS="-L$GMP_ROOT/lib" # not very good, maybe the libraries are not there
AC_SYS_IS_CYGWIN
AC_SYS_IS_DARWIN
# External libraries configuration
EXTERN="\$(CURDIR)/bin/$TARGET/extern"
MAKE_LIBTARGETS=""
LT_LIB_M
AC_CHECK_MPFR
AC_CHECK_MPFI
AC_CHECK_MPC
AC_CHECK_CXSC
AC_CHECK_FPLLL
if test "$MAKE_LIBTARGETS" != ""; then # disable external compilation
AC_WARN([The Makefile will have to first compile the external libraries$MAKE_LIBTARGETS; this is a hack, so cross your fingers.])
fi
# how to get files from the web
WGET=""
AC_PATH_PROG(WGET,wget)
if test "$WGET" != ""; then
WGET="$WGET --tries=1 --timeout=10 --no-verbose"; WGET_NOCERTIFICATE="--no-check-certificate";
else
AC_PATH_PROG(CURL,curl)
if test "$CURL" != ""; then
WGET="$CURL --retry 1 --connect-timeout 10 -s -O"; WGET_NOCERTIFICATE="";
else
AC_WARN([Couldn't find any program to download archives from the web. Either you don't need them, or you'll have to download them manually, or install wget or curl.])
fi
fi
AC_SUBST(WGET)
AC_SUBST(WGET_NOCERTIFICATE)
################################################################
# generate files
##mkdir -p bin/$GAPARCH
##mkdir -p extern
##
##CONFIG_STATUS=bin/$GAPARCH/config.status
##
##AC_CONFIG_FILES([$GAP_MAKEFILE:Makefile.in])
##
##if test "$GAP_MAKEFILE" != Makefile; then
## ln -sf "$GAP_MAKEFILE" Makefile
##fi
AC_CONFIG_FILES([
Makefile
src/Makefile
lib/Makefile
tst/Makefile
doc/Makefile
])
AC_OUTPUT
|
