jengelh-datetimespielwiese
|
Last change
on this file since 6b08c9e was
6b08c9e,
checked in by Hans Schoenemann <hannes@…>, 7 years ago
|
|
make_tar.sh: call autogemsh to include configure
|
-
Property mode set to
100644
|
|
File size:
487 bytes
|
| Line | |
|---|
| 1 | #!/bin/sh |
|---|
| 2 | VERSION=4.0.2p1 |
|---|
| 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 | command rm singular-$VERSION/.gdbinit singular-$VERSION/*/.gdbinit singular-$VERSION/*/*/.gdbinit singular-$VERSION/*/*/*/.gdbinit |
|---|
| 9 | command rm -rf singular-$VERSION/modules |
|---|
| 10 | cd singular-$VERSION |
|---|
| 11 | ./autogen.sh |
|---|
| 12 | cd .. |
|---|
| 13 | tar cf singular-$VERSION.tar singular-$VERSION |
|---|
| 14 | gzip -9 -f singular-$VERSION.tar |
|---|
| 15 | command rm -rf singular-$VERSION |
|---|
Note: See
TracBrowser
for help on using the repository browser.
