Changeset dc32d42 in git for libfac


Ignore:
Timestamp:
May 21, 1997, 3:05:36 PM (27 years ago)
Author:
Olaf Bachmann <obachman@…>
Branches:
(u'spielwiese', '1170388a280084e303867145f98985f03b2af06d')
Children:
2b3f238c740deb3d586dc1d5b379ddadb848cbaa
Parents:
670667a17a4a8423dbd6c8e3749cc652102fb28a
Message:
Merged fixes from 1-0 branch


git-svn-id: file:///usr/local/Singular/svn/trunk@311 2c84dea3-7e68-4137-9b89-c4e89433aadc
Location:
libfac
Files:
4 edited

Legend:

Unmodified
Added
Removed
  • libfac/ChangeLog

    r670667 rdc32d42  
     1Tue May 13 11:32:11 1997  Olaf Bachmann  <obachman@ratchwum.mathematik.uni-kl.de (Olaf Bachmann)>
     2
     3        * Makefile.in (uninstall): took out template installation
     4        (all): added OPTOBJ target so that the dir is created, if necessary
     5
     6Tue May 13 20:09:03 1997  Olaf Bachmann  <obachman@schlupp.mathematik.uni-kl.de (Olaf Bachmann)>
     7
     8        * configure.in: Exit with error if factory.h was not found and
     9          --enable-factory option was not explicitely given
     10
    111Tue May 13 11:32:11 1997  Olaf Bachmann  <obachman@ratchwum.mathematik.uni-kl.de (Olaf Bachmann)>
    212
  • libfac/Makefile.in

    r670667 rdc32d42  
    1 # $Id: Makefile.in,v 1.5 1997-05-13 10:09:17 obachman Exp $
     1# $Id: Makefile.in,v 1.6 1997-05-21 13:05:34 obachman Exp $
    22#################################################
    33SHELL           = /bin/sh
     
    8484##
    8585
     86
     87all: OPTOBJ ${TARGETNAME}
     88
     89OPTOBJ:
     90        ${MKINSTALLDIRS} OPTOBJ
     91
    8692.SUFFIXES:      .cc .h .o
    87 
    88 all: ${TARGETNAME}
    8993
    9094OPTOBJ/%.o: %.cc
  • libfac/configure

    r670667 rdc32d42  
    794794fi
    795795
    796 ac_safe=`echo "factory.h" | tr './\055' '___'`
    797 echo $ac_n "checking for factory.h""... $ac_c" 1>&6
     796for ac_hdr in factory.h
     797do
     798ac_safe=`echo "$ac_hdr" | tr './\055' '___'`
     799echo $ac_n "checking for $ac_hdr""... $ac_c" 1>&6
    798800if eval "test \"`echo '$''{'ac_cv_header_$ac_safe'+set}'`\" = set"; then
    799801  echo $ac_n "(cached) $ac_c" 1>&6
    800802else
    801803  cat > conftest.$ac_ext <<EOF
    802 #line 803 "configure"
     804#line 805 "configure"
    803805#include "confdefs.h"
    804 #include <factory.h>
     806#include <$ac_hdr>
    805807EOF
    806808ac_try="$ac_cpp conftest.$ac_ext >/dev/null 2>conftest.out"
    807 { (eval echo configure:808: \"$ac_try\") 1>&5; (eval $ac_try) 2>&5; }
     809{ (eval echo configure:810: \"$ac_try\") 1>&5; (eval $ac_try) 2>&5; }
    808810ac_err=`grep -v '^ *+' conftest.out`
    809811if test -z "$ac_err"; then
     
    819821if eval "test \"`echo '$ac_cv_header_'$ac_safe`\" = yes"; then
    820822  echo "$ac_t""yes" 1>&6
    821   :
     823    ac_tr_hdr=HAVE_`echo $ac_hdr | tr 'abcdefghijklmnopqrstuvwxyz./\055' 'ABCDEFGHIJKLMNOPQRSTUVWXYZ___'`
     824  cat >> confdefs.h <<EOF
     825#define $ac_tr_hdr 1
     826EOF
     827 
    822828else
    823829  echo "$ac_t""no" 1>&6
    824 echo "configure: warning: factory.h not found!" 1>&2
    825 fi
    826 
     830fi
     831done
     832
     833
     834if test "$ac_cv_header_factory_h" != yes; then
     835  if test "$enable_factory" != yes; then
     836    { echo "configure: error: Need factory.h to built libfac" 1>&2; exit 1; }
     837  else
     838    echo "configure: warning: Make sure to _install_ factory.h befor building libfac" 1>&2
     839  fi
     840fi
    827841
    828842
     
    833847else
    834848  cat > conftest.$ac_ext <<EOF
    835 #line 836 "configure"
     849#line 850 "configure"
    836850#include "confdefs.h"
    837851
     
    883897; return 0; }
    884898EOF
    885 if { (eval echo configure:886: \"$ac_compile\") 1>&5; (eval $ac_compile) 2>&5; }; then
     899if { (eval echo configure:900: \"$ac_compile\") 1>&5; (eval $ac_compile) 2>&5; }; then
    886900  rm -rf conftest*
    887901  ac_cv_c_const=yes
     
    909923for ac_kw in inline __inline__ __inline; do
    910924  cat > conftest.$ac_ext <<EOF
    911 #line 912 "configure"
     925#line 926 "configure"
    912926#include "confdefs.h"
    913927
     
    917931; return 0; }
    918932EOF
    919 if { (eval echo configure:920: \"$ac_compile\") 1>&5; (eval $ac_compile) 2>&5; }; then
     933if { (eval echo configure:934: \"$ac_compile\") 1>&5; (eval $ac_compile) 2>&5; }; then
    920934  rm -rf conftest*
    921935  ac_cv_c_inline=$ac_kw; break
  • libfac/configure.in

    r670667 rdc32d42  
    8989dnl Checks for header files.
    9090dnl
    91 AC_CHECK_HEADER(factory.h,,AC_MSG_WARN(factory.h not found!))
     91AC_CHECK_HEADERS(factory.h)
     92
     93if test "$ac_cv_header_factory_h" != yes; then
     94  if test "$enable_factory" != yes; then
     95    AC_MSG_ERROR(Need factory.h to built libfac)
     96  else
     97    AC_MSG_WARN(Make sure to _install_ factory.h befor building libfac)
     98  fi
     99fi
    92100
    93101dnl
Note: See TracChangeset for help on using the changeset viewer.