Changeset fd4bde in git for Makefile.in


Ignore:
Timestamp:
May 6, 1997, 8:13:43 PM (27 years ago)
Author:
Olaf Bachmann <obachman@…>
Branches:
(u'spielwiese', 'e7cc1ebecb61be8b9ca6c18016352af89940b21a')
Children:
bb3c2d3daf90dd9fd612518d20fef3cda8c568c3
Parents:
48940847a1b0e2d4294c448c19817e02d80d0888
Message:
* added target dist


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

Legend:

Unmodified
Added
Removed

  • Makefile.in

    r489408 rfd4bde  
    11SHELL           = /bin/sh
     2
     3PRODUCT         = Singular
     4VERSION         = 1.0
     5
     6DISTNAME        = ${PRODUCT}-full-${VERSION}
     7
    28@SET_MAKE@
    3 
    49BUILD_SUBDIRS   = @CONFIG_SUBDIRS@
    510SUBDIRS         = @SUBDIRS@
     11
     12TEMPDIR         = /tmp
     13
    614
    715all install uninstall info dvi : Makefile
    … …  
    2129                ${MAKE} $@; \
    2230                cd .. ;\
    23         done
    24         rm -rf *~ a.out core *.o .log lib bin share include
     31        done;\
     32        rm -rf *~ a.out core *.o .log lib bin share include; \
    2533        if test "$@" = distclean || test "$@" = maintainer-clean; then \
    2634          rm -f config.cache config.log config.status TAGS* *.gz *.tar; \
    … …  
    3240        fi
    3341
    34 dist:
    35        
     42dist:
     43        rm -rf ${DISTNAME}.tar* ${TEMPDIR}/${DISTNAME}*
     44        mkdir ${TEMPDIR}/${DISTNAME}
     45        cp -pR . ${TEMPDIR}/${DISTNAME}
     46        cd ${TEMPDIR}/${DISTNAME}; ${MAKE} distclean;
     47        - find ${TEMPDIR}/${DISTNAME} -name CVS -exec rm -rf {} \;
     48        cd ${TEMPDIR}; tar cf ${DISTNAME}.tar ${DISTNAME}
     49        rm -rf ${TEMPDIR}/${DISTNAME}
     50        gzip -9 ${TEMPDIR}/${DISTNAME}.tar
     51        - mv ${TEMPDIR}/${DISTNAME}.tar.gz .
     52
    3653Makefile : Makefile.in config.status
    3754        ./config.status
Note: See TracChangeset for help on using the changeset viewer.