Changeset 9177e3 in git


Ignore:
Timestamp:
Jul 4, 2005, 4:50:42 PM (19 years ago)
Author:
Hans Schönemann <hannes@…>
Branches:
(u'fieker-DuVal', '117eb8c30fc9e991c4decca4832b1d19036c4c65')(u'spielwiese', 'c1c65551e4b3a0de0b13ddf30446f6e9569681b5')
Children:
8d3a46e0396ffb25e9c32244f5af2db7ec4d5a3e
Parents:
cb12e46b8b11ffabebe9caea01c5ddc872568759
Message:
*hannes: Mariano changes (tag:MP), --prefix etc.


git-svn-id: file:///usr/local/Singular/svn/trunk@8415 2c84dea3-7e68-4137-9b89-c4e89433aadc
Files:
5 edited

Legend:

Unmodified
Added
Removed
  • configure

    rcb12e46 r9177e3  
    21612161fi
    21622162 
     2163
     2164DOC2TEX_EXAMPLE_EXCLUSIONS=""
     2165
     2166
    21632167# Check whether --with-tmpdir or --without-tmpdir was given.
    21642168if test "${with_tmpdir+set}" = set; then
     
    22772281
    22782282echo $ac_n "checking which tmp dir to use""... $ac_c" 1>&6
    2279 echo "configure:2280: checking which tmp dir to use" >&5
     2283echo "configure:2284: checking which tmp dir to use" >&5
    22802284if test "${with_tmpdir+set}" = set && test -d ${with_tmpdir}; then
    22812285  if (echo "${with_tmpdir}" | egrep "\." >/dev/null 2>&1)
     
    22922296
    22932297echo $ac_n "checking whether to configure and build omalloc""... $ac_c" 1>&6
    2294 echo "configure:2295: checking whether to configure and build omalloc" >&5
     2298echo "configure:2299: checking whether to configure and build omalloc" >&5
    22952299if test "${enable_omalloc+set}" != set; then
    22962300   if test "$ac_cv_omalloc_ok" = yes; then
     
    23302334
    23312335echo $ac_n "checking whether to configure and build gmp lib""... $ac_c" 1>&6
    2332 echo "configure:2333: checking whether to configure and build gmp lib" >&5
     2336echo "configure:2337: checking whether to configure and build gmp lib" >&5
    23332337if test "$enable_gmp" != yes && test "$enable_gmp" != no; then
    23342338  if test "$ac_gmp_ok" != yes && test -d gmp; then
     
    23762380
    23772381echo $ac_n "checking whether to configure and build smallgmp lib""... $ac_c" 1>&6
    2378 echo "configure:2379: checking whether to configure and build smallgmp lib" >&5
     2382echo "configure:2383: checking whether to configure and build smallgmp lib" >&5
    23792383if test "$enable_smallgmp" != yes && test "$enable_smallgmp" != no; then
    23802384  if test "$ac_smallgmp_ok" != yes && test "$ac_gmp_ok" != yes && \
     
    24172421
    24182422echo $ac_n "checking whether to configure and build MP lib""... $ac_c" 1>&6
    2419 echo "configure:2420: checking whether to configure and build MP lib" >&5
     2423echo "configure:2424: checking whether to configure and build MP lib" >&5
    24202424if test "$enable_MP" != yes && test "$enable_MP" != no; then
    24212425  if test "$with_MP" != no && test "$ac_MP_ok" != yes && test -d MP && \
     
    24512455
    24522456echo $ac_n "checking whether to configure and build NTL lib""... $ac_c" 1>&6
    2453 echo "configure:2454: checking whether to configure and build NTL lib" >&5
     2457echo "configure:2458: checking whether to configure and build NTL lib" >&5
    24542458if test "$enable_NTL" != yes && test "$enable_NTL" != no; then
    24552459  if test "$with_NTL" != no && test "$ac_NTL_ok" != yes && \
     
    24762480
    24772481echo $ac_n "checking whether to configure and build factory lib""... $ac_c" 1>&6
    2478 echo "configure:2479: checking whether to configure and build factory lib" >&5
     2482echo "configure:2483: checking whether to configure and build factory lib" >&5
    24792483if test "$enable_factory" != yes && test "$enable_factory" != no; then
    24802484  if test "$with_factory" != no && test "$ac_factory_ok" != yes && \
     
    25012505
    25022506echo $ac_n "checking whether to configure and build libfac lib""... $ac_c" 1>&6
    2503 echo "configure:2504: checking whether to configure and build libfac lib" >&5
     2507echo "configure:2508: checking whether to configure and build libfac lib" >&5
    25042508if test "$enable_libfac" != yes && test "$enable_libfac" != no; then
    25052509  if test "$with_libfac" != no && test "$ac_libfac_ok" != yes && \
     
    25312535
    25322536echo $ac_n "checking whether to configure and build sgroup lib""... $ac_c" 1>&6
    2533 echo "configure:2534: checking whether to configure and build sgroup lib" >&5
     2537echo "configure:2538: checking whether to configure and build sgroup lib" >&5
    25342538if test "$enable_sgroup" = yes; then
    25352539  if test ! -d sgroup; then
     
    25512555
    25522556echo $ac_n "checking whether to configure and build Singular""... $ac_c" 1>&6
    2553 echo "configure:2554: checking whether to configure and build Singular" >&5
     2557echo "configure:2558: checking whether to configure and build Singular" >&5
    25542558if test "$enable_Singular" != yes && test "$enable_Singular" != no; then
    25552559  if test "$with_Singular" != no && test -d Singular; then
     
    25802584
    25812585echo $ac_n "checking whether to build IntegerProgramming""... $ac_c" 1>&6
    2582 echo "configure:2583: checking whether to build IntegerProgramming" >&5
     2586echo "configure:2587: checking whether to build IntegerProgramming" >&5
    25832587if test "$enable_IntegerProgramming" != no && test -d "IntegerProgramming"; then
    25842588   BUILD_SUBDIRS="$BUILD_SUBDIRS IntegerProgramming"
     
    25922596
    25932597echo $ac_n "checking whether to build Plural""... $ac_c" 1>&6
    2594 echo "configure:2595: checking whether to build Plural" >&5
     2598echo "configure:2599: checking whether to build Plural" >&5
    25952599if test "$enable_Plural" != no || test "$with_Plural" != no; then
    25962600   echo "$ac_t""yes" 1>&6
     
    26042608
    26052609echo $ac_n "checking whether to configure and build Texinfo""... $ac_c" 1>&6
    2606 echo "configure:2607: checking whether to configure and build Texinfo" >&5
     2610echo "configure:2611: checking whether to configure and build Texinfo" >&5
    26072611if test "$enable_Texinfo" != no && test -d Texinfo; then
    26082612  echo "$ac_t""yes" 1>&6
     
    26282632set dummy makeinfo; ac_word=$2
    26292633echo $ac_n "checking for $ac_word""... $ac_c" 1>&6
    2630 echo "configure:2631: checking for $ac_word" >&5
     2634echo "configure:2635: checking for $ac_word" >&5
    26312635if eval "test \"`echo '$''{'ac_cv_prog_MAKEINFO'+set}'`\" = set"; then
    26322636  echo $ac_n "(cached) $ac_c" 1>&6
     
    26582662set dummy texi2dvi; ac_word=$2
    26592663echo $ac_n "checking for $ac_word""... $ac_c" 1>&6
    2660 echo "configure:2661: checking for $ac_word" >&5
     2664echo "configure:2665: checking for $ac_word" >&5
    26612665if eval "test \"`echo '$''{'ac_cv_prog_TEXI2DVI'+set}'`\" = set"; then
    26622666  echo $ac_n "(cached) $ac_c" 1>&6
     
    26882692set dummy texindex; ac_word=$2
    26892693echo $ac_n "checking for $ac_word""... $ac_c" 1>&6
    2690 echo "configure:2691: checking for $ac_word" >&5
     2694echo "configure:2695: checking for $ac_word" >&5
    26912695if eval "test \"`echo '$''{'ac_cv_prog_TEXINDEX'+set}'`\" = set"; then
    26922696  echo $ac_n "(cached) $ac_c" 1>&6
     
    27182722set dummy texi2pdf; ac_word=$2
    27192723echo $ac_n "checking for $ac_word""... $ac_c" 1>&6
    2720 echo "configure:2721: checking for $ac_word" >&5
     2724echo "configure:2725: checking for $ac_word" >&5
    27212725if eval "test \"`echo '$''{'ac_cv_prog_TEXI2PDF'+set}'`\" = set"; then
    27222726  echo $ac_n "(cached) $ac_c" 1>&6
     
    27482752
    27492753echo $ac_n "checking whether to configure and build Texi2html""... $ac_c" 1>&6
    2750 echo "configure:2751: checking whether to configure and build Texi2html" >&5
     2754echo "configure:2755: checking whether to configure and build Texi2html" >&5
    27512755if test "$enable_Texi2html" != no && test -d Texi2html; then
    27522756 echo "$ac_t""yes" 1>&6
     
    27632767set dummy texi2html; ac_word=$2
    27642768echo $ac_n "checking for $ac_word""... $ac_c" 1>&6
    2765 echo "configure:2766: checking for $ac_word" >&5
     2769echo "configure:2770: checking for $ac_word" >&5
    27662770if eval "test \"`echo '$''{'ac_cv_prog_TEXI2HTML'+set}'`\" = set"; then
    27672771  echo $ac_n "(cached) $ac_c" 1>&6
     
    28012805
    28022806echo $ac_n "checking whether to build doc""... $ac_c" 1>&6
    2803 echo "configure:2804: checking whether to build doc" >&5
     2807echo "configure:2808: checking whether to build doc" >&5
    28042808if test "$enable_doc" != no && test -d doc; then
    28052809 echo "$ac_t""yes" 1>&6
     
    28152819
    28162820echo $ac_n "checking whether to build emacs""... $ac_c" 1>&6
    2817 echo "configure:2818: checking whether to build emacs" >&5
     2821echo "configure:2822: checking whether to build emacs" >&5
    28182822if test "$enable_doc" = yes && test "$enable_emacs" != no && test -d emacs; then
    28192823 echo "$ac_t""yes" 1>&6
     
    28272831
    28282832echo $ac_n "checking which apint package to use""... $ac_c" 1>&6
    2829 echo "configure:2830: checking which apint package to use" >&5
     2833echo "configure:2834: checking which apint package to use" >&5
    28302834if test "$with_apint" = gmp; then
    28312835  if test "$ac_gmp_ok" = yes || test "$enable_gmp" = yes; then
     
    28512855
    28522856echo $ac_n "checking whether to use with MP""... $ac_c" 1>&6
    2853 echo "configure:2854: checking whether to use with MP" >&5
     2857echo "configure:2858: checking whether to use with MP" >&5
    28542858if test "$with_MP" = yes; then
    28552859  if test "$ac_MP_ok" = yes || test "$enable_MP" = yes; then
     
    28672871  echo "$ac_t""no" 1>&6
    28682872  ac_configure_args="$ac_configure_args --without-MP"
     2873  DOC2TEX_EXAMPLE_EXCLUSIONS="$DOC2TEX_EXAMPLE_EXCLUSIONS -exclude MP"
    28692874fi
    28702875
    28712876echo $ac_n "checking whether to use with factory""... $ac_c" 1>&6
    2872 echo "configure:2873: checking whether to use with factory" >&5
     2877echo "configure:2878: checking whether to use with factory" >&5
    28732878if test "$with_factory" = yes; then
    28742879  if test "$ac_factory_ok" = yes || test "$enable_factory" = yes; then
     
    28892894 
    28902895echo $ac_n "checking whether to use with libfac""... $ac_c" 1>&6
    2891 echo "configure:2892: checking whether to use with libfac" >&5
     2896echo "configure:2897: checking whether to use with libfac" >&5
    28922897if test "$with_libfac" = yes; then
    28932898  if test "$ac_libfac_ok" = yes || test "$enable_libfac" = yes; then
     
    29102915
    29112916echo $ac_n "checking whether to use with Singular""... $ac_c" 1>&6
    2912 echo "configure:2913: checking whether to use with Singular" >&5
     2917echo "configure:2918: checking whether to use with Singular" >&5
    29132918if test "$with_Singular" != no && test "$with_Singular" != yes; then
    29142919  if test "$enable_Singular" = yes; then
     
    29762981 
    29772982echo $ac_n "checking whether ${MAKE-make} sets \${MAKE}""... $ac_c" 1>&6
    2978 echo "configure:2979: checking whether ${MAKE-make} sets \${MAKE}" >&5
     2983echo "configure:2984: checking whether ${MAKE-make} sets \${MAKE}" >&5
    29792984set dummy ${MAKE-make}; ac_make=`echo "$2" | sed 'y%./+-%__p_%'`
    29802985if eval "test \"`echo '$''{'ac_cv_prog_make_${ac_make}_set'+set}'`\" = set"; then
     
    31753180s%@MKINSTALLDIRS@%$MKINSTALLDIRS%g
    31763181s%@SINGULAR@%$SINGULAR%g
     3182s%@DOC2TEX_EXAMPLE_EXCLUSIONS@%$DOC2TEX_EXAMPLE_EXCLUSIONS%g
    31773183s%@TMP_DIR@%$TMP_DIR%g
    31783184s%@TEXI2DVI@%$TEXI2DVI%g
  • configure.in

    rcb12e46 r9177e3  
    242242dnl Check command line arguments
    243243dnl
     244
     245DOC2TEX_EXAMPLE_EXCLUSIONS=""
     246AC_SUBST(DOC2TEX_EXAMPLE_EXCLUSIONS)
     247
    244248AC_ARG_WITH(tmpdir, \
    245249 [ --with-tmpdir=DIR       use DIR as temporary directory])
     
    746750  AC_MSG_RESULT(no)
    747751  ac_configure_args="$ac_configure_args --without-MP"
     752  DOC2TEX_EXAMPLE_EXCLUSIONS="$DOC2TEX_EXAMPLE_EXCLUSIONS -exclude MP"
    748753fi
    749754
  • doc/doc2tex.pl

    rcb12e46 r9177e3  
    11#!/usr/local/bin/perl
    2 # $Id: doc2tex.pl,v 1.27 2003-04-25 13:23:46 levandov Exp $
     2# $Id: doc2tex.pl,v 1.28 2005-07-04 14:50:16 Singular Exp $
    33###################################################################
    44#  Computer Algebra System SINGULAR
     
    6565$reuse = 1;
    6666$no_ex = 0;
     67%exclude_ex = ();
    6768$no_fun = 0;
    6869$doc_subdir = "./d2t_singular";
     
    115116  if (/^-c(lean)?$/)     { $clean = 1; next;}
    116117  if (/^-no_e(x)?$/)     { $no_ex = 1; next;}
     118  if (/^-exclude$/)      { $exclude_ex{shift(@ARGV)} = 1;next;}
    117119  if (/^-no_fu(n)?$/)    { $no_fun = 1;next;}
    118120  if (/^-m(ake)?$/)      { $make =  shift(@ARGV);next;}
     
    262264{
    263265  my($inc_file, $ex_file, $lline, $thisexample, $error_ok, $cache, $no_comp,
    264      $unix_only);
     266     $unix_only, $tag);
    265267 
    266268  $lline = $line;
     
    270272  $examples{$section}++;
    271273
    272   if ($no_ex)
     274  if (/tag:(\w+)/)
     275  {
     276    $tag = $1;
     277  }
     278  else
     279  {
     280    $tag = 'NOTAG';
     281  }
     282 
     283  if ($no_ex or $exclude_ex{$tag})
    273284  {
    274285    print "{$ex_prefix}" if ($verbose);
     
    301312    last if (/^\@c\s*example\s*$/);
    302313#    s/^\s*//; # remove preceeding white spaces
    303     if ($no_ex || $no_comp || $unix_only)
     314    if ($no_ex || $exclude_ex{$tag} || $no_comp || $unix_only)
    304315    {
    305316      &protect_texi;
     
    321332
    322333  # done, if no examples
    323   return if ($no_ex || $no_comp || $unix_only);
     334  return if ($no_ex || $exclude_ex{$tag} || $no_comp || $unix_only);
    324335
    325336  # check whether it can be reused
  • ntl/configure

    rcb12e46 r9177e3  
    11#!/bin/sh
    2 # version $Id: configure,v 1.20 2005-05-02 14:08:07 Singular Exp $
    3 for i in $*
    4 do
    5   case $i in
    6   --prefix=*) prefix=`echo $i|sed 's/--prefix=//'` ;;
    7   --libdir=*) libdir=`echo $i|sed 's/--libdir=//'` ;;
    8   --includedir=*) includedir=`echo $i|sed 's/--includedir=//'` ;;
    9   esac
     2# version $Id: configure,v 1.21 2005-07-04 14:50:17 Singular Exp $
     3
     4while [ $# -ne 0 ]; do
     5   case $1 in
     6     --prefix=*)
     7         prefix=`echo $1 | sed 's/--prefix=//'` ;
     8         ;;
     9     --prefix)
     10         shift;
     11         prefix="$1";
     12         ;;
     13     --libdir=*)
     14         libdir=`echo $1 | sed 's/--libdir=//'` ;
     15         ;;
     16     --libdir)
     17         shift;
     18         libdir="$1";
     19         ;;
     20     --includedir=*)
     21         includedir=`echo $1 | sed 's/--includedir=//'` ;
     22         ;;
     23     --includedir)
     24         shift;
     25         includedir="$1";
     26         ;;
     27     *)
     28         echo "Unknown option: $1";
     29         ;;
     30  esac;
     31  shift;
    1032done
    1133
Note: See TracChangeset for help on using the changeset viewer.