source: git/make_tar.sh @ 43a2f07

spielwiese
Last change on this file since 43a2f07 was 43a2f07, checked in by Hans Schoenemann <hannes@…>, 3 years ago
4.2.0 for make_tar
  • Property mode set to 100755
File size: 1.9 KB
Line 
1#!/usr/bin/env bash
2# Hannes helper to build tar files for the ftp server
3# for the patch-versions (version between official releases x.x.x)
4# for official versions: use "make dist"/"make distcheck"
5
6set -e
7
8TARVERSION=4.2.0
9VERSION=4.2.0
10BUILD_DIR=/tmp2/wawa
11export VERSION TARVERSION BUILD_DIR
12
13# sanity check
14if test -e $BUILD_DIR/singularconfig.h
15then
16
17git archive --prefix=singular-$VERSION/ HEAD |tar xf -
18mkdir singular-$VERSION/doc
19cp doc/*.man singular-$VERSION/doc/.
20cp doc/singular.idx singular-$VERSION/doc/.
21if test -e doc/doc.tbz2
22then
23  cp doc/doc.tbz2 singular-$VERSION/doc/.
24fi
25
26command rm singular-$VERSION/.gdbinit singular-$VERSION/*/.gdbinit singular-$VERSION/*/*/.gdbinit singular-$VERSION/*/*/*/.gdbinit
27command rm singular-$VERSION/IntegerProgramming/README
28cd singular-$VERSION
29./autogen.sh
30cd ..
31command rm -rf singular-$VERSION/autom4te.cache
32command rm -rf singular-$VERSION/*/autom4te.cache
33command rm -rf singular-$VERSION/*/*/autom4te.cache
34command rm -rf singular-$VERSION/omalloc/Misc
35command rm -rf singular-$VERSION/Singular/LIB/surfex
36command rm -rf singular-$VERSION/Singular/cnf2ideal.py
37command rm -rf singular-$VERSION/kernel/old singular-$VERSION/kernel/sample
38command rm -rf singular-$VERSION/dox/Doxyfile.html.all singular-$VERSION/dox/Doxyfile.in1 singular-$VERSION/dox/Doxyfile.latex.short singular-$VERSION/dox/readme
39command rm singular-$VERSION/factory/ConwayList.txt
40command rm -rf singular-$VERSION/logo  singular-$VERSION/standalone.test  singular-$VERSION/templates  singular-$VERSION/tests
41cp $BUILD_DIR/redhat/singular.spec singular-$VERSION/redhat/singular.spec
42cp $BUILD_DIR/Singular/all.lib  singular-$VERSION/Singular/LIB/.
43tar cf singular-$TARVERSION.tar singular-$VERSION
44gzip -9 -f singular-$TARVERSION.tar
45command rm -rf singular-$VERSION
46
47else
48  echo BUILD_DIR is not set correctly, use
49  echo make dist
50  echo in a configured directory
51  exit 1
52fi
Note: See TracBrowser for help on using the repository browser.