jengelh-datetimespielwiese
|
Last change
on this file since 978443 was
978443,
checked in by Hans Schoenemann <hannes@…>, 7 years ago
|
|
version 4.0.3
|
-
Property mode set to
100644
|
|
File size:
1.5 KB
|
| Line | |
|---|
| 1 | #!/bin/sh |
|---|
| 2 | VERSION=4.0.3 |
|---|
| 3 | export VERSION |
|---|
| 4 | |
|---|
| 5 | git archive --prefix=singular-$VERSION/ HEAD |tar xf - |
|---|
| 6 | mkdir singular-$VERSION/doc |
|---|
| 7 | cp doc/*.man singular-$VERSION/doc/. |
|---|
| 8 | if test -e doc/doc.tbz2 |
|---|
| 9 | then |
|---|
| 10 | cp doc/doc.tbz2 singular-$VERSION/doc/. |
|---|
| 11 | fi |
|---|
| 12 | |
|---|
| 13 | command rm singular-$VERSION/.gdbinit singular-$VERSION/*/.gdbinit singular-$VERSION/*/*/.gdbinit singular-$VERSION/*/*/*/.gdbinit |
|---|
| 14 | command rm singular-$VERSION/IntegerProgramming/README |
|---|
| 15 | command rm -rf singular-$VERSION/modules |
|---|
| 16 | command rm -rf singular-$VERSION/factory/old |
|---|
| 17 | cd singular-$VERSION |
|---|
| 18 | ./autogen.sh |
|---|
| 19 | cd .. |
|---|
| 20 | command rm -rf singular-$VERSION/autom4te.cache |
|---|
| 21 | command rm -rf singular-$VERSION/*/autom4te.cache |
|---|
| 22 | command rm -rf singular-$VERSION/*/*/autom4te.cache |
|---|
| 23 | command rm -rf singular-$VERSION/omalloc/Misc |
|---|
| 24 | command rm -rf singular-$VERSION/Singular/LIB/surfex |
|---|
| 25 | command rm -rf singular-$VERSION/Singular/cnf2ideal.py |
|---|
| 26 | command rm -rf singular-$VERSION/kernel/old singular-$VERSION/kernel/sample |
|---|
| 27 | command rm -rf singular-$VERSION/dox/Doxyfile.html.all singular-$VERSION/dox/Doxyfile.in1 singular-$VERSION/dox/Doxyfile.latex.short singular-$VERSION/dox/readme |
|---|
| 28 | command rm singular-$VERSION/factory/ConwayList.txt |
|---|
| 29 | command rm -rf singular-$VERSION/logo singular-$VERSION/standalone.test singular-$VERSION/templates singular-$VERSION/tests |
|---|
| 30 | cp redhat/singular.spec singular-$VERSION/redhat/singular.spec |
|---|
| 31 | cp /tmp/wawa-i/share/singular/LIB/all.lib singular-$VERSION/Singular/LIB/. |
|---|
| 32 | tar cf singular-$VERSION.tar singular-$VERSION |
|---|
| 33 | gzip -9 -f singular-$VERSION.tar |
|---|
| 34 | command rm -rf singular-$VERSION |
|---|
Note: See
TracBrowser
for help on using the repository browser.
