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