Changeset 60467b in git
- Timestamp:
- Mar 22, 2005, 2:52:39 PM (18 years ago)
- Branches:
- (u'spielwiese', '828514cf6e480e4bafc26df99217bf2a1ed1ef45')
- Children:
- e99734cd84f61d25c9264fa4a9e9a851a3c0bd08
- Parents:
- 1547c799300d38a5d4e07e991dd1354682ef4325
- Files:
-
- 3 edited
Legend:
- Unmodified
- Added
- Removed
-
Makefile.in
r1547c7 r60467b 130 130 131 131 BINDIST_DIRS = kernel Singular doc IntegerProgramming 132 PLU_BINDIST_DIRS = Singular doc132 PLU_BINDIST_DIRS = ${BINDIST_DIRS} 133 133 SHAREDIST_DIRS = Singular doc emacs 134 PLU_SHAREDIST_DIRS = Singular doc emacs134 PLU_SHAREDIST_DIRS = ${SHAREDIST_DIRS} 135 135 TMPDIR = ${TMP_DIR}/singdist 136 136 … … 154 154 done 155 155 156 install-bindist-plural: 157 for DIR in ${PLU_BINDIST_DIRS}; \ 158 do \ 159 if test -d $${DIR}; then \ 160 (cd $${DIR}; ${MAKE} install-bindist-plural install_prefix=${install_prefix});\ 161 fi \ 162 done 163 156 164 install-sharedist: ${SINGULAR} 157 165 for DIR in ${SHAREDIST_DIRS}; \ … … 160 168 done 161 169 162 163 dist: ${SHAREDIST_NAME}.tgz ${BINDIST_NAME}.tgz 170 install-sharedist-plural: ${SINGULAR} 171 for DIR in ${PLU_SHAREDIST_DIRS}; \ 172 do \ 173 (cd $${DIR}; ${MAKE} install-sharedist-plural install_prefix=${install_prefix}); \ 174 done 175 176 dist: ${SHAREDIST_NAME}.tar.gz ${BINDIST_NAME}.tar.gz 177 178 dist-plural: ${PLU_SHAREDIST_NAME}.tar.gz ${PLU_BINDIST_NAME}.tar.gz 164 179 165 180 sharedist ${SHAREDIST_NAME}.tar.gz: … … 171 186 rm -rf ${TMPDIR} 172 187 188 sharedist-plural ${PLU_SHAREDIST_NAME}.tar.gz: 189 if test -d ${TMPDIR}; then rm -rf ${TMPDIR}; fi 190 ${MAKE} install-sharedist-plural localdir=${TMPDIR} 191 chmod -R a+rX ${TMPDIR} 192 cd ${TMPDIR}; tar cf ${SHAREDIST_NAME}.tar Singular; ${MYGZIP} ${SHAREDIST_NAME}.tar 193 mv ${TMPDIR}/${SHAREDIST_NAME}.tar.gz . 194 rm -rf ${TMPDIR} 195 173 196 bindist ${BINDIST_NAME}.tar.gz: 174 197 if test -d ${TMPDIR}; then rm -fr ${TMPDIR}; fi … … 182 205 if test -d ${TMPDIR}; then rm -fr ${TMPDIR}; fi 183 206 ${MAKE} install-bindist localdir=${TMPDIR} LD_STATIC=1 207 chmod -R a+rX ${TMPDIR} 208 cd ${TMPDIR}; tar cf ${BINDIST_NAME}-static.tar Singular; ${MYGZIP} ${BINDIST_NAME}-static.tar 209 mv ${TMPDIR}/${BINDIST_NAME}-static.tar.gz . 210 rm -rf ${TMPDIR} 211 212 static-bindist-plural ${PLU_BINDIST_NAME}-static.tar.gz: 213 if test -d ${TMPDIR}; then rm -fr ${TMPDIR}; fi 214 ${MAKE} install-bindist-plural localdir=${TMPDIR} LD_STATIC=1 184 215 chmod -R a+rX ${TMPDIR} 185 216 cd ${TMPDIR}; tar cf ${BINDIST_NAME}-static.tar Singular; ${MYGZIP} ${BINDIST_NAME}-static.tar -
Singular/Makefile.in
r1547c7 r60467b 224 224 225 225 226 PLIBS = center.lib ncall.lib ncalg.lib ncdecomp.lib nctools.lib gkdim.lib qmatrix.lib226 PLIBS = center.lib gkdim.lib involution.lib ncall.lib ncalg.lib ncdecomp.lib nctools.lib qmatrix.lib 227 227 228 228 ifdef HAVE_PLURAL … … 472 472 echo "#undef MAKE_DISTRIBUTION " > distrib.h 473 473 474 install-bindist-plural: install-bindist 475 476 install-sharedist-plural: install-sharedist 477 474 478 install-sharedist: ${SLIBS_FILES} LIB/gftables 475 479 ${MKINSTALLDIRS} ${install_slibdir} -
kernel/Makefile.in
r1547c7 r60467b 330 330 endif 331 331 332 # compatibility 333 334 install-bindist-plural: install-bindist 335 332 336 ## 333 337 ## clean targest
Note: See TracChangeset
for help on using the changeset viewer.