source: git/configure.in @ 2567b5

fieker-DuValspielwiese
Last change on this file since 2567b5 was 2567b5, checked in by Hans Schönemann <hannes@…>, 23 years ago
*hannes: 2-1-2 fix git-svn-id: file:///usr/local/Singular/svn/trunk@5620 2c84dea3-7e68-4137-9b89-c4e89433aadc
  • Property mode set to 100644
File size: 24.3 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=2
12SINGULAR_MINOR_VERSION=1
13SINGULAR_SUB_VERSION=2
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="August 2001"
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    if test "${with_malloc+set}" != set; then
340case "$ac_cv_singuname" in
341# under windows, it is best to use the provided malloc
342        ix86-Win*)
343        with_malloc=system
344        ac_configure_args="$ac_configure_args --with-malloc=system"
345        ;;
346esac
347fi
348  else
349    AC_MSG_ERROR(need omalloc subdir)
350  fi
351fi
352
353AC_MSG_CHECKING(whether to configure and build gmp lib)
354if test "$enable_gmp" != yes && test "$enable_gmp" != no; then
355  if test "$ac_gmp_ok" != yes && test -d gmp; then
356    AC_MSG_RESULT(yes)
357    enable_gmp=yes
358    CONFIG_SUBDIRS="$CONFIG_SUBDIRS gmp"
359    ac_configure_args="$ac_configure_args --enable-gmp"
360    enable_gmp=yes
361#    This we used to need for our patched version of gmp 2.x
362#    OUTPUT_MAKEFILES="$OUTPUT_MAKEFILES gmp/Makefile.in"
363  else
364    AC_MSG_RESULT(no)
365    enable_gmp=no
366  fi
367elif test "$enable_gmp" = yes; then
368  if test ! -d gmp; then
369    AC_MSG_RESULT(no)
370    AC_MSG_ERROR(Can not find gmp subdir)
371  else
372    AC_MSG_RESULT(yes)
373    CONFIG_SUBDIRS="$CONFIG_SUBDIRS gmp"
374#    This we used to need for our patched version of gmp 2.x
375#    OUTPUT_MAKEFILES="$OUTPUT_MAKEFILES gmp/Makefile.in"
376  fi
377else
378  AC_MSG_RESULT(no)
379fi
380
381if test "$enable_gmp" = yes; then
382# for gmp-3.0 to work for all ix86 processors, set generic target
383if test "$target" = NONE; then
384case "$ac_cv_singuname" in
385        ix86*)
386        gmp_target=`./config.guess | sed 's/^\w*-/i386-/'`
387        ac_configure_args="$ac_configure_args --target=$gmp_target"
388        ;;
389esac
390fi
391# furthermore, disable building of dynamic libraries, for we want to
392# link against the static ones
393if test "$enable_shared" != no; then
394  ac_configure_args="$ac_configure_args --disable-shared"
395fi
396fi
397
398AC_MSG_CHECKING(whether to configure and build smallgmp lib)
399if test "$enable_smallgmp" != yes && test "$enable_smallgmp" != no; then
400  if test "$ac_smallgmp_ok" != yes && test "$ac_gmp_ok" != yes && \
401     test "$enable_gmp" != yes && test -d smallgmp; then
402    AC_MSG_RESULT(yes)
403    enable_smallgmp=yes
404    CONFIG_SUBDIRS="$CONFIG_SUBDIRS smallgmp"
405    ac_configure_args="$ac_configure_args --enable-smallgmp --enable-gmp"
406    enable_gmp=yes
407  else
408    AC_MSG_RESULT(no)
409    enable_smallgmp=no
410  fi
411elif test "$enable_smallgmp" = yes; then
412  if test ! -d smallgmp; then
413    AC_MSG_RESULT(no)
414    AC_MSG_ERROR(Can not find smallgmp subdir)
415  else
416    AC_MSG_RESULT(yes)
417    CONFIG_SUBDIRS="$CONFIG_SUBDIRS smallgmp"
418    if test "$ac_gmp_ok" != yes && test "$enable_gmp" != yes; then
419      ac_configure_args="$ac_configure_args --enable-gmp"
420      enable_gmp=yes
421    fi
422  fi
423else
424  AC_MSG_RESULT(${enable_smallgmp})
425fi
426
427# Check whether we have at least one of smallgmp or gmp
428if test "$ac_smallgmp_ok" != yes && test "$ac_gmp_ok" != yes && \
429   test "$enable_smallgmp" != yes && test "$enable_gmp" != yes; then
430  AC_MSG_ERROR(can neither find nor built gmp or smallgmp)
431fi
432
433# Check whether we need to cheat subsequent configures with --enable-gmp
434if test "$ac_smallgmp_ok" != yes && test "$ac_gmp_ok" != yes && test "$enable_gmp" != yes; then
435  ac_configure_args="$ac_configure_args --enable-gmp"
436fi
437
438AC_MSG_CHECKING(whether to configure and build MP lib)
439if test "$enable_MP" != yes && test "$enable_MP" != no; then
440  if test "$with_MP" != no && test "$ac_MP_ok" != yes && test -d MP && \
441     (test "$enable_gmp" = yes || test "$ac_gmp_ok" = yes); then
442    AC_MSG_RESULT(yes)
443    enable_MP=yes
444    CONFIG_SUBDIRS="$CONFIG_SUBDIRS MP"
445    ac_configure_args="$ac_configure_args --enable-MP"
446  else
447    AC_MSG_RESULT(no)
448    enable_MP=no
449  fi
450elif test "$enable_MP" = yes; then
451  if test ! -d MP; then
452    AC_MSG_RESULT(no)
453    AC_MSG_ERROR(can not build MP without MP directory)
454  fi
455  if test "$enable_gmp" = yes || test "$ac_gmp_ok" = yes; then
456    AC_MSG_RESULT(yes)
457    CONFIG_SUBDIRS="$CONFIG_SUBDIRS MP"
458  else
459    AC_MSG_RESULT(no)
460    AC_MSG_ERROR(can not build MP without gmp)
461  fi
462else
463  AC_MSG_RESULT(no)
464fi
465
466# need MP code to be compiled with -fPIC, should not hurt anybody else
467if test "$enable_MP" = yes && test "${with_extra_cflags+set}" != set; then
468ac_configure_args="$ac_configure_args --with-extra_cflags=-fPIC"
469fi
470
471
472AC_MSG_CHECKING(whether to configure and build factory lib)
473if test "$enable_factory" != yes && test "$enable_factory" != no; then
474  if test "$with_factory" != no && test "$ac_factory_ok" != yes && \
475     test -d factory; then
476    enable_factory=yes
477    AC_MSG_RESULT(yes)
478    CONFIG_SUBDIRS="$CONFIG_SUBDIRS factory"
479    ac_configure_args="$ac_configure_args --enable-factory"
480  else
481    enable_factory=no
482    AC_MSG_RESULT(no)
483  fi
484elif test "$enable_factory" = yes; then
485  if test -d factory; then
486    AC_MSG_RESULT(yes)
487    CONFIG_SUBDIRS="$CONFIG_SUBDIRS factory"
488  else
489    AC_MSG_RESULT(no)
490    AC_MSG_ERROR(can not build factory without factory directory)
491  fi
492else
493  AC_MSG_RESULT(no)
494fi
495
496AC_MSG_CHECKING(whether to configure and build libfac lib)
497if test "$enable_libfac" != yes && test "$enable_libfac" != no; then
498  if test "$with_libfac" != no && test "$ac_libfac_ok" != yes && \
499     test -d libfac && \
500     (test "$ac_factory_ok" = yes || test "$enable_factory" = yes); then
501    enable_libfac=yes
502    AC_MSG_RESULT(yes)
503    CONFIG_SUBDIRS="$CONFIG_SUBDIRS libfac"
504    ac_configure_args="$ac_configure_args --enable-libfac"
505  else
506    enable_libfac=no
507    AC_MSG_RESULT(no)
508  fi
509elif  test "$enable_libfac" = yes; then
510  if test ! -d libfac; then
511    AC_MSG_RESULT(no)
512    AC_MSG_ERROR(can not build libfac without libfac directory)
513  fi
514  if test "$ac_factory_ok" = yes || test "$enable_factory" = yes; then
515    AC_MSG_RESULT(yes)
516    CONFIG_SUBDIRS="$CONFIG_SUBDIRS libfac"
517  else
518    AC_MSG_RESULT(no)
519    AC_MSG_ERROR(Can not build libfac without factory)
520  fi
521else
522  AC_MSG_RESULT(no)
523fi
524
525AC_MSG_CHECKING(whether to configure and build sgroup lib)
526dnl
527dnl only sgroup if explicietely requested
528dnl if test "$enable_sgroup" != yes && test "$enable_sgroup" != no; then
529dnl  if test "$with_sgroup" != no && test "$ac_sgroup_ok" != yes && \
530dnl     test -d sgroup && \
531dnl     (test "$ac_MP_ok" = yes || test "$enable_MP" = yes); then
532dnl    enable_sgroup=yes
533dnl    AC_MSG_RESULT(yes)
534dnl    CONFIG_SUBDIRS="$CONFIG_SUBDIRS sgroup"
535dnl    ac_configure_args="$ac_configure_args --enable-sgroup"
536dnl  else
537dnl    enable_sgroup=no
538dnl    AC_MSG_RESULT(no)
539dnl  fi
540dnl elif  test "$enable_sgroup" = yes; then
541if test "$enable_sgroup" = yes; then
542  if test ! -d sgroup; then
543    AC_MSG_RESULT(no)
544    AC_MSG_ERROR(can not build sgroup without sgroup directory)
545  fi
546  if test "$ac_MP_ok" = yes || test "$enable_MP" = yes; then
547    AC_MSG_RESULT(yes)
548    CONFIG_SUBDIRS="$CONFIG_SUBDIRS sgroup"
549  else
550    AC_MSG_RESULT(no)
551    AC_MSG_ERROR(Can not build sgroup without MP)
552  fi
553else
554  AC_MSG_RESULT(no)
555fi
556
557BUILD_SUBDIRS="$CONFIG_SUBDIRS"
558
559AC_MSG_CHECKING(whether to configure and build Singular)
560if test "$enable_Singular" != yes && test "$enable_Singular" != no; then
561  if test "$with_Singular" != no && test -d Singular; then
562    enable_Singular=yes
563    AC_MSG_RESULT(yes)
564    CONFIG_SUBDIRS="$CONFIG_SUBDIRS Singular"
565    BUILD_SUBDIRS="$BUILD_SUBDIRS Singular"     
566    ac_configure_args="$ac_configure_args --enable-Singular"
567  else
568    enable_Singular=no
569    AC_MSG_RESULT(no)
570  fi
571elif test "$enable_Singular" = yes; then
572  if test -d Singular; then
573    AC_MSG_RESULT(yes)
574    CONFIG_SUBDIRS="$CONFIG_SUBDIRS Singular"
575    BUILD_SUBDIRS="$BUILD_SUBDIRS Singular"     
576  else
577    AC_MSG_RESULT(no)
578    AC_MSG_ERROR(can not build Singular without Singular directory)
579  fi
580else
581  AC_MSG_RESULT(no)
582fi
583
584
585# test if IntegerProgramming should be built:
586
587AC_MSG_CHECKING(whether to build IntegerProgramming)
588if test "$enable_IntegerProgramming" != no && test -d "IntegerProgramming"; then
589   BUILD_SUBDIRS="$BUILD_SUBDIRS IntegerProgramming"
590   AC_MSG_RESULT(yes)
591   if test "$enable_IntegerProgramming" != yes; then
592     ac_configure_args="$ac_configure_args --enable-IntegerProgramming"
593   fi
594else
595   AC_MSG_RESULT(no)
596fi
597
598AC_MSG_CHECKING(whether to build Plural)
599if test "$enable_Plural" != no && test -d "Plural"; then
600   BUILD_SUBDIRS="$BUILD_SUBDIRS Plural"
601   AC_MSG_RESULT(yes)
602   if test "$enable_Plural" != yes; then
603     ac_configure_args="$ac_configure_args --enable-Plural"
604   fi
605else
606   AC_MSG_RESULT(no)
607fi
608
609
610AC_MSG_CHECKING(whether to configure and build Texinfo)
611if test "$enable_Texinfo" != no && test -d Texinfo; then
612  AC_MSG_RESULT(yes)
613  enable_texinfo=yes
614  CONFIG_SUBDIRS="$CONFIG_SUBDIRS Texinfo"
615  BUILD_SUBDIRS="$BUILD_SUBDIRS Texinfo"       
616  TEXI2DVI=${bindir}/texi2dvi
617  MAKEINFO="${bindir}/makeinfo"
618  TEXINDEX=${bindir}/texindex
619  AC_SUBST(TEXI2DVI)
620  AC_SUBST(MAKEINFO)
621  AC_SUBST(TEXINDEX)
622  if test "$enable_Texinfo" != yes; then
623    ac_configure_args="$ac_configure_args --enable-Texinfo"
624  fi
625else
626  AC_MSG_RESULT(no)
627  AC_MSG_WARN(Building of doc might fail. Need Texinfo)
628  enable_texinfo=no
629  AC_CHECK_PROG(MAKEINFO, makeinfo, makeinfo, ${pwd}/warn_not_found.sh makeinfo)
630  AC_CHECK_PROG(TEXI2DVI, texi2dvi, texi2dvi, ${pwd}/warn_not_found.sh texi2dvi)
631  AC_CHECK_PROG(TEXINDEX, texindex, texindex, ${pwd}/warn_not_found.sh texindex)
632fi 
633
634AC_MSG_CHECKING(whether to configure and build Texi2html)
635if test "$enable_Texi2html" != no && test -d Texi2html; then
636 AC_MSG_RESULT(yes)
637 CONFIG_SUBDIRS="$CONFIG_SUBDIRS Texi2html"
638 BUILD_SUBDIRS="$BUILD_SUBDIRS Texi2html"
639 if test "$enable_Texi2html" != yes; then
640   ac_configure_args="$ac_configure_args --enable-Texi2html"
641 fi
642 TEXI2HTML=${bindir}/texi2html
643 AC_SUBST(TEXI2HTML)
644else
645 AC_MSG_RESULT(no)
646 AC_CHECK_PROG(TEXI2HTML, texi2html, texi2html)
647fi
648
649if test "${TEXI2HTML+set}" != set; then
650AC_MSG_WARN(texi2html not found. HTML doc generation will fail)
651fi
652if test "$ac_cv_prog_LATEX2HTML" = latex2html; then
653  TEXI2HTML_OPTS="-l2h"
654fi
655AC_SUBST(TEXI2HTML_OPTS)
656
657
658AC_MSG_CHECKING(whether to build doc)
659if test "$enable_doc" != no && test -d doc; then
660 AC_MSG_RESULT(yes)
661 BUILD_SUBDIRS="$BUILD_SUBDIRS doc"
662 if test "$enable_doc" != yes; then
663   enable_doc=yes
664   ac_configure_args="$ac_configure_args --enable-doc"
665 fi
666else
667 enable_doc=no
668 AC_MSG_RESULT(no)
669fi
670
671AC_MSG_CHECKING(whether to build emacs)
672if test "$enable_doc" = yes && test "$enable_emacs" != no && test -d emacs; then
673 AC_MSG_RESULT(yes)
674 BUILD_SUBDIRS="$BUILD_SUBDIRS emacs"
675 if test "$enable_emacs" != yes; then
676   ac_configure_args="$ac_configure_args --enable-emacs"
677 fi
678else
679 AC_MSG_RESULT(no)
680fi
681
682dnl lllllllllllllllllllllllllllllllllllllllllllllllllllllllllllllllllllll
683dnl Check whether or not to use various packages
684dnl
685AC_MSG_CHECKING(which apint package to use)
686if test "$with_apint" = gmp; then
687  if test "$ac_gmp_ok" = yes || test "$enable_gmp" = yes; then
688    AC_MSG_RESULT(gmp)
689  else
690    AC_MSG_RESULT(none)
691    AC_MSG_ERROR(can not use with gmp without finding or building it)
692  fi
693elif test "$with_apint" = smallgmp; then
694  if test "$ac_smallgmp_ok" = yes || test "$enable_smallgmp" = yes; then
695    AC_MSG_RESULT(smallgmp)
696  else
697    AC_MSG_RESULT(none)
698    AC_MSG_ERROR(can not use with smallgmp without finding or building it)
699  fi
700elif test "$ac_gmp_ok" = yes || test "$enable_gmp"; then
701    AC_MSG_RESULT(gmp)
702    ac_configure_args="$ac_configure_args --with-apint=gmp"
703else
704dnl now we are sure that we have the smallgmp --otherwise enable
705dnl checks had thrown an error
706   AC_MSG_RESULT(smallgmp)
707   ac_configure_args="$ac_configure_args --with-apint=smallgmp"
708fi
709
710AC_MSG_CHECKING(whether to use with MP)
711if test "$with_MP" = yes; then
712  if test "$ac_MP_ok" = yes || test "$enable_MP" = yes; then
713    AC_MSG_RESULT(yes)
714  else
715    AC_MSG_RESULT(none)
716    AC_MSG_ERROR(can not use with MP without finding or building it)
717  fi
718elif test "$with_MP" = no; then
719  AC_MSG_RESULT(no)
720elif test "$ac_MP_ok" = yes || test "$enable_MP" = yes; then
721  AC_MSG_RESULT(yes)
722  ac_configure_args="$ac_configure_args --with-MP"
723else
724  AC_MSG_RESULT(no)
725  ac_configure_args="$ac_configure_args --without-MP"
726fi
727
728AC_MSG_CHECKING(whether to use with factory)
729if test "$with_factory" = yes; then
730  if test "$ac_factory_ok" = yes || test "$enable_factory" = yes; then
731    AC_MSG_RESULT(yes)
732  else
733    AC_MSG_RESULT(none)
734    AC_MSG_ERROR(can not use with factory without finding or building it)
735  fi
736elif test "$with_factory" = no; then
737  AC_MSG_RESULT(no)
738elif test "$ac_factory_ok" = yes || test "$enable_factory" = yes; then
739  AC_MSG_RESULT(yes)
740  ac_configure_args="$ac_configure_args --with-factory"
741else
742  AC_MSG_RESULT(no)
743  ac_configure_args="$ac_configure_args --without-factory"
744fi
745 
746AC_MSG_CHECKING(whether to use with libfac)
747if test "$with_libfac" = yes; then
748  if test "$ac_libfac_ok" = yes || test "$enable_libfac" = yes; then
749    AC_MSG_RESULT(yes)
750  else
751    AC_MSG_RESULT(none)
752    AC_MSG_ERROR(can not use with libfac without finding or building it)
753  fi
754elif test "$with_libfac" = no; then
755  AC_MSG_RESULT(no)
756elif test "$ac_libfac_ok" = yes || test "$enable_libfac" = yes; then
757  AC_MSG_RESULT(yes)
758  ac_configure_args="$ac_configure_args --with-libfac"
759else
760  AC_MSG_RESULT(no)
761  ac_configure_args="$ac_configure_args --without-libfac"
762fi
763
764
765
766AC_MSG_CHECKING(whether to use with Singular)
767if test "$with_Singular" != no && test "$with_Singular" != yes; then
768  if test "$enable_Singular" = yes; then
769    with_Singular=yes
770  else
771    with_Singular=no
772  fi
773  ac_configure_args="$ac_configure_args --with-Singular=$with_Singular"
774fi
775
776if test "$with_Singular" != no; then
777  AC_MSG_RESULT(yes)
778else
779  AC_MSG_RESULT(no)
780fi
781
782
783dnl lllllllllllllllllllllllllllllllllllllllllllllllllllllllllllllllllllll
784dnl Check for known subdirs
785dnl
786SUBDIRS=""
787if test -d omalloc; then
788  SUBDIRS="$SUBDIRS omalloc"
789fi
790if test -d smallgmp; then
791  SUBDIRS="$SUBDIRS smallgmp"
792fi
793if test -d gmp; then
794  SUBDIRS="$SUBDIRS gmp"
795fi
796if test -d MP; then
797  SUBDIRS="$SUBDIRS MP"
798fi
799if test -d factory; then
800  SUBDIRS="$SUBDIRS factory"
801fi
802if test -d libfac; then
803  SUBDIRS="$SUBDIRS libfac"
804fi
805if test -d sgroup; then
806  SUBDIRS="$SUBDIRS sgroup"
807fi
808if test -d Singular; then
809  SUBDIRS="$SUBDIRS Singular"
810fi
811if test -d Texinfo; then
812  SUBDIRS="$SUBDIRS Texinfo"
813fi
814if test -d Texi2html; then
815  SUBDIRS="$SUBDIRS Texi2html"
816fi
817if test -d doc; then
818  SUBDIRS="$SUBDIRS doc"
819fi
820if test -d emacs; then
821  SUBDIRS="$SUBDIRS emacs"
822fi
823if test -d rpm; then
824  SUBDIRS="$SUBDIRS rpm"
825fi
826 
827dnl lllllllllllllllllllllllllllllllllllllllllllllllllllllllllllllllllllll
828dnl Enough -- wrap it up
829dnl
830AC_PROG_MAKE_SET
831AC_SUBST(SUBDIRS)
832AC_SUBST(BUILD_SUBDIRS)
833AC_SUBST(CONFIG_SUBDIRS)
834AC_CONFIG_SUBDIRS($CONFIG_SUBDIRS)
835
836AC_OUTPUT(${OUTPUT_MAKEFILES})
Note: See TracBrowser for help on using the repository browser.