6
6
PREFIX=" /usr/local"
7
7
MPIR_DIR=" /usr"
8
8
MPFR_DIR=" /usr"
9
+ NTL_DIR=" /usr"
10
+ WANT_NTL=0
9
11
SHARED=1
10
12
STATIC=1
11
13
@@ -17,6 +19,7 @@ usage()
17
19
echo " where <args> may be:"
18
20
echo " --with-mpir=<path> Specify location of MPIR"
19
21
echo " --with-mpfr=<path> Specify location of MPFR"
22
+ echo " --with-ntl=<path> Specify location of NTL and build NTL interface"
20
23
echo " --prefix=<path> Specify path to installation location"
21
24
echo " --disable-shared Do not build a shared library"
22
25
echo " --disable-static Do not build a static library"
@@ -36,6 +39,10 @@ until [ -z "$1" ]; do
36
39
" --with-mpfr=" * )
37
40
MPFR_DIR=` expr substr " $1 " 13 length " $1 " `
38
41
;;
42
+ " --with-ntl=" * )
43
+ NTL_DIR=` expr substr " $1 " 12 length " $1 " `
44
+ WANT_NTL=1
45
+ ;;
39
46
" --prefix=" * )
40
47
PREFIX=` expr substr " $1 " 10 length " $1 " `
41
48
;;
83
90
exit 1
84
91
fi
85
92
93
+ if [ -d " ${NTL_DIR} /lib" ]; then
94
+ NTL_LIB_DIR=" ${NTL_DIR} /lib"
95
+ NTL_INCLUDE_DIR=" ${NTL_DIR} /include"
96
+ else
97
+ echo " Invalid NTL directory"
98
+ exit 1
99
+ fi
100
+
86
101
if [ " ` uname` " = " Linux" -a " ` uname -m` " = " x86_64" ]; then
87
102
FLINT_TUNE=" -funroll-loops "
88
103
elif [ " ` uname` " = " Darwin" -a " ` uname -m` " = " Power Macintosh" ]; then
@@ -111,23 +126,35 @@ if [ -z "$CC" ]; then
111
126
CC=gcc
112
127
fi
113
128
129
+ if [ -z " $CXX " ]; then
130
+ CXX=g++
131
+ fi
132
+
114
133
CFLAGS=" $CFLAGS $FLINT_TUNE "
115
134
116
135
echo " # This file is autogenerated by ./configure -- do not edit!" > Makefile
117
136
echo " " >> Makefile
118
- if [ " $STATIC " = " 1" ]; then
137
+ if [ " $STATIC " -eq " 1" ]; then
119
138
echo " FLINT_STATIC=1" >> Makefile
120
139
fi
121
- if [ " $SHARED " = " 1" ]; then
140
+ if [ " $SHARED " -eq " 1" ]; then
122
141
echo " FLINT_SHARED=1" >> Makefile
123
142
fi
143
+ if [ " $WANT_NTL " -eq " 1" ]; then
144
+ echo " WANT_NTL=1" >> Makefile
145
+ echo " OBJ_EXTRAS=" build/interfaces/NTL-interface.o" >> Makefile
146
+ echo " LIB_EXTRAS=" build/interfaces/NTL-interface.lo" >> Makefile
147
+ fi
124
148
echo " FLINT_MPIR_LIB_DIR=$MPIR_LIB_DIR " >> Makefile
125
149
echo " FLINT_MPIR_INCLUDE_DIR=$MPIR_INCLUDE_DIR " >> Makefile
126
150
echo " FLINT_MPFR_LIB_DIR=$MPFR_LIB_DIR " >> Makefile
127
151
echo " FLINT_MPFR_INCLUDE_DIR=$MPFR_INCLUDE_DIR " >> Makefile
152
+ echo " FLINT_NTL_LIB_DIR=$NTL_LIB_DIR " >> Makefile
153
+ echo " FLINT_NTL_INCLUDE_DIR=$NTL_INCLUDE_DIR " >> Makefile
128
154
echo " " >> Makefile
129
155
echo " FLINT_LIB=$FLINT_LIB " >> Makefile
130
156
echo " CC=$CC " >> Makefile
157
+ echo " CXX=$CXX " >> Makefile
131
158
echo " CFLAGS=$CFLAGS " >> Makefile
132
159
echo " PREFIX=$PREFIX " >> Makefile
133
160
echo " " >> Makefile
0 commit comments