diff options
| author | gingold <gingold@b72b5c32-5f01-0410-b925-b5c7b92870f7> | 2005-10-16 07:56:34 +0000 |
|---|---|---|
| committer | gingold <gingold@b72b5c32-5f01-0410-b925-b5c7b92870f7> | 2005-10-16 07:56:34 +0000 |
| commit | d98d41a7fcc178a5cedb155cabb7cde85b014f64 (patch) | |
| tree | 36c03bb6cf2f6dc838a31f6f94d6b00b77c7c5f7 /translate/gcc | |
| parent | 70cc586c068c297bdd1fbb0285473246f8812655 (diff) | |
| download | ghdl-d98d41a7fcc178a5cedb155cabb7cde85b014f64.tar.gz ghdl-d98d41a7fcc178a5cedb155cabb7cde85b014f64.tar.bz2 ghdl-d98d41a7fcc178a5cedb155cabb7cde85b014f64.zip | |
updated for ghdl-0.20
Diffstat (limited to 'translate/gcc')
| -rwxr-xr-x | translate/gcc/dist.sh | 20 |
1 files changed, 20 insertions, 0 deletions
diff --git a/translate/gcc/dist.sh b/translate/gcc/dist.sh index c2cd8f16f..ace5e8265 100755 --- a/translate/gcc/dist.sh +++ b/translate/gcc/dist.sh @@ -47,6 +47,10 @@ tarfile=$distdir.tar GCCVERSION=4.0.2 DISTDIR=/home/gingold/dist +GTKWAVE_VERSION=1.3.72 + +GTKWAVE_BASE=$HOME/devel/gtkwave-$GTKWAVE_VERSION + GCCDIST=$DISTDIR/gcc-$GCCVERSION GCCDISTOBJ=$GCCDIST-objs PREFIX=/usr/local @@ -530,6 +534,20 @@ do_dist_phase2 () echo "dist_phase2 success" } +# Create gtkwave patch +do_gtkwave_patch () +{ +# rm -rf gtkwave-patch + mkdir gtkwave-patch + diff -rc -x Makefile.in $GTKWAVE_BASE.orig $GTKWAVE_BASE | \ + sed -e "/^Only in/d" \ + > gtkwave-patch/gtkwave-$GTKWAVE_VERSION.diffs + cp ../grt/ghwlib.c ../grt/ghwlib.h $GTKWAVE_BASE/src/ghw.c gtkwave-patch + sed -e "s/VERSION/$GTKWAVE_VERSION/g" < README.gtkwave > gtkwave-patch/README + tar zcvf ../../website/gtkwave-patch.tgz gtkwave-patch + rm -rf gtkwave-patch +} + # Update the index.html # Update the doc do_website () @@ -633,6 +651,8 @@ else do_dist_phase1;; dist_phase2) do_dist_phase2;; + gtkwave_patch) + do_gtkwave_patch;; *) echo "usage: $0 clean|Makefile|files|all" exit 1 ;; |