Changeset f890c9 in git
- Timestamp:
- Oct 9, 1997, 3:01:27 PM (26 years ago)
- Branches:
- (u'spielwiese', '8e0ad00ce244dfd0756200662572aef8402f13d5')
- Children:
- dbf92f4b21fb5e2527dd8e6e58d284a85b3281b5
- Parents:
- 9e5b1588ec35e6da435f785a95cb21fcf36ac103
- File:
-
- 1 edited
Legend:
- Unmodified
- Added
- Removed
-
Makefile.in
r9e5b15 rf890c9 7 7 DISTNAME = ${PRODUCT}-full-${SINGULAR_MAJOR_VERSION}.${SINGULAR_MINOR_VERSION} 8 8 BINDISTNAME = ${PRODUCT}-${SINGULAR_MAJOR_VERSION}.${SINGULAR_MINOR_VERSION}.@host@ 9 STATIC_BINDISTNAME = ${PRODUCT}-${SINGULAR_MAJOR_VERSION}.${SINGULAR_MINOR_VERSION}.static.@host@ 9 10 SHAREDISTNAME = ${PRODUCT}-${SINGULAR_MAJOR_VERSION}.${SINGULAR_MINOR_VERSION}-share 10 11 MKINSTALLDIRS = ./mkinstalldirs … … 66 67 mv mod2.h mod2.h.orig ;\ 67 68 sed -f ../sed.bindist.cmd mod2.h.orig > mod2.h ;\ 68 /bin/rm -f febase.o misc.o;\ 69 /bin/rm -f febase.o misc.o Singular; \ 70 touch *.inc *.o;\ 69 71 ${MAKE} Singular ;\ 70 72 /bin/rm -f febase.o misc.o;\ … … 74 76 strip ${BINDISTNAME} 75 77 gzip -9 ${BINDISTNAME} 78 79 staticbindist: ${bindir}/Singular-static 80 rm -rf ${STATIC_BINDISTNAME}* 81 if test "${datadir}" != /usr/local/share || \ 82 test "${infodir}" != /usr/local/info; then \ 83 cd Singular ;\ 84 mv mod2.h mod2.h.orig ;\ 85 sed -f ../sed.bindist.cmd mod2.h.orig > mod2.h ;\ 86 /bin/rm -f febase.o misc.o Singular-static; \ 87 touch *.inc *.o;\ 88 ${MAKE} Singular-static ;\ 89 /bin/rm -f febase.o misc.o;\ 90 mv mod2.h.orig mod2.h;\ 91 fi 92 mv Singular/Singular-static ${STATIC_BINDISTNAME} 93 strip ${STATIC_BINDISTNAME} 94 gzip -9 ${STATIC_BINDISTNAME} 76 95 77 96 dosdist: Singular/Singular.exe … … 113 132 114 133 ${bindir}/Singular: 115 ${MAKE} install 134 cd Singular; ${MAKE} Singular 135 136 ${bindir}/Singular-static : 137 cd Singular; ${MAKE} Singular-static 116 138 117 139 Singular/Singular.exe:
Note: See TracChangeset
for help on using the changeset viewer.