Changeset 2221a1 in git


Ignore:
Timestamp:
Jun 14, 1998, 2:19:34 PM (26 years ago)
Author:
Hans Schönemann <hannes@…>
Branches:
(u'spielwiese', '17f1d200f27c5bd38f5dfc6e8a0879242279d1d8')
Children:
3cd13028c4c01b742e76a27007f6e5712320677b
Parents:
f7e7e758759b9d2c1b1e9cea7faef755cc3ad2b2
Message:
* hannes: added strip to make bindist


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

Legend:

Unmodified
Added
Removed

  • Makefile.in

    rf7e7e75 r2221a1  
    139139        cd ${TMPDIR}/${SINGUNAME}/bin; ${LN_S} Singular-${SINGULAR_VERSION} Singular
    140140        cp Singular/libparse ${TMPDIR}/${SINGUNAME}/bin/
     141        cd ${TMPDIR}/${SINGUNAME}/bin;strip libparse Singular-${SINGULAR_VERSION}
    141142        cd ${TMPDIR}; tar cf ${BINDIST_NAME}.tar ${SINGUNAME}; \
    142143                      gzip ${BINDIST_NAME}.tar

  • Singular/mpsr_Tok.cc

    rf7e7e75 r2221a1  
    33****************************************/
    44
    5 /* $Id: mpsr_Tok.cc,v 1.14 1998-06-14 11:40:05 Singular Exp $ */
     5/* $Id: mpsr_Tok.cc,v 1.15 1998-06-14 12:19:34 Singular Exp $ */
    66
    77/***************************************************************
    … …  
    558558      fprintf(outfile, " %d",mp2tok[i][j]);
    559559      if  (j!=MAX_COP-1) fprintf(outfile, ",");
    560     } 
     560    }
    561561    if (i!=MAX_SR_DICT-1) fprintf(outfile, "},");
    562562    else                  fprintf(outfile, "}");
Note: See TracChangeset for help on using the changeset viewer.