Changeset 0164d0 in git for Makefile.in
- Timestamp:
- Aug 27, 1997, 3:39:09 PM (26 years ago)
- Branches:
- (u'spielwiese', 'e7cc1ebecb61be8b9ca6c18016352af89940b21a')
- Children:
- 7ae51b5a795c3ecc4ee43ff82fe0afc9f81876e6
- Parents:
- bd003130ba3f37eafd59ba2ce081bb2186feda75
- File:
-
- 1 edited
Legend:
- Unmodified
- Added
- Removed
-
Makefile.in
rbd00313 r0164d0 75 75 gzip -9 ${BINDISTNAME} 76 76 77 dosdist: Singular/Singular.exe 78 mkdir /tmp/singdos 79 mkdir /tmp/singdos/Singular 80 mkdir /tmp/singdos/Singular/info 81 mkdir /tmp/singdos/Singular/share 82 mkdir /tmp/singdos/Singular/share/Singular 83 cp Singular/doc/singular.hlp /tmp/singdos/Singular/info 84 cp Singular/Singular.exe /tmp/singdos/Singular 85 cp Singular/LIB/*.lib /tmp/singdos/Singular/share/Singular 86 cp -R Singular/LIB/gftables /tmp/singdos/Singular/share/Singular 87 cp COPYING.share /tmp/singdos/Singular/COPYING 88 cp README.dos /tmp/singdos/Singular/README 89 cd /tmp/singdos/; zip -k -r sing Singular; cd - 90 mv /tmp/singdos/sing.zip Singular.zip 91 /bin/rm -rf /tmp/singdos 92 77 93 sharedist: ${bindir}/Singular 78 94 cd Singular; ${MAKE} dvi; ${MAKE} info … … 99 115 ${MAKE} install 100 116 117 Singular/Singular.exe: 118 ./configure.dos 119 ${MAKE} clean 120 ${MAKE} install 121 101 122 Singular factory libfac MP gmp: 102 123 cd $@; ${MAKE} all … … 104 125 check: 105 126 cd Singular; ${MAKE} check 106 127 107 128 Makefile : Makefile.in config.status 108 129 ./config.status
Note: See TracChangeset
for help on using the changeset viewer.