Changeset 42be31 in git
- Timestamp:
- Jun 17, 1998, 2:45:29 PM (26 years ago)
- Branches:
- (u'spielwiese', 'fe61d9c35bf7c61f2b6cbf1b56e25e2f08d536cc')
- Children:
- 717a9e2ccc15e02ea5b7c7f34e9177c94712a2e6
- Parents:
- 1788fe6a64d9624e6f874e8a51dba03f8e3abf1b
- File:
-
- 1 edited
Legend:
- Unmodified
- Added
- Removed
-
Makefile.in
r1788fe6 r42be31 211 211 INFO_PROGRAM = /bin/info 212 212 CYGWIN_DLL = /bin/cygwinb19.dll 213 WIN_BINDIR = ${TMPDIR}/Singular/${SINGULAR_VERSION} 214 215 windist: ${SHAREDIST_NAME}.tar.gz ${SINGULAR} 213 WIN_BINDIR = ${TMPDIR}/Singular/${S_VERSION} 214 WIN_SHAREDIST_NAME = Singular-${SINGULAR_DOS_VERSION}-share 215 216 windist: ${WIN_SHAREDIST_NAME}.tar.gz ${SINGULAR} 216 217 cd Singular; ${MAKE} Singular-bindist libparse 217 218 rm -rf ${TMPDIR} … … 222 223 ${INSTALL} ${INFO_PROGRAM} ${WIN_BINDIR} 223 224 ${INSTALL} ${CYGWIN_DLL} ${WIN_BINDIR} 224 cp ${ SHAREDIST_NAME}.tar.gz ${TMPDIR}225 cd ${TMPDIR}; gunzip ${ SHAREDIST_NAME}.tar.gz; \226 tar xf ${ SHAREDIST_NAME}.tar225 cp ${WIN_SHAREDIST_NAME}.tar.gz ${TMPDIR} 226 cd ${TMPDIR}; gunzip ${WIN_SHAREDIST_NAME}.tar.gz; \ 227 tar xf ${WIN_SHAREDIST_NAME}.tar 227 228 rm -rf ${TMPDIR}/info ${TMPDIR}/Singular/README.share 228 229 cat INSTALL.win | sed -e "s/<x.y.z>/${S_VERSION}/" > \ 229 230 ${TMPDIR}/Singular/INSTALL 230 c pREADME.win | sed -e "s/<x.y.z>/${S_VERSION}/" > \231 cat README.win | sed -e "s/<x.y.z>/${S_VERSION}/" > \ 231 232 ${TMPDIR}/Singular/README 232 233 cd ${TMPDIR}; \ 233 234 ${ZIP} -r sing Singular 234 cp ${TMPDIR}/sing.zip Singular-${S_VERSION}-${SINGUNAME}.zip .235 cp ${TMPDIR}/sing.zip Singular-${S_VERSION}-${SINGUNAME}.zip 235 236 rm -rf ${TMPDIR} 236 237
Note: See TracChangeset
for help on using the changeset viewer.