Apply a patch to make the font size more sane. Otherwise the toolbar buttons are...
authorPaweł Hajdan <phajdan.jr@gentoo.org>
Tue, 22 Jun 2010 17:49:59 +0000 (17:49 +0000)
committerPaweł Hajdan <phajdan.jr@gentoo.org>
Tue, 22 Jun 2010 17:49:59 +0000 (17:49 +0000)
Package-Manager: portage-2.1.8.3/cvs/Linux i686

sci-mathematics/spin/ChangeLog
sci-mathematics/spin/Manifest
sci-mathematics/spin/files/spin-font-size.patch [new file with mode: 0644]
sci-mathematics/spin/spin-5.2.5-r1.ebuild [new file with mode: 0644]

index 6432b8eb02d9b10ea2d16a497cc880990fc428cb..a7792b253a247d9baed7cf9d37832ed78306e9be 100644 (file)
@@ -1,6 +1,13 @@
 # ChangeLog for sci-mathematics/spin
 # Copyright 1999-2010 Gentoo Foundation; Distributed under the GPL v2
-# $Header: /var/cvsroot/gentoo-x86/sci-mathematics/spin/ChangeLog,v 1.2 2010/06/11 14:31:38 phajdan.jr Exp $
+# $Header: /var/cvsroot/gentoo-x86/sci-mathematics/spin/ChangeLog,v 1.3 2010/06/22 17:49:59 phajdan.jr Exp $
+
+*spin-5.2.5-r1 (22 Jun 2010)
+
+  22 Jun 2010; Pawel Hajdan jr <phajdan.jr@gentoo.org>
+  +spin-5.2.5-r1.ebuild, +files/spin-font-size.patch:
+  Apply a patch to make the font size more sane. Otherwise the toolbar
+  buttons are not visible in default configuration.
 
 *spin-5.2.5 (11 Jun 2010)
 
index be882923c50dd20a755669847909bad4be9f03ff..93714b537435719c08ca825efc44e96d9496696d 100644 (file)
@@ -1,3 +1,4 @@
+AUX spin-font-size.patch 1835 RMD160 13697e0a69dbd16d5bdd22d485eea9569e6c6fd5 SHA1 193d5d48525426bb445bd1751cc733b5ab53400f SHA256 18a9646b43c47d44c96676e111874c73685c98a42aebfc8ea3958c8501143aad
 AUX spin-makefile.patch 583 RMD160 88941c0223492fa393b31f59be9e926fb36f4475 SHA1 2323ca5916fcbbe77c4f56eaeeff7173cbbd35f7 SHA256 ad06809f3538bbff5fc0245fc420dc74cdf06b1b5e81db9040af5765c717fd83
 AUX spin-xspin-r1.patch 916 RMD160 8bf4ee6d5243595907c52159b78a2f27d36500f8 SHA1 13c68d388fbf23eb985f021c9ebc2cf5d2dd1039 SHA256 fc9c22128697f93e68b1d0aad586fcdfc13a02fea11801bf826bd7c08899b2c5
 AUX spin-xspin.patch 922 RMD160 f43706719dc0b9028d1cb2b021e2c946af40fc28 SHA1 3a41da3936d394a22a6adca66b02d82497f2f57f SHA256 f2ef6bf2286a8727eae81fc963609e12de2d80be0bbcb0857445db9f8ba0655c
@@ -6,6 +7,7 @@ DIST spin525.tar.gz 413406 RMD160 8d01f8dd0da8c8013fbb8c6d6e9a8c40b8c5f33f SHA1
 DIST xspin523.tcl 194848 RMD160 108b3121bd8a6baa96bbe0634f7063bb6572052f SHA1 74914147f73892479cd2b17cc06cd24e9a01be04 SHA256 9ba55a92aa301043089460b1683551796b7ac6b2a2ff9b5e2dc308974d1d6e22
 DIST xspin525.tcl 194845 RMD160 26d85188070286739019405d49d3a2bd07545f90 SHA1 8166ccc6830f052e31162bec618c17452a988b5d SHA256 e23d8d562e39db6fe73570e52ee895cd806d15c3e52e638299cbc1eb61289eb6
 EBUILD spin-5.2.4.ebuild 1277 RMD160 d040afe9876327375ca64fdbb1c97f9fe9c0aefe SHA1 03518ef6ab461c83c5689616a69bd419fb94b40a SHA256 fe8dd1b9ee70ab60b612fedbec4538d236a5011e95cd7e330d964a8370f76d78
+EBUILD spin-5.2.5-r1.ebuild 1334 RMD160 20db1390c3f2354cf137b4cb818aa578d6582007 SHA1 f617a02a7f1aa84fd485178d11e8ed5d6015e407 SHA256 b4e8829511d048f5a8077fe48ece30bbd7b54145fcd71dd09e54c9a55cb9459d
 EBUILD spin-5.2.5.ebuild 1287 RMD160 923cfdc21cf3b247fc1c2ac1ddfa75dd53280f4f SHA1 320c8eb0473566ae2e007a645915eca4ab8ee96e SHA256 ddd954a228205b235a6e74976172febf3e8c5ded30aec790b20d32033cd8e41e
-MISC ChangeLog 557 RMD160 8f130d89b328e274bac396f81b48ed1dd7bf11b9 SHA1 52fa9f5e5740d5e058903fd8548cb343234292c1 SHA256 8e56e59bf804f082f1b760cc386bd9b1851e335f3f43ba9fabe909a03b6c32ce
+MISC ChangeLog 820 RMD160 67605d8402fb276c926848dcd2e6e6db217e017b SHA1 6f3106d553b03f7025f807fc54b2895d516d9170 SHA256 242314d8fe2f88adc9be15931f3ac1760c1522a6e73ae25cc014eb0a620af0f1
 MISC metadata.xml 260 RMD160 e9437033b7df4bdb32fdef6e886a1ed321a6f462 SHA1 f008d84bacf2428dafd6f33263898961dacf8c5e SHA256 c7f8354174de834aa476ee81d3412d85e1352a6647415dbeee403461b99ea19c
diff --git a/sci-mathematics/spin/files/spin-font-size.patch b/sci-mathematics/spin/files/spin-font-size.patch
new file mode 100644 (file)
index 0000000..25ba5f0
--- /dev/null
@@ -0,0 +1,47 @@
+--- xspin.tcl.orig     2010-06-11 16:29:55.000000000 +0200
++++ xspin.tcl  2010-06-22 19:43:37.000000000 +0200
+@@ -82,7 +82,7 @@
+ 
+ #-- GUI configuration options - by Leszek Holenderski <lhol@win.tue.nl>
+ #-- basic text size:
+-      set HelvBig     -Adobe-Helvetica-Medium-R-Normal--*-120-*-*-*-*-*-*
++      set HelvBig     -Adobe-Helvetica-Medium-R-Normal--*-80-*-*-*-*-*-*
+ # mscs:
+       if {$NT} {      ;# on a windows nt machine
+       set SmallFont   "-*-Courier-Bold-R-Normal--*-110-*"
+@@ -157,7 +157,7 @@
+ #--- fonts
+       # fonts for the input/log area (default is system dependent,
+       # usually -*-Courier-Medium-R-Normal--*-120-*)
+-option add *Input*Text.font   -*-Helvetica-Medium-R-Normal--*-120-*   startupFile
++option add *Input*Text.font   -*-Helvetica-Medium-R-Normal--*-80-*    startupFile
+ #option add *Input*Text.font  -schumacher-clean-medium-r-normal--*-120-*-60-* startupFile
+ #option add *Log*Text.font    -schumacher-clean-medium-r-normal--*-120-*-60-* startupFile
+ 
+@@ -168,7 +168,7 @@
+       option add *SimpleText.Text.background white
+ 
+       # sections (decorated frames for grouping related buttons)
+-      option add *Section*Title.font          -*-Helvetica-Bold-R-Normal--*-100-*     startupFile
++      option add *Section*Title.font          -*-Helvetica-Bold-R-Normal--*-60-*      startupFile
+ 
+ #option add *Section*Checkbutton.font -*-Helvetica-Medium-R-Normal--*-100-*   startupFile
+ #option add *Section*Radiobutton.font -*-Helvetica-Medium-R-Normal--*-100-*   startupFile
+@@ -480,7 +480,7 @@
+       .menu.edit.m add command -label "Paste" \
+               -command {tk_textPaste .inp.t}
+ 
+-set FSz 110
++set FSz 80
+ 
+ menu .menu.view.m
+       .menu.view.m add command -label "Larger" \
+@@ -491,7 +491,7 @@
+               }
+       .menu.view.m add command -label "Default text size" \
+               -command {
+-                      set FSz 110
++                      set FSz 80
+                       set HelvBig "-Adobe-Helvetica-Medium-R-Normal--*-$FSz-*-*-*-*-*-*"
+                       .inp.t configure -font $HelvBig
+               }
diff --git a/sci-mathematics/spin/spin-5.2.5-r1.ebuild b/sci-mathematics/spin/spin-5.2.5-r1.ebuild
new file mode 100644 (file)
index 0000000..daa3c56
--- /dev/null
@@ -0,0 +1,55 @@
+# Copyright 1999-2010 Gentoo Foundation
+# Distributed under the terms of the GNU General Public License v2
+# $Header: /var/cvsroot/gentoo-x86/sci-mathematics/spin/spin-5.2.5-r1.ebuild,v 1.1 2010/06/22 17:49:59 phajdan.jr Exp $
+
+EAPI="2"
+
+inherit eutils versionator
+
+MY_PV=$(replace_all_version_separators '')
+MY_P="${PN}${MY_PV}"
+
+DESCRIPTION="Tool for formal verification of distributed software systems."
+HOMEPAGE="http://spinroot.com/"
+SRC_URI="http://spinroot.com/spin/Src/${MY_P}.tar.gz
+       http://spinroot.com/spin/Src/xspin525.tcl"
+
+LICENSE="|| ( spin-commercial spin-educational )"
+SLOT="0"
+KEYWORDS="~x86"
+IUSE="graphviz tk"
+
+DEPEND="sys-devel/bison"
+RDEPEND="sys-devel/gcc
+       sys-process/time
+       tk? (
+               dev-lang/tk
+               graphviz? ( media-gfx/graphviz )
+       )"
+
+S="${WORKDIR}/Spin/Src${PV}"
+
+src_unpack() {
+       unpack "${MY_P}.tar.gz"
+       cp "${DISTDIR}/xspin525.tcl" "${S}/xspin.tcl" || die "cp failed"
+}
+
+src_prepare() {
+       epatch "${FILESDIR}/${PN}-makefile.patch"
+       epatch "${FILESDIR}/${PN}-xspin-r1.patch"
+       epatch "${FILESDIR}/${PN}-font-size.patch"
+}
+
+src_compile() {
+       emake -j1 || die "emake failed"
+}
+
+src_install() {
+       dobin spin || die "dobin failed"
+       doman ../Man/spin.1 || die "doman failed"
+       dodoc ../Doc/* || die "dodoc failed"
+       if use tk; then
+               newbin xspin.tcl xspin || die "newbin failed"
+               make_desktop_entry xspin XSpin
+       fi
+}