source: git/configure.in @ acfbb5a

spielwiese
Last change on this file since acfbb5a was f36635, checked in by Olaf Bachmann <obachman@…>, 25 years ago
* merged in changes from 1-2-3 git-svn-id: file:///usr/local/Singular/svn/trunk@3207 2c84dea3-7e68-4137-9b89-c4e89433aadc
  • Property mode set to 100644
File size: 17.9 KB
Line 
1dnl Process this file with autoconf to produce a configure script
2AC_INIT(Singular/matpol.h)
3AC_PREFIX_DEFAULT(`pwd`)
4OUTPUT_MAKEFILES="Makefile doc/Makefile doc/version.texi"
5if test -d "mpr"; then
6   OUTPUT_MAKEFILES=$OUTPUT_MAKEFILES" mpr/Makefile"
7fi
8if test -d "rpm"; then
9   OUTPUT_MAKEFILES=$OUTPUT_MAKEFILES" rpm/Makefile"
10   OUTPUT_MAKEFILES=$OUTPUT_MAKEFILES" rpm/rpmrc rpm/Singular.spec"
11fi
12if test -d "modules"; then
13   OUTPUT_MAKEFILES=$OUTPUT_MAKEFILES" modules/Makefile"
14fi
15if test -d "modules/tools"; then
16   OUTPUT_MAKEFILES=$OUTPUT_MAKEFILES" modules/tools/Makefile"
17fi
18
19dnl lllllllllllllllllllllllllllllllllllllllllllllllllllllllllllllllllllll
20dnl determine singuname
21dnl
22AC_MSG_CHECKING(uname for singular)
23AC_CACHE_VAL(ac_cv_singuname,
24ac_cv_singuname="unknown"
25if test -r "singuname.sh"; then
26  if (/bin/sh singuname.sh >/dev/null 2>&1) then
27    ac_cv_singuname=`/bin/sh singuname.sh`
28  fi
29fi
30)
31AC_MSG_RESULT($ac_cv_singuname)
32if test "$ac_cv_singuname" = unknown; then
33  AC_MSG_ERROR(Unknown architecture: Check singuname.sh)
34else
35  SINGUNAME=$ac_cv_singuname
36  AC_SUBST(SINGUNAME)
37fi
38
39VERSION_SEP="-"
40
41dnl lllllllllllllllllllllllllllllllllllllllllllllllllllllllllllllllllllll
42dnl Version business --  set these here
43dnl
44# make them to env variables
45# pass them indirectly to subsequent configures
46SINGULAR_MAJOR_VERSION=1
47SINGULAR_MINOR_VERSION=3
48SINGULAR_SUB_VERSION=3
49SINGULAR_SHORT_VERSION="${SINGULAR_MAJOR_VERSION}${VERSION_SEP}${SINGULAR_MINOR_VERSION}"
50SINGULAR_VERSION="${SINGULAR_SHORT_VERSION}${VERSION_SEP}${SINGULAR_SUB_VERSION}"
51VERSION_DATE="February 1999"
52
53export SINGULAR_MINOR_VERSION
54export SINGULAR_MAJOR_VERSION
55export SINGULAR_SUB_VERSION
56export SINGULAR_VERSION
57export VERSION_DATE
58
59dnl substitue them into the Makefiles
60AC_SUBST(SINGULAR_VERSION)
61AC_SUBST(VERSION_DATE)
62AC_SUBST(SINGULAR_SHORT_VERSION)
63
64dnl lllllllllllllllllllllllllllllllllllllllllllllllllllllllllllllllllllll
65dnl Those are needed to check for libs and headers, later on
66dnl
67AC_PROG_CC
68AC_PROG_CPP
69AC_AIX
70
71AC_CHECK_PROGS(PERL, perl5 perl)
72AC_CHECK_PROG(LATEX2HTML, latex2html, latex2html)
73AC_PROG_LN_S
74if test -x Texi2html/texi2html; then
75TEXI2HTML=`pwd`/Texi2html/texi2html
76AC_SUBST(TEXI2HTML)
77else
78AC_MSG_WARN(could not find Texi2html/texi2html HTML generation might fail)
79AC_CHECK_PROG(TEXI2HTML, texi2html, texi2html)
80fi
81if test "$ac_cv_prog_LATEX2HTML" = latex2html; then
82  TEXI2HTML_OPTS="-l2h"
83else
84 TEXI2HTML_OPTS="-expandinfo"
85fi
86AC_SUBST(TEXI2HTML_OPTS)
87
88dnl lllllllllllllllllllllllllllllllllllllllllllllllllllllllllllllllllllll
89dnl Set exec_prefix, bindir, libdir, includedir to some sensible values
90dnl
91# expand prefix and pass it to subsequent configures
92if test "x$prefix" = xNONE; then
93  prefix=${ac_default_prefix}
94  ac_configure_args="$ac_configure_args --prefix=${prefix}"
95fi
96
97# expand exec_prefix
98if test "x$exec_prefix" = xNONE; then
99 exec_prefix=${prefix}/${ac_cv_singuname}
100 ac_configure_args="$ac_configure_args --exec_prefix=${exec_prefix}"
101fi
102
103# expand bindir
104if test "x$bindir" = 'x${exec_prefix}/bin'; then
105  bindir="${exec_prefix}/bin"
106  ac_configure_args="$ac_configure_args --bindir=${bindir}"
107fi
108
109# expand libdir
110if test "x$libdir" = 'x${exec_prefix}/lib'; then
111  libdir="${exec_prefix}/lib/${SINGULAR_VERSION}"
112  ac_configure_args="$ac_configure_args --libdir=${libdir}"
113fi
114
115# expand includedir
116if test "x$includedir" = 'x${prefix}/include'; then
117  includedir="${exec_prefix}/include/${SINGULAR_VERSION}"
118  ac_configure_args="$ac_configure_args --includedir=${includedir}"
119fi
120
121# construct name of installed Singular executable
122SINGULAR=${bindir}/Singular-${SINGULAR_MAJOR_VERSION}${VERSION_SEP}${SINGULAR_MINOR_VERSION}${VERSION_SEP}${SINGULAR_SUB_VERSION}
123export SINGULAR
124AC_SUBST(SINGULAR)
125
126dnl lllllllllllllllllllllllllllllllllllllllllllllllllllllllllllllllllllll
127dnl Check for various libraries and headers
128dnl
129dnl After this part, the variables 'ac_<package>_ok' is 'yes'
130dnl if '<package>' is already existent on the system, otherwise
131dnl undefined.
132dnl
133
134# add -I to CPPFLAGS and -L to LDFLAGS, just to be sure
135LDFLAGS="-L${libdir} ${LDFLAGS}"
136CPPFLAGS="-I${includedir} ${CPPFLAGS}"
137
138# check for AIX
139AC_MSG_CHECKING(whether _AIX is defined)
140AC_CACHE_VAL(ac_cv_is_aix,
141AC_EGREP_CPP(yes,
142[#ifdef _AIX
143    yes
144#endif
145], ac_cv_is_aix=yes, ac_cv_is_aix=no, 1))
146if test "$ac_cv_is_aix" = yes; then
147  AC_MSG_RESULT(yes)
148else
149  AC_MSG_RESULT(no)
150fi
151
152AC_CHECK_LIB(m, atof)
153AC_CHECK_LIB(bsd, socket)
154AC_CHECK_LIB(socket, listen)
155AC_CHECK_LIB(nsl, gethostbyname)
156AC_CHECK_LIB(gmp, mpq_init)
157AC_CHECK_LIB(smallgmp, mpz_init)
158AC_CHECK_LIB(MP, IMP_PutGmpInt)
159AC_CHECK_LIB(MPT, MPT_GetTree)
160AC_CHECK_LIB(singcf, atof)
161AC_CHECK_LIB(singfac, atof)
162
163AC_CHECK_HEADERS(gmp.h smallgmp.h MP.h  MPT.h factory.h factor.h)
164
165if test "$ac_cv_lib_gmp_mpq_init" = yes && \
166 test "$ac_cv_header_gmp_h" = yes; then
167  ac_gmp_ok=yes
168fi
169
170if test "$ac_cv_lib_smallgmp_mpz_init" = yes && \
171 test "$ac_cv_header_smallgmp_h" = yes && \
172 test "$ac_cv_header_gmp_h" = yes; then
173  ac_smallgmp_ok=yes
174fi
175
176if test "$ac_cv_lib_MP_IMP_PutGmpInt" = yes && \
177 test "$ac_cv_lib_MPT_MPT_GetTree" && \
178 test "$ac_cv_header_MP_h" = yes && \
179 test "$ac_cv_header_MPT_h" = yes; then
180  ac_MP_ok=yes
181fi
182
183if test "$ac_cv_lib_singcf_atof" = yes && \
184 test "$ac_cv_header_factory_h" = yes; then
185  ac_factory_ok=yes
186fi
187
188if test "$ac_cv_lib_singfac_atof" = yes && \
189 test "$ac_cv_header_factor_h" = yes; then
190  ac_libfac_ok=yes
191fi
192
193 
194dnl lllllllllllllllllllllllllllllllllllllllllllllllllllllllllllllllllllll
195dnl Check command line arguments
196dnl
197AC_ARG_WITH(tmpdir, \
198 [ --with-tmpdir=DIR       use DIR as temporary directory])
199AC_ARG_ENABLE(smallgmp, \
200 [ --enable-PACKAGE        configure and build PACKAGE
201  --disable-PACKAGE       do not configure and build PACKAGE
202   where PACKAGE can be:
203     smallgmp             minimal version of gmp written in C only])
204AC_ARG_ENABLE(gmp, \
205 [    gmp                  Gnu Multiple Precision package])
206AC_ARG_ENABLE(MP, \
207 [    MP                   Multi Protocol library])
208AC_ARG_ENABLE(factory, \
209 [    factory              polynomial factorization library])
210AC_ARG_ENABLE(libfac, \
211 [    libfac               char set and modp poly factorization library])
212AC_ARG_ENABLE(sgroup, \
213 [    sgroup               numerical semigroup computations])
214AC_ARG_ENABLE(Singular, \
215 [    Singular             CAS for Polynomial Computations])
216AC_ARG_ENABLE(Texinfo, \
217 [    Texinfo              Texinfo for info, texi2dvi, makeinfo])
218
219AC_ARG_WITH(MP,\
220 [ --with-PACKAGE          use PACKAGE, provide dependent functionality
221  --without-PACKAGE       do not use PACKAGE, disable dependent functionality
222   where PACKAGE can be:
223     MP                   Multi Protocol library])
224AC_ARG_WITH(factory, \
225 [    factory              polynomial factorization library])
226AC_ARG_WITH(libfac, \
227 [    libfac               char set and modp poly factorization library])
228AC_ARG_WITH(gmp, \
229 [ --with-apint=PACKAGE    use PACKAGE for arbitary integer arithmetic
230                          where PACKAGE can be gmp or smallgmp
231All additional --enable and --with options are passed to subsequent calls
232to configure of the packages to be built. See also configure --help in
233these packages (resp. subdirs). ])
234
235dnl lllllllllllllllllllllllllllllllllllllllllllllllllllllllllllllllllllll
236dnl Check what to use as tmp dir
237dnl
238AC_MSG_CHECKING(which tmp dir to use)
239if test "${with_tmpdir+set}" = set && test -d ${with_tmpdir}; then
240  if (echo "${with_tmpdir}" | egrep "\." >/dev/null 2>&1)
241  then
242    TMP_DIR="/tmp"
243  else
244    TMP_DIR=${with_tmpdir}
245  fi
246else
247  TMP_DIR="/tmp"
248fi
249AC_MSG_RESULT($TMP_DIR)
250AC_SUBST(TMP_DIR)
251
252dnl lllllllllllllllllllllllllllllllllllllllllllllllllllllllllllllllllllll
253dnl Check whether or not to configure and build various packages
254dnl
255AC_MSG_CHECKING(whether to configure and build texinfo)
256if test "$enable_texinfo" != no && test -d Texinfo; then
257  AC_MSG_RESULT(yes)
258  enable_texinfo=yes
259  CONFIG_SUBDIRS="$CONFIG_SUBDIRS Texinfo"
260  TEXI2DVI=${bindir}/texi2dvi
261  MAKEINFO="${bindir}/makeinfo --force"
262  TEXINDEX=${bindir}/texindex
263else
264  AC_MSG_RESULT(no)
265  AC_MSG_WARN(Building of doc might fail. Need Texinfo)
266  enable_texinfo=no
267  TEXI2DVI=texi2dvi
268  MAKEINFO=makeinfo
269  TEXINDEX=${bindir}/texindex
270fi 
271AC_SUBST(TEXI2DVI)
272AC_SUBST(MAKEINFO)
273AC_SUBST(TEXINDEX)
274
275
276AC_MSG_CHECKING(whether to configure and build gmp lib)
277if test "$enable_gmp" != yes && test "$enable_gmp" != no; then
278  if test "$ac_gmp_ok" != yes && test -d gmp; then
279    AC_MSG_RESULT(yes)
280    enable_gmp=yes
281    CONFIG_SUBDIRS="$CONFIG_SUBDIRS gmp"
282    ac_configure_args="$ac_configure_args --enable-gmp"
283    OUTPUT_MAKEFILES="$OUTPUT_MAKEFILES gmp/Makefile.in"
284  else
285    AC_MSG_RESULT(no)
286    enable_gmp=no
287  fi
288elif test "$enable_gmp" = yes; then
289  if test ! -d gmp; then
290    AC_MSG_RESULT(no)
291    AC_MSG_ERROR(Can not find gmp subdir)
292  else
293    AC_MSG_RESULT(yes)
294    CONFIG_SUBDIRS="$CONFIG_SUBDIRS gmp"
295    OUTPUT_MAKEFILES="$OUTPUT_MAKEFILES gmp/Makefile.in"
296  fi
297else
298  AC_MSG_RESULT(no)
299fi
300
301AC_MSG_CHECKING(whether to configure and build smallgmp lib)
302if test "$enable_smallgmp" != yes && test "$enable_smallgmp" != no; then
303  if test "$ac_smallgmp_ok" != yes && test "$ac_gmp_ok" != yes && \
304     test "$enable_gmp" != yes && test -d smallgmp; then
305    AC_MSG_RESULT(yes)
306    enable_smallgmp=yes
307    CONFIG_SUBDIRS="$CONFIG_SUBDIRS smallgmp"
308    ac_configure_args="$ac_configure_args --enable-smallgmp --enable-gmp"
309  else
310    AC_MSG_RESULT(no)
311    enable_smallgmp=no
312  fi
313elif test "$enable_smallgmp" = yes; then
314  if test ! -d smallgmp; then
315    AC_MSG_RESULT(no)
316    AC_MSG_ERROR(Can not find smallgmp subdir)
317  else
318    AC_MSG_RESULT(yes)
319    CONFIG_SUBDIRS="$CONFIG_SUBDIRS smallgmp"
320    if test "$ac_gmp_ok" != yes && test "$enable_gmp" != yes; then
321      ac_configure_args="$ac_configure_args --enable-gmp"
322    fi
323  fi
324else
325  AC_MSG_RESULT(${enable_smallgmp})
326fi
327
328# Check whether we have at least one of smallgmp or gmp
329if test "$ac_smallgmp_ok" != yes && test "$ac_gmp_ok" != yes && \
330   test "$enable_smallgmp" != yes && test "$enable_gmp" != yes; then
331  AC_MSG_ERROR(can neither find nor built gmp or smallgmp)
332fi
333
334# Check whether we need to cheat subsequent configures with --enable-gmp
335if test "$ac_smallgmp_ok" != yes && test "$ac_gmp_ok" != yes; then
336  ac_configure_args="$ac_configure_args --enable-gmp"
337fi
338
339AC_MSG_CHECKING(whether to configure and build MP lib)
340if test "$enable_MP" != yes && test "$enable_MP" != no; then
341  if test "$with_MP" != no && test "$ac_MP_ok" != yes && test -d MP && \
342     (test "$enable_gmp" = yes || test "$ac_gmp_ok" = yes); then
343    AC_MSG_RESULT(yes)
344    enable_MP=yes
345    CONFIG_SUBDIRS="$CONFIG_SUBDIRS MP"
346    ac_configure_args="$ac_configure_args --enable-MP"
347  else
348    AC_MSG_RESULT(no)
349    enable_MP=no
350  fi
351elif test "$enable_MP" = yes; then
352  if test ! -d MP; then
353    AC_MSG_RESULT(no)
354    AC_MSG_ERROR(can not build MP without MP directory)
355  fi
356  if test "$enable_gmp" = yes || test "$ac_gmp_ok" = yes; then
357    AC_MSG_RESULT(yes)
358    CONFIG_SUBDIRS="$CONFIG_SUBDIRS MP"
359  else
360    AC_MSG_RESULT(no)
361    AC_MSG_ERROR(can not build MP without gmp)
362  fi
363else
364  AC_MSG_RESULT(no)
365fi
366 
367AC_MSG_CHECKING(whether to configure and build factory lib)
368if test "$enable_factory" != yes && test "$enable_factory" != no; then
369  if test "$with_factory" != no && test "$ac_factory_ok" != yes && \
370     test -d factory; then
371    enable_factory=yes
372    AC_MSG_RESULT(yes)
373    CONFIG_SUBDIRS="$CONFIG_SUBDIRS factory"
374    ac_configure_args="$ac_configure_args --enable-factory"
375  else
376    enable_factory=no
377    AC_MSG_RESULT(no)
378  fi
379elif test "$enable_factory" = yes; then
380  if test -d factory; then
381    AC_MSG_RESULT(yes)
382    CONFIG_SUBDIRS="$CONFIG_SUBDIRS factory"
383  else
384    AC_MSG_RESULT(no)
385    AC_MSG_ERROR(can not build factory without factory directory)
386  fi
387else
388  AC_MSG_RESULT(no)
389fi
390
391AC_MSG_CHECKING(whether to configure and build libfac lib)
392if test "$enable_libfac" != yes && test "$enable_libfac" != no; then
393  if test "$with_libfac" != no && test "$ac_libfac_ok" != yes && \
394     test -d libfac && \
395     (test "$ac_factory_ok" = yes || test "$enable_factory" = yes); then
396    enable_libfac=yes
397    AC_MSG_RESULT(yes)
398    CONFIG_SUBDIRS="$CONFIG_SUBDIRS libfac"
399    ac_configure_args="$ac_configure_args --enable-libfac"
400  else
401    enable_libfac=no
402    AC_MSG_RESULT(no)
403  fi
404elif  test "$enable_libfac" = yes; then
405  if test ! -d libfac; then
406    AC_MSG_RESULT(no)
407    AC_MSG_ERROR(can not build libfac without libfac directory)
408  fi
409  if test "$ac_factory_ok" = yes || test "$enable_factory" = yes; then
410    AC_MSG_RESULT(yes)
411    CONFIG_SUBDIRS="$CONFIG_SUBDIRS libfac"
412  else
413    AC_MSG_RESULT(no)
414    AC_MSG_ERROR(Can not build libfac without factory)
415  fi
416else
417  AC_MSG_RESULT(no)
418fi
419
420AC_MSG_CHECKING(whether to configure and build sgroup lib)
421if test "$enable_sgroup" != yes && test "$enable_sgroup" != no; then
422  if test "$with_sgroup" != no && test "$ac_sgroup_ok" != yes && \
423     test -d sgroup && \
424     (test "$ac_MP_ok" = yes || test "$enable_MP" = yes); then
425    enable_sgroup=yes
426    AC_MSG_RESULT(yes)
427    CONFIG_SUBDIRS="$CONFIG_SUBDIRS sgroup"
428    ac_configure_args="$ac_configure_args --enable-sgroup"
429  else
430    enable_sgroup=no
431    AC_MSG_RESULT(no)
432  fi
433elif  test "$enable_sgroup" = yes; then
434  if test ! -d sgroup; then
435    AC_MSG_RESULT(no)
436    AC_MSG_ERROR(can not build sgroup without sgroup directory)
437  fi
438  if test "$ac_MP_ok" = yes || test "$enable_MP" = yes; then
439    AC_MSG_RESULT(yes)
440    CONFIG_SUBDIRS="$CONFIG_SUBDIRS sgroup"
441  else
442    AC_MSG_RESULT(no)
443    AC_MSG_ERROR(Can not build sgroup without MP)
444  fi
445else
446  AC_MSG_RESULT(no)
447fi
448
449AC_MSG_CHECKING(whether to configure and build Singular)
450if test "$enable_Singular" != yes && test "$enable_Singular" != no; then
451  if test "$with_Singular" != no && test -d Singular; then
452    enable_Singular=yes
453    AC_MSG_RESULT(yes)
454    CONFIG_SUBDIRS="$CONFIG_SUBDIRS Singular"
455    ac_configure_args="$ac_configure_args --enable-Singular"
456  else
457    enable_Singular=no
458    AC_MSG_RESULT(no)
459  fi
460elif test "$enable_Singular" = yes; then
461  if test -d Singular; then
462    AC_MSG_RESULT(yes)
463    CONFIG_SUBDIRS="$CONFIG_SUBDIRS Singular"
464  else
465    AC_MSG_RESULT(no)
466    AC_MSG_ERROR(can not build Singular without Singular directory)
467  fi
468else
469  AC_MSG_RESULT(no)
470fi
471
472
473dnl lllllllllllllllllllllllllllllllllllllllllllllllllllllllllllllllllllll
474dnl Check whether or not to use various packages
475dnl
476AC_MSG_CHECKING(which apint package to use)
477if test "$with_apint" = gmp; then
478  if test "$ac_gmp_ok" = yes || test "$enable_gmp" = yes; then
479    AC_MSG_RESULT(gmp)
480  else
481    AC_MSG_RESULT(none)
482    AC_MSG_ERROR(can not use with gmp without finding or building it)
483  fi
484elif test "$with_apint" = smallgmp; then
485  if test "$ac_smallgmp_ok" = yes || test "$enable_smallgmp" = yes; then
486    AC_MSG_RESULT(smallgmp)
487  else
488    AC_MSG_RESULT(none)
489    AC_MSG_ERROR(can not use with smallgmp without finding or building it)
490  fi
491elif test "$ac_gmp_ok" = yes || test "$enable_gmp"; then
492    AC_MSG_RESULT(gmp)
493    ac_configure_args="$ac_configure_args --with-apint=gmp"
494else
495dnl now we are sure that we have the smallgmp --otherwise enable
496dnl checks had thrown an error
497   AC_MSG_RESULT(smallgmp)
498   ac_configure_args="$ac_configure_args --with-apint=smallgmp"
499fi
500
501AC_MSG_CHECKING(whether to use with MP)
502if test "$with_MP" = yes; then
503  if test "$ac_MP_ok" = yes || test "$enable_MP" = yes; then
504    AC_MSG_RESULT(yes)
505  else
506    AC_MSG_RESULT(none)
507    AC_MSG_ERROR(can not use with MP without finding or building it)
508  fi
509elif test "$with_MP" = no; then
510  AC_MSG_RESULT(no)
511elif test "$ac_MP_ok" = yes || test "$enable_MP" = yes; then
512  AC_MSG_RESULT(yes)
513  ac_configure_args="$ac_configure_args --with-MP"
514else
515  AC_MSG_RESULT(no)
516  ac_configure_args="$ac_configure_args --without-MP"
517fi
518
519AC_MSG_CHECKING(whether to use with factory)
520if test "$with_factory" = yes; then
521  if test "$ac_factory_ok" = yes || test "$enable_factory" = yes; then
522    AC_MSG_RESULT(yes)
523  else
524    AC_MSG_RESULT(none)
525    AC_MSG_ERROR(can not use with factory without finding or building it)
526  fi
527elif test "$with_factory" = no; then
528  AC_MSG_RESULT(no)
529elif test "$ac_factory_ok" = yes || test "$enable_factory" = yes; then
530  AC_MSG_RESULT(yes)
531  ac_configure_args="$ac_configure_args --with-factory"
532else
533  AC_MSG_RESULT(no)
534  ac_configure_args="$ac_configure_args --without-factory"
535fi
536 
537AC_MSG_CHECKING(whether to use with libfac)
538if test "$with_libfac" = yes; then
539  if test "$ac_libfac_ok" = yes || test "$enable_libfac" = yes; then
540    AC_MSG_RESULT(yes)
541  else
542    AC_MSG_RESULT(none)
543    AC_MSG_ERROR(can not use with libfac without finding or building it)
544  fi
545elif test "$with_libfac" = no; then
546  AC_MSG_RESULT(no)
547elif test "$ac_libfac_ok" = yes || test "$enable_libfac" = yes; then
548  AC_MSG_RESULT(yes)
549  ac_configure_args="$ac_configure_args --with-libfac"
550else
551  AC_MSG_RESULT(no)
552  ac_configure_args="$ac_configure_args --without-libfac"
553fi
554
555AC_MSG_CHECKING(whether to use with Singular)
556if test "$with_Singular" != no && test "$with_Singular" != yes; then
557  if test "$enable_Singular" = yes; then
558    with_Singular=yes
559  else
560    with_Singular=no
561  fi
562  ac_configure_args="$ac_configure_args --with-Singular=$with_Singular"
563fi
564
565if test "$with_Singular" != no; then
566  AC_MSG_RESULT(yes)
567else
568  AC_MSG_RESULT(no)
569fi
570
571
572dnl lllllllllllllllllllllllllllllllllllllllllllllllllllllllllllllllllllll
573dnl Check for known subdirs
574dnl
575SUBDIRS=""
576if test -d doc; then
577  SUBDIRS="$SUBDIRS doc"
578fi
579if test -d smallgmp; then
580  SUBDIRS="$SUBDIRS smallgmp"
581fi
582if test -d gmp; then
583  SUBDIRS="$SUBDIRS gmp"
584fi
585if test -d MP; then
586  SUBDIRS="$SUBDIRS MP"
587fi
588if test -d factory; then
589  SUBDIRS="$SUBDIRS factory"
590fi
591if test -d libfac; then
592  SUBDIRS="$SUBDIRS libfac"
593fi
594if test -d sgroup; then
595  SUBDIRS="$SUBDIRS sgroup"
596fi
597if test -d Singular; then
598  SUBDIRS="$SUBDIRS Singular"
599fi
600if test -d rpm; then
601  SUBDIRS="$SUBDIRS rpm"
602fi
603if test -d mpr; then
604  CONFIG_SUBDIRS="$CONFIG_SUBDIRS mpr"
605  SUBDIRS="$SUBDIRS mpr"
606fi
607 
608
609dnl lllllllllllllllllllllllllllllllllllllllllllllllllllllllllllllllllllll
610dnl Enough -- wrap it up
611dnl
612AC_PROG_MAKE_SET
613AC_SUBST(SUBDIRS)
614AC_SUBST(CONFIG_SUBDIRS)
615AC_CONFIG_SUBDIRS($CONFIG_SUBDIRS)
616
617AC_OUTPUT(${OUTPUT_MAKEFILES})
Note: See TracBrowser for help on using the repository browser.