source: git/Makefile.in @ 98d771

spielwiese
Last change on this file since 98d771 was 5b6c31, checked in by Olaf Bachmann <obachman@…>, 27 years ago
* Changed the way a distribution is made (do not delete CVS stuff any more) git-svn-id: file:///usr/local/Singular/svn/trunk@323 2c84dea3-7e68-4137-9b89-c4e89433aadc
  • Property mode set to 100644
File size: 1.5 KB
Line 
1SHELL           = /bin/sh
2
3PRODUCT         = Singular
4VERSION         = 1.0
5
6DISTNAME        = ${PRODUCT}-full-${VERSION}
7
8@SET_MAKE@
9BUILD_SUBDIRS   = @CONFIG_SUBDIRS@
10SUBDIRS         = @SUBDIRS@
11
12TEMPDIR         = /tmp
13
14
15all install uninstall info dvi : Makefile
16        for SUBDIR in ${BUILD_SUBDIRS}; \
17        do \
18                echo ${MAKE} $@ in $${SUBDIR}; \
19                cd $${SUBDIR}; \
20                ${MAKE} $@; \
21                cd .. ;\
22        done
23
24clean distclean mostlyclean maintainer-clean:
25        for SUBDIR in ${SUBDIRS}; \
26        do \
27                echo ${MAKE} $@ in $${SUBDIR}; \
28                cd $${SUBDIR}; \
29                ${MAKE} $@; \
30                cd .. ;\
31        done;\
32        rm -rf *~ a.out core *.o .log lib bin info share include; \
33        if test "$@" = distclean || test "$@" = maintainer-clean; then \
34          rm -f Makefile config.cache config.log config.status TAGS* *.gz *.tar; \
35        fi; \
36        if test "$@" = maintainer-clean; then \
37          echo "This command is inteneded for maintainer use, only" ; \
38          rm -f configure ;\
39        fi
40
41dist:
42        rm -rf ${DISTNAME}.tar* ${TEMPDIR}/${DISTNAME}*
43        mkdir ${TEMPDIR}/${DISTNAME}
44        - cp -pR . ${TEMPDIR}/${DISTNAME}
45        cd ${TEMPDIR}/${DISTNAME}; ${MAKE} distclean;
46        cd ${TEMPDIR}; tar cf ${DISTNAME}.tar ${DISTNAME}
47        rm -rf ${TEMPDIR}/${DISTNAME}
48        - gzip -9 ${TEMPDIR}/${DISTNAME}.tar
49        - mv ${TEMPDIR}/${DISTNAME}.tar.gz .
50
51Singular factory libfac MP gmp:
52        cd $@; ${MAKE} all
53
54check:
55        cd Singular; ${MAKE} check
56       
57Makefile : Makefile.in config.status
58        ./config.status
59
60config.status : configure
61        ./config.status --recheck
62
63configure: configure.in
64        echo "You need to rerun autoconf. I am proceeding, for now."
65        touch configure
66#       autoconf
67#
Note: See TracBrowser for help on using the repository browser.