The following commit has been merged in the upstream branch: commit 6b392a2f22fabcd34fd7c034518f9c55343d93cd Author: Hendrik Tews <hend...@askra.de> Date: Mon May 14 23:39:37 2012 +0200
Imported Upstream version 0.10 diff --git a/make-deb-package b/make-deb-package deleted file mode 100755 index 7afd6b7..0000000 --- a/make-deb-package +++ /dev/null @@ -1,73 +0,0 @@ -#!/bin/bash - -#set -x -set -e - -export DEBEMAIL="hend...@askra.de" -export DEBFULLNAME="Hendrik Tews" - -timestamp=$(date '+%Y-%m-%d') - -dir="prooftree-$timestamp" -webdir=/home/tews/www/alfa-www/askra-root/software/prooftree - -export CVSROOT=$(cat CVS/Root) -echo using CVSROOT $CVSROOT - - -####################################################################### -# make source and bin package - -version=$(cat version.txt) - -subdir="prooftree-$version" - -tgzfile="$subdir.tar.gz" - -pushd /tmp/tews - -rm -rf prooftree-* - -mkdir $dir -pushd $dir - -cvs export -r HEAD -d $subdir src/proof-tree - -pushd $subdir - -rm -f make-bundle make-release make-dep-package - -popd -# back in $dir - -mv $subdir/debian . - -tar -czf $tgzfile $subdir - -cp $tgzfile prooftree_$version.orig.tar.gz - -cp -a $subdir $subdir-orig - -mv debian $subdir - -pushd $subdir - -#./configure --prefix /usr - -debuild -i -us -uc - -popd -# back in $dir - -debfile=$(ls *.deb) - -echo -echo copy $debfile to $webdir -echo -n [Y/n]? -read answer - -if [ ${answer:=y} = n -o $answer = N ] ; then - exit 0 -fi - -cp $debfile $webdir/releases -- prooftree packaging _______________________________________________ Pkg-ocaml-maint-commits mailing list Pkg-ocaml-maint-commits@lists.alioth.debian.org http://lists.alioth.debian.org/cgi-bin/mailman/listinfo/pkg-ocaml-maint-commits