source: git/configure.in @ 64b116

spielwiese
Last change on this file since 64b116 was 64b116, checked in by Olaf Bachmann <obachman@…>, 23 years ago
* increased version to 1-3-11 git-svn-id: file:///usr/local/Singular/svn/trunk@4927 2c84dea3-7e68-4137-9b89-c4e89433aadc
  • Property mode set to 100644
File size: 24.1 KB
Line 
1dnl Process this file with autoconf to produce a configure script
2AC_INIT(Singular/matpol.h)
3AC_PREFIX_DEFAULT(`pwd`)
4pwd=`pwd`
5
6dnl lllllllllllllllllllllllllllllllllllllllllllllllllllllllllllllllllllll
7dnl Version business --  set these here
8dnl
9# make them to env variables
10# pass them indirectly to subsequent configures
11SINGULAR_MAJOR_VERSION=1
12SINGULAR_MINOR_VERSION=3
13SINGULAR_SUB_VERSION=11
14VERSION_SEP="-"
15SINGULAR_SHORT_VERSION="${SINGULAR_MAJOR_VERSION}${VERSION_SEP}${SINGULAR_MINOR_VERSION}"
16SINGULAR_VERSION="${SINGULAR_SHORT_VERSION}${VERSION_SEP}${SINGULAR_SUB_VERSION}"
17VERSION_DATE="December 2000"
18SINGULAR_ROOT_DIR=$pwd
19
20export SINGULAR_MINOR_VERSION
21export SINGULAR_MAJOR_VERSION
22export SINGULAR_SUB_VERSION
23export SINGULAR_VERSION
24export VERSION_DATE
25export SINGULAR_ROOT_DIR
26
27dnl substitue them into the Makefiles
28AC_SUBST(SINGULAR_VERSION)
29AC_SUBST(VERSION_DATE)
30AC_SUBST(SINGULAR_SHORT_VERSION)
31AC_SUBST(SINGULAR_ROOT_DIR)
32
33
34dnl lllllllllllllllllllllllllllllllllllllllllllllllllllllllllllllllllllll
35dnl Makefiles to output
36dnl
37# determine Makefiles to output
38OUTPUT_MAKEFILES="Makefile"
39if test -d "doc"; then
40   OUTPUT_MAKEFILES="$OUTPUT_MAKEFILES doc/Makefile doc/version.texi doc/uname.texi"
41fi
42if test -d "rpm"; then
43   OUTPUT_MAKEFILES=$OUTPUT_MAKEFILES" rpm/Makefile"
44   OUTPUT_MAKEFILES=$OUTPUT_MAKEFILES" rpm/rpmrc rpm/Singular.spec"
45fi
46if test -d "modules"; then
47   OUTPUT_MAKEFILES=$OUTPUT_MAKEFILES" modules/Makefile"
48fi
49if test -d "modules/tools"; then
50   OUTPUT_MAKEFILES=$OUTPUT_MAKEFILES" modules/tools/Makefile"
51fi
52if test -d "modules/modgen"; then
53   OUTPUT_MAKEFILES=$OUTPUT_MAKEFILES" modules/modgen/Makefile"
54fi
55if test -d "emacs"; then
56   OUTPUT_MAKEFILES=$OUTPUT_MAKEFILES" emacs/Makefile"
57fi
58if test -d "IntegerProgramming"; then
59   OUTPUT_MAKEFILES=$OUTPUT_MAKEFILES" IntegerProgramming/Makefile"
60fi
61if test -d "Plural"; then
62   OUTPUT_MAKEFILES=$OUTPUT_MAKEFILES" Plural/Makefile"
63fi
64if test -d "InstallShield"; then
65   OUTPUT_MAKEFILES=$OUTPUT_MAKEFILES" InstallShield/Makefile InstallShield/Etc/Makefile InstallShield/Cygwin/Makefile InstallShield/Singular/Makefile InstallShield/Xemacs/Makefile"
66fi
67
68
69dnl lllllllllllllllllllllllllllllllllllllllllllllllllllllllllllllllllllll
70dnl determine singuname
71dnl
72AC_MSG_CHECKING(uname for singular)
73AC_CACHE_VAL(ac_cv_singuname,
74ac_cv_singuname="unknown"
75if test -r "singuname.sh"; then
76  if (/bin/sh singuname.sh >/dev/null 2>&1) then
77    ac_cv_singuname=`/bin/sh singuname.sh`
78  fi
79fi
80)
81AC_MSG_RESULT($ac_cv_singuname)
82if test "$ac_cv_singuname" = unknown; then
83  AC_MSG_ERROR(Unknown architecture: Check singuname.sh)
84else
85  SINGUNAME=$ac_cv_singuname
86  AC_SUBST(SINGUNAME)
87fi
88
89SING_UNAME=`echo $SINGUNAME | tr '-' '_' `
90AC_SUBST(SING_UNAME)
91
92
93dnl lllllllllllllllllllllllllllllllllllllllllllllllllllllllllllllllllllll
94dnl compiler stuff
95dnl is needed to check for libs and headers, later on
96dnl
97AC_PROG_CC
98AC_PROG_CPP
99AC_PROG_INSTALL
100AC_AIX
101AC_PROG_CXX
102
103# check whether the compiler accepts -pipe
104AC_MSG_CHECKING(whether compiler accepts -pipe)
105temp_cflags=${CFLAGS}
106CFLAGS="${CFLAGS} -pipe"
107AC_CACHE_VAL(ac_cv_cxx_have_pipe,
108AC_TRY_COMPILE(,,ac_cv_cxx_have_pipe=yes,ac_cv_cxx_have_pipe=no)
109)
110AC_MSG_RESULT(${ac_cv_cxx_have_pipe})
111CFLAGS=${temp_cflags}
112if test "${ac_cv_cxx_have_pipe}" != yes; then
113  PIPE=
114else
115  PIPE="-pipe"
116fi
117AC_SUBST(PIPE)
118
119AC_CHECK_PROGS(PERL, perl5 perl)
120AC_CHECK_PROGS(UUDECODE, uudecode "uudeview -i")
121AC_CHECK_PROGS(GUNZIP, gunzip,  ${pwd}/warn_not_found.sh gunzip)
122# don't use GZIP this breaks configure
123AC_CHECK_PROGS(MYGZIP, gzip, ${pwd}/warn_not_found.sh gzip)
124AC_CHECK_PROG(LATEX2HTML, latex2html, latex2html)
125AC_PROG_LN_S
126
127if test -r "${pwd}/mkinstalldirs"; then
128  MKINSTALLDIRS=${pwd}/mkinstalldirs
129  AC_SUBST(MKINSTALLDIRS)
130else
131  AC_MSG_ERROR(mkinstalldirs not foind in ${pwd})
132fi
133
134dnl lllllllllllllllllllllllllllllllllllllllllllllllllllllllllllllllllllll
135dnl Set exec_prefix, bindir, libdir, includedir to some sensible values
136dnl
137# expand prefix and pass it to subsequent configures
138if test "x$prefix" = xNONE; then
139  prefix=${ac_default_prefix}
140  ac_configure_args="$ac_configure_args --prefix=${prefix}"
141fi
142
143# expand exec_prefix
144if test "x$exec_prefix" = xNONE; then
145 exec_prefix=${prefix}/${ac_cv_singuname}
146 ac_configure_args="$ac_configure_args --exec_prefix=${exec_prefix}"
147fi
148
149# expand bindir
150if test "x$bindir" = 'x${exec_prefix}/bin'; then
151  bindir="${exec_prefix}"
152  ac_configure_args="$ac_configure_args --bindir=${bindir}"
153fi
154
155# expand libdir
156if test "x$libdir" = 'x${exec_prefix}/lib'; then
157  libdir="${exec_prefix}/lib"
158  ac_configure_args="$ac_configure_args --libdir=${libdir}"
159fi
160
161# expand includedir
162if test "x$includedir" = 'x${prefix}/include'; then
163  includedir="${exec_prefix}/include"
164  ac_configure_args="$ac_configure_args --includedir=${includedir}"
165fi
166
167# construct name of installed Singular executable
168SINGULAR=${bindir}/Singular-${SINGULAR_MAJOR_VERSION}${VERSION_SEP}${SINGULAR_MINOR_VERSION}${VERSION_SEP}${SINGULAR_SUB_VERSION}
169export SINGULAR
170AC_SUBST(SINGULAR)
171
172dnl lllllllllllllllllllllllllllllllllllllllllllllllllllllllllllllllllllll
173dnl Check for various libraries and headers
174dnl
175dnl After this part, the variables 'ac_<package>_ok' is 'yes'
176dnl if '<package>' is already existent on the system, otherwise
177dnl undefined.
178dnl
179
180# add -I to CPPFLAGS and -L to LDFLAGS, just to be sure
181LDFLAGS="-L${libdir} ${LDFLAGS}"
182CPPFLAGS="-I${includedir} ${CPPFLAGS}"
183
184# check for AIX
185AC_MSG_CHECKING(whether _AIX is defined)
186AC_CACHE_VAL(ac_cv_is_aix,
187AC_EGREP_CPP(yes,
188[#ifdef _AIX
189    yes
190#endif
191], ac_cv_is_aix=yes, ac_cv_is_aix=no, 1))
192if test "$ac_cv_is_aix" = yes; then
193  AC_MSG_RESULT(yes)
194else
195  AC_MSG_RESULT(no)
196fi
197
198AC_CHECK_LIB(m, atof)
199AC_CHECK_LIB(bsd, socket)
200AC_CHECK_LIB(socket, listen)
201AC_CHECK_LIB(nsl, gethostbyname)
202AC_CHECK_LIB(gmp, main)
203AC_CHECK_LIB(smallgmp, mpz_init)
204AC_CHECK_LIB(MP, IMP_PutGmpInt)
205AC_CHECK_LIB(MPT, MPT_GetTree)
206AC_CHECK_LIB(singcf, atof)
207AC_CHECK_LIB(singfac, atof)
208AC_CHECK_LIB(omalloc, omTestAddr)
209AC_CHECK_LIB(omalloc_ndebug, main)
210
211AC_CHECK_HEADERS(gmp.h smallgmp.h MP.h  MPT.h factory.h factor.h omalloc.h)
212
213if test "$ac_cv_lib_gmp_main" = yes && \
214 test "$ac_cv_header_gmp_h" = yes; then
215  ac_gmp_ok=yes
216fi
217
218if test "$ac_cv_lib_smallgmp_mpz_init" = yes && \
219 test "$ac_cv_header_smallgmp_h" = yes && \
220 test "$ac_cv_header_gmp_h" = yes; then
221  ac_smallgmp_ok=yes
222fi
223
224if test "$ac_cv_lib_MP_IMP_PutGmpInt" = yes && \
225 test "$ac_cv_lib_MPT_MPT_GetTree" && \
226 test "$ac_cv_header_MP_h" = yes && \
227 test "$ac_cv_header_MPT_h" = yes; then
228  ac_MP_ok=yes
229fi
230
231if test "$ac_cv_lib_singcf_atof" = yes && \
232 test "$ac_cv_header_factory_h" = yes; then
233  ac_factory_ok=yes
234fi
235
236if test "$ac_cv_lib_singfac_atof" = yes && \
237 test "$ac_cv_header_factor_h" = yes; then
238  ac_libfac_ok=yes
239fi
240
241if test "$ac_cv_lib_omalloc_omTestAddr" = yes && \
242   test "$ac_cv_lib_omalloc_ndebug_main" = yes && \
243   test "$ac_cv_header_omalloc_c" = yes && \
244   test "$ac_cv_header_omalloc_h" = yes; then
245  ac_cv_omalloc_ok=yes
246fi
247 
248dnl lllllllllllllllllllllllllllllllllllllllllllllllllllllllllllllllllllll
249dnl Check command line arguments
250dnl
251AC_ARG_WITH(tmpdir, \
252 [ --with-tmpdir=DIR       use DIR as temporary directory])
253AC_ARG_ENABLE(smallgmp, \
254 [ --enable-PACKAGE        configure and/or build PACKAGE
255  --disable-PACKAGE       do not configure and/or build PACKAGE
256   where PACKAGE can be:
257     smallgmp             minimal version of gmp written in C only])
258AC_ARG_ENABLE(omalloc,\
259 [    omalloc              omalloc memory managment])
260AC_ARG_ENABLE(gmp, \
261 [    gmp                  Gnu Multiple Precision package])
262AC_ARG_ENABLE(MP, \
263 [    MP                   Multi Protocol library])
264AC_ARG_ENABLE(factory, \
265 [    factory              polynomial factorization library])
266AC_ARG_ENABLE(libfac, \
267 [    libfac               char set and modp poly factorization library])
268AC_ARG_ENABLE(sgroup, \
269 [    sgroup               numerical semigroup computations])
270AC_ARG_ENABLE(Singular, \
271 [    Singular             CAS for Polynomial Computations])
272AC_ARG_ENABLE(IntegerProgramming, \
273 [    IntegerProgramming   IntegerProgramming])
274AC_ARG_ENABLE(Plural, \
275 [    Plural               Plural])
276AC_ARG_ENABLE(Texinfo, \
277 [    Texinfo              Texinfo for info, texi2dvi, makeinfo])
278AC_ARG_ENABLE(Texi2html, \
279 [    Texi2html            Texinfo to HTML converter])
280AC_ARG_ENABLE(doc, \
281 [    doc                  Singular documentation])
282AC_ARG_ENABLE(emacs, \
283 [    emacs                emacs completion files])
284AC_ARG_WITH(MP,\
285 [ --with-PACKAGE          use PACKAGE, provide dependent functionality
286  --without-PACKAGE       do not use PACKAGE, disable dependent functionality
287   where PACKAGE can be:
288     MP                   Multi Protocol library])
289AC_ARG_WITH(factory, \
290 [    factory              polynomial factorization library])
291AC_ARG_WITH(libfac, \
292 [    libfac               char set and modp poly factorization library])
293AC_ARG_WITH(gmp, \
294 [ --with-apint=PACKAGE    use PACKAGE for arbitary integer arithmetic
295                          where PACKAGE can be gmp or smallgmp
296All additional --enable and --with options are passed to subsequent calls
297to configure of the packages to be built. See also configure --help in
298these packages (resp. subdirs). ])
299
300dnl lllllllllllllllllllllllllllllllllllllllllllllllllllllllllllllllllllll
301dnl Check what to use as tmp dir
302dnl
303AC_MSG_CHECKING(which tmp dir to use)
304if test "${with_tmpdir+set}" = set && test -d ${with_tmpdir}; then
305  if (echo "${with_tmpdir}" | egrep "\." >/dev/null 2>&1)
306  then
307    TMP_DIR="${pwd}/tmp"
308  else
309    TMP_DIR=${with_tmpdir}
310  fi
311else
312  TMP_DIR="${pwd}/tmp"
313fi
314AC_MSG_RESULT($TMP_DIR)
315AC_SUBST(TMP_DIR)
316
317dnl lllllllllllllllllllllllllllllllllllllllllllllllllllllllllllllllllllll
318dnl Check whether or not to configure and build various packages
319dnl
320AC_MSG_CHECKING(whether to configure and build omalloc)
321if test "${enable_omalloc+set}" != set; then
322   if test "$ac_cv_omalloc_ok" = yes; then
323     enable_omalloc=no
324   fi
325   enable_omalloc_not_set=yes
326fi
327if test "$enable_omalloc" = no; then
328  if test "$ac_cv_omalloc_ok" != yes; then
329    AC_MSG_ERROR(can not build without omalloc)
330  fi
331  AC_MSG_RESULT(no)
332else
333  if test -d omalloc; then
334    AC_MSG_RESULT(yes)
335    if test "$enable_omalloc_not_set" = yes; then
336      ac_configure_args="$ac_configure_args --enable-omalloc --with-external-config_h='$pwd/Singular/omSingularConfig.h' --with-track-custom"
337    fi
338    CONFIG_SUBDIRS="$CONFIG_SUBDIRS omalloc"
339  else
340    AC_MSG_ERROR(need omalloc subdir)
341  fi
342fi
343
344AC_MSG_CHECKING(whether to configure and build gmp lib)
345if test "$enable_gmp" != yes && test "$enable_gmp" != no; then
346  if test "$ac_gmp_ok" != yes && test -d gmp; then
347    AC_MSG_RESULT(yes)
348    enable_gmp=yes
349    CONFIG_SUBDIRS="$CONFIG_SUBDIRS gmp"
350    ac_configure_args="$ac_configure_args --enable-gmp"
351    enable_gmp=yes
352#    This we used to need for our patched version of gmp 2.x
353#    OUTPUT_MAKEFILES="$OUTPUT_MAKEFILES gmp/Makefile.in"
354  else
355    AC_MSG_RESULT(no)
356    enable_gmp=no
357  fi
358elif test "$enable_gmp" = yes; then
359  if test ! -d gmp; then
360    AC_MSG_RESULT(no)
361    AC_MSG_ERROR(Can not find gmp subdir)
362  else
363    AC_MSG_RESULT(yes)
364    CONFIG_SUBDIRS="$CONFIG_SUBDIRS gmp"
365#    This we used to need for our patched version of gmp 2.x
366#    OUTPUT_MAKEFILES="$OUTPUT_MAKEFILES gmp/Makefile.in"
367  fi
368else
369  AC_MSG_RESULT(no)
370fi
371
372if test "$enable_gmp" = yes; then
373# for gmp-3.0 to work for all ix86 processors, set generic target
374if test "$target" = NONE; then
375case "$ac_cv_singuname" in
376        ix86*)
377        gmp_target=`./config.guess | sed 's/^\w*-/i386-/'`
378        ac_configure_args="$ac_configure_args --target=$gmp_target"
379        ;;
380esac
381fi
382# furthermore, disable building of dynamic libraries, for we want to
383# link against the static ones
384if test "$enable_shared" != no; then
385  ac_configure_args="$ac_configure_args --disable-shared"
386fi
387fi
388
389AC_MSG_CHECKING(whether to configure and build smallgmp lib)
390if test "$enable_smallgmp" != yes && test "$enable_smallgmp" != no; then
391  if test "$ac_smallgmp_ok" != yes && test "$ac_gmp_ok" != yes && \
392     test "$enable_gmp" != yes && test -d smallgmp; then
393    AC_MSG_RESULT(yes)
394    enable_smallgmp=yes
395    CONFIG_SUBDIRS="$CONFIG_SUBDIRS smallgmp"
396    ac_configure_args="$ac_configure_args --enable-smallgmp --enable-gmp"
397    enable_gmp=yes
398  else
399    AC_MSG_RESULT(no)
400    enable_smallgmp=no
401  fi
402elif test "$enable_smallgmp" = yes; then
403  if test ! -d smallgmp; then
404    AC_MSG_RESULT(no)
405    AC_MSG_ERROR(Can not find smallgmp subdir)
406  else
407    AC_MSG_RESULT(yes)
408    CONFIG_SUBDIRS="$CONFIG_SUBDIRS smallgmp"
409    if test "$ac_gmp_ok" != yes && test "$enable_gmp" != yes; then
410      ac_configure_args="$ac_configure_args --enable-gmp"
411      enable_gmp=yes
412    fi
413  fi
414else
415  AC_MSG_RESULT(${enable_smallgmp})
416fi
417
418# Check whether we have at least one of smallgmp or gmp
419if test "$ac_smallgmp_ok" != yes && test "$ac_gmp_ok" != yes && \
420   test "$enable_smallgmp" != yes && test "$enable_gmp" != yes; then
421  AC_MSG_ERROR(can neither find nor built gmp or smallgmp)
422fi
423
424# Check whether we need to cheat subsequent configures with --enable-gmp
425if test "$ac_smallgmp_ok" != yes && test "$ac_gmp_ok" != yes && test "$enable_gmp" != yes; then
426  ac_configure_args="$ac_configure_args --enable-gmp"
427fi
428
429AC_MSG_CHECKING(whether to configure and build MP lib)
430if test "$enable_MP" != yes && test "$enable_MP" != no; then
431  if test "$with_MP" != no && test "$ac_MP_ok" != yes && test -d MP && \
432     (test "$enable_gmp" = yes || test "$ac_gmp_ok" = yes); then
433    AC_MSG_RESULT(yes)
434    enable_MP=yes
435    CONFIG_SUBDIRS="$CONFIG_SUBDIRS MP"
436    ac_configure_args="$ac_configure_args --enable-MP"
437  else
438    AC_MSG_RESULT(no)
439    enable_MP=no
440  fi
441elif test "$enable_MP" = yes; then
442  if test ! -d MP; then
443    AC_MSG_RESULT(no)
444    AC_MSG_ERROR(can not build MP without MP directory)
445  fi
446  if test "$enable_gmp" = yes || test "$ac_gmp_ok" = yes; then
447    AC_MSG_RESULT(yes)
448    CONFIG_SUBDIRS="$CONFIG_SUBDIRS MP"
449  else
450    AC_MSG_RESULT(no)
451    AC_MSG_ERROR(can not build MP without gmp)
452  fi
453else
454  AC_MSG_RESULT(no)
455fi
456
457# need MP code to be compiled with -fPIC, should not hurt anybody else
458if test "$enable_MP" = yes && test "${with_extra_cflags+set}" != set; then
459ac_configure_args="$ac_configure_args --with-extra_cflags=-fPIC"
460fi
461
462
463AC_MSG_CHECKING(whether to configure and build factory lib)
464if test "$enable_factory" != yes && test "$enable_factory" != no; then
465  if test "$with_factory" != no && test "$ac_factory_ok" != yes && \
466     test -d factory; then
467    enable_factory=yes
468    AC_MSG_RESULT(yes)
469    CONFIG_SUBDIRS="$CONFIG_SUBDIRS factory"
470    ac_configure_args="$ac_configure_args --enable-factory"
471  else
472    enable_factory=no
473    AC_MSG_RESULT(no)
474  fi
475elif test "$enable_factory" = yes; then
476  if test -d factory; then
477    AC_MSG_RESULT(yes)
478    CONFIG_SUBDIRS="$CONFIG_SUBDIRS factory"
479  else
480    AC_MSG_RESULT(no)
481    AC_MSG_ERROR(can not build factory without factory directory)
482  fi
483else
484  AC_MSG_RESULT(no)
485fi
486
487AC_MSG_CHECKING(whether to configure and build libfac lib)
488if test "$enable_libfac" != yes && test "$enable_libfac" != no; then
489  if test "$with_libfac" != no && test "$ac_libfac_ok" != yes && \
490     test -d libfac && \
491     (test "$ac_factory_ok" = yes || test "$enable_factory" = yes); then
492    enable_libfac=yes
493    AC_MSG_RESULT(yes)
494    CONFIG_SUBDIRS="$CONFIG_SUBDIRS libfac"
495    ac_configure_args="$ac_configure_args --enable-libfac"
496  else
497    enable_libfac=no
498    AC_MSG_RESULT(no)
499  fi
500elif  test "$enable_libfac" = yes; then
501  if test ! -d libfac; then
502    AC_MSG_RESULT(no)
503    AC_MSG_ERROR(can not build libfac without libfac directory)
504  fi
505  if test "$ac_factory_ok" = yes || test "$enable_factory" = yes; then
506    AC_MSG_RESULT(yes)
507    CONFIG_SUBDIRS="$CONFIG_SUBDIRS libfac"
508  else
509    AC_MSG_RESULT(no)
510    AC_MSG_ERROR(Can not build libfac without factory)
511  fi
512else
513  AC_MSG_RESULT(no)
514fi
515
516AC_MSG_CHECKING(whether to configure and build sgroup lib)
517dnl
518dnl only sgroup if explicietely requested
519dnl if test "$enable_sgroup" != yes && test "$enable_sgroup" != no; then
520dnl  if test "$with_sgroup" != no && test "$ac_sgroup_ok" != yes && \
521dnl     test -d sgroup && \
522dnl     (test "$ac_MP_ok" = yes || test "$enable_MP" = yes); then
523dnl    enable_sgroup=yes
524dnl    AC_MSG_RESULT(yes)
525dnl    CONFIG_SUBDIRS="$CONFIG_SUBDIRS sgroup"
526dnl    ac_configure_args="$ac_configure_args --enable-sgroup"
527dnl  else
528dnl    enable_sgroup=no
529dnl    AC_MSG_RESULT(no)
530dnl  fi
531dnl elif  test "$enable_sgroup" = yes; then
532if test "$enable_sgroup" = yes; then
533  if test ! -d sgroup; then
534    AC_MSG_RESULT(no)
535    AC_MSG_ERROR(can not build sgroup without sgroup directory)
536  fi
537  if test "$ac_MP_ok" = yes || test "$enable_MP" = yes; then
538    AC_MSG_RESULT(yes)
539    CONFIG_SUBDIRS="$CONFIG_SUBDIRS sgroup"
540  else
541    AC_MSG_RESULT(no)
542    AC_MSG_ERROR(Can not build sgroup without MP)
543  fi
544else
545  AC_MSG_RESULT(no)
546fi
547
548BUILD_SUBDIRS="$CONFIG_SUBDIRS"
549
550AC_MSG_CHECKING(whether to configure and build Singular)
551if test "$enable_Singular" != yes && test "$enable_Singular" != no; then
552  if test "$with_Singular" != no && test -d Singular; then
553    enable_Singular=yes
554    AC_MSG_RESULT(yes)
555    CONFIG_SUBDIRS="$CONFIG_SUBDIRS Singular"
556    BUILD_SUBDIRS="$BUILD_SUBDIRS Singular"     
557    ac_configure_args="$ac_configure_args --enable-Singular"
558  else
559    enable_Singular=no
560    AC_MSG_RESULT(no)
561  fi
562elif test "$enable_Singular" = yes; then
563  if test -d Singular; then
564    AC_MSG_RESULT(yes)
565    CONFIG_SUBDIRS="$CONFIG_SUBDIRS Singular"
566    BUILD_SUBDIRS="$BUILD_SUBDIRS Singular"     
567  else
568    AC_MSG_RESULT(no)
569    AC_MSG_ERROR(can not build Singular without Singular directory)
570  fi
571else
572  AC_MSG_RESULT(no)
573fi
574
575
576# test if IntegerProgramming should be built:
577
578AC_MSG_CHECKING(whether to build IntegerProgramming)
579if test "$enable_IntegerProgramming" != no && test -d "IntegerProgramming"; then
580   BUILD_SUBDIRS="$BUILD_SUBDIRS IntegerProgramming"
581   AC_MSG_RESULT(yes)
582   if test "$enable_IntegerProgramming" != yes; then
583     ac_configure_args="$ac_configure_args --enable-IntegerProgramming"
584   fi
585else
586   AC_MSG_RESULT(no)
587fi
588
589AC_MSG_CHECKING(whether to build Plural)
590if test "$enable_Plural" != no && test -d "Plural"; then
591   BUILD_SUBDIRS="$BUILD_SUBDIRS Plural"
592   AC_MSG_RESULT(yes)
593   if test "$enable_Plural" != yes; then
594     ac_configure_args="$ac_configure_args --enable-Plural"
595   fi
596else
597   AC_MSG_RESULT(no)
598fi
599
600
601AC_MSG_CHECKING(whether to configure and build Texinfo)
602if test "$enable_Texinfo" != no && test -d Texinfo; then
603  AC_MSG_RESULT(yes)
604  enable_texinfo=yes
605  CONFIG_SUBDIRS="$CONFIG_SUBDIRS Texinfo"
606  BUILD_SUBDIRS="$BUILD_SUBDIRS Texinfo"       
607  TEXI2DVI=${bindir}/texi2dvi
608  MAKEINFO="${bindir}/makeinfo"
609  TEXINDEX=${bindir}/texindex
610  AC_SUBST(TEXI2DVI)
611  AC_SUBST(MAKEINFO)
612  AC_SUBST(TEXINDEX)
613  if test "$enable_Texinfo" != yes; then
614    ac_configure_args="$ac_configure_args --enable-Texinfo"
615  fi
616else
617  AC_MSG_RESULT(no)
618  AC_MSG_WARN(Building of doc might fail. Need Texinfo)
619  enable_texinfo=no
620  AC_CHECK_PROG(MAKEINFO, makeinfo, makeinfo, ${pwd}/warn_not_found.sh makeinfo)
621  AC_CHECK_PROG(TEXI2DVI, texi2dvi, texi2dvi, ${pwd}/warn_not_found.sh texi2dvi)
622  AC_CHECK_PROG(TEXINDEX, texindex, texindex, ${pwd}/warn_not_found.sh texindex)
623fi 
624
625AC_MSG_CHECKING(whether to configure and build Texi2html)
626if test "$enable_Texi2html" != no && test -d Texi2html; then
627 AC_MSG_RESULT(yes)
628 CONFIG_SUBDIRS="$CONFIG_SUBDIRS Texi2html"
629 BUILD_SUBDIRS="$BUILD_SUBDIRS Texi2html"
630 if test "$enable_Texi2html" != yes; then
631   ac_configure_args="$ac_configure_args --enable-Texi2html"
632 fi
633 TEXI2HTML=${bindir}/texi2html
634 AC_SUBST(TEXI2HTML)
635else
636 AC_MSG_RESULT(no)
637 AC_CHECK_PROG(TEXI2HTML, texi2html, texi2html)
638fi
639
640if test "${TEXI2HTML+set}" != set; then
641AC_MSG_WARN(texi2html not found. HTML doc generation will fail)
642fi
643if test "$ac_cv_prog_LATEX2HTML" = latex2html; then
644  TEXI2HTML_OPTS="-l2h"
645fi
646AC_SUBST(TEXI2HTML_OPTS)
647
648
649AC_MSG_CHECKING(whether to build doc)
650if test "$enable_doc" != no && test -d doc; then
651 AC_MSG_RESULT(yes)
652 BUILD_SUBDIRS="$BUILD_SUBDIRS doc"
653 if test "$enable_doc" != yes; then
654   enable_doc=yes
655   ac_configure_args="$ac_configure_args --enable-doc"
656 fi
657else
658 enable_doc=no
659 AC_MSG_RESULT(no)
660fi
661
662AC_MSG_CHECKING(whether to build emacs)
663if test "$enable_doc" = yes && test "$enable_emacs" != no && test -d emacs; then
664 AC_MSG_RESULT(yes)
665 BUILD_SUBDIRS="$BUILD_SUBDIRS emacs"
666 if test "$enable_emacs" != yes; then
667   ac_configure_args="$ac_configure_args --enable-emacs"
668 fi
669else
670 AC_MSG_RESULT(no)
671fi
672
673dnl lllllllllllllllllllllllllllllllllllllllllllllllllllllllllllllllllllll
674dnl Check whether or not to use various packages
675dnl
676AC_MSG_CHECKING(which apint package to use)
677if test "$with_apint" = gmp; then
678  if test "$ac_gmp_ok" = yes || test "$enable_gmp" = yes; then
679    AC_MSG_RESULT(gmp)
680  else
681    AC_MSG_RESULT(none)
682    AC_MSG_ERROR(can not use with gmp without finding or building it)
683  fi
684elif test "$with_apint" = smallgmp; then
685  if test "$ac_smallgmp_ok" = yes || test "$enable_smallgmp" = yes; then
686    AC_MSG_RESULT(smallgmp)
687  else
688    AC_MSG_RESULT(none)
689    AC_MSG_ERROR(can not use with smallgmp without finding or building it)
690  fi
691elif test "$ac_gmp_ok" = yes || test "$enable_gmp"; then
692    AC_MSG_RESULT(gmp)
693    ac_configure_args="$ac_configure_args --with-apint=gmp"
694else
695dnl now we are sure that we have the smallgmp --otherwise enable
696dnl checks had thrown an error
697   AC_MSG_RESULT(smallgmp)
698   ac_configure_args="$ac_configure_args --with-apint=smallgmp"
699fi
700
701AC_MSG_CHECKING(whether to use with MP)
702if test "$with_MP" = yes; then
703  if test "$ac_MP_ok" = yes || test "$enable_MP" = yes; then
704    AC_MSG_RESULT(yes)
705  else
706    AC_MSG_RESULT(none)
707    AC_MSG_ERROR(can not use with MP without finding or building it)
708  fi
709elif test "$with_MP" = no; then
710  AC_MSG_RESULT(no)
711elif test "$ac_MP_ok" = yes || test "$enable_MP" = yes; then
712  AC_MSG_RESULT(yes)
713  ac_configure_args="$ac_configure_args --with-MP"
714else
715  AC_MSG_RESULT(no)
716  ac_configure_args="$ac_configure_args --without-MP"
717fi
718
719AC_MSG_CHECKING(whether to use with factory)
720if test "$with_factory" = yes; then
721  if test "$ac_factory_ok" = yes || test "$enable_factory" = yes; then
722    AC_MSG_RESULT(yes)
723  else
724    AC_MSG_RESULT(none)
725    AC_MSG_ERROR(can not use with factory without finding or building it)
726  fi
727elif test "$with_factory" = no; then
728  AC_MSG_RESULT(no)
729elif test "$ac_factory_ok" = yes || test "$enable_factory" = yes; then
730  AC_MSG_RESULT(yes)
731  ac_configure_args="$ac_configure_args --with-factory"
732else
733  AC_MSG_RESULT(no)
734  ac_configure_args="$ac_configure_args --without-factory"
735fi
736 
737AC_MSG_CHECKING(whether to use with libfac)
738if test "$with_libfac" = yes; then
739  if test "$ac_libfac_ok" = yes || test "$enable_libfac" = yes; then
740    AC_MSG_RESULT(yes)
741  else
742    AC_MSG_RESULT(none)
743    AC_MSG_ERROR(can not use with libfac without finding or building it)
744  fi
745elif test "$with_libfac" = no; then
746  AC_MSG_RESULT(no)
747elif test "$ac_libfac_ok" = yes || test "$enable_libfac" = yes; then
748  AC_MSG_RESULT(yes)
749  ac_configure_args="$ac_configure_args --with-libfac"
750else
751  AC_MSG_RESULT(no)
752  ac_configure_args="$ac_configure_args --without-libfac"
753fi
754
755
756
757AC_MSG_CHECKING(whether to use with Singular)
758if test "$with_Singular" != no && test "$with_Singular" != yes; then
759  if test "$enable_Singular" = yes; then
760    with_Singular=yes
761  else
762    with_Singular=no
763  fi
764  ac_configure_args="$ac_configure_args --with-Singular=$with_Singular"
765fi
766
767if test "$with_Singular" != no; then
768  AC_MSG_RESULT(yes)
769else
770  AC_MSG_RESULT(no)
771fi
772
773
774dnl lllllllllllllllllllllllllllllllllllllllllllllllllllllllllllllllllllll
775dnl Check for known subdirs
776dnl
777SUBDIRS=""
778if test -d omalloc; then
779  SUBDIRS="$SUBDIRS omalloc"
780fi
781if test -d smallgmp; then
782  SUBDIRS="$SUBDIRS smallgmp"
783fi
784if test -d gmp; then
785  SUBDIRS="$SUBDIRS gmp"
786fi
787if test -d MP; then
788  SUBDIRS="$SUBDIRS MP"
789fi
790if test -d factory; then
791  SUBDIRS="$SUBDIRS factory"
792fi
793if test -d libfac; then
794  SUBDIRS="$SUBDIRS libfac"
795fi
796if test -d sgroup; then
797  SUBDIRS="$SUBDIRS sgroup"
798fi
799if test -d Singular; then
800  SUBDIRS="$SUBDIRS Singular"
801fi
802if test -d Texinfo; then
803  SUBDIRS="$SUBDIRS Texinfo"
804fi
805if test -d Texi2html; then
806  SUBDIRS="$SUBDIRS Texi2html"
807fi
808if test -d doc; then
809  SUBDIRS="$SUBDIRS doc"
810fi
811if test -d emacs; then
812  SUBDIRS="$SUBDIRS emacs"
813fi
814if test -d rpm; then
815  SUBDIRS="$SUBDIRS rpm"
816fi
817 
818dnl lllllllllllllllllllllllllllllllllllllllllllllllllllllllllllllllllllll
819dnl Enough -- wrap it up
820dnl
821AC_PROG_MAKE_SET
822AC_SUBST(SUBDIRS)
823AC_SUBST(BUILD_SUBDIRS)
824AC_SUBST(CONFIG_SUBDIRS)
825AC_CONFIG_SUBDIRS($CONFIG_SUBDIRS)
826
827AC_OUTPUT(${OUTPUT_MAKEFILES})
Note: See TracBrowser for help on using the repository browser.