Página inicial Explorar contacts
Entrar
LDA010
/
bug_ebuild
Observar 0
Favorito 0
Fork 0
Arquivos Issues 0 Pull Requests 0 Wiki
Branch: master
Branches Tags
bug_ebuild
/
gentoo
/
sci-mathematics
/
spin
/
spin-6.2.3.ebuild

spin-6.2.3.ebuild 922 B
Link permanente Histórico Raw

123456789101112131415161718192021222324252627282930313233343536373839404142434445464748 
  1. # Copyright 1999-2014 Gentoo Foundation
    2. 

  2. # Distributed under the terms of the GNU General Public License v2
    3. 

  3. 

  4. EAPI="5"
    5. 

  5. 

  6. inherit eutils toolchain-funcs versionator
    7. 

  7. 

  8. MY_PV=$(replace_all_version_separators '')
    9. 

  9. MY_P="${PN}${MY_PV}"
    10. 

  10. 

  11. DESCRIPTION="Tool for formal verification of distributed software systems"
    12. 

  12. HOMEPAGE="http://spinroot.com/"
    13. 

  13. SRC_URI="http://spinroot.com/spin/Src/${MY_P}.tar.gz"
    14. 

  14. 

  15. LICENSE="|| ( spin-commercial spin-educational )"
    16. 

  16. SLOT="0"
    17. 

  17. KEYWORDS="~amd64 ~x86"
    18. 

  18. IUSE="graphviz tk"
    19. 

  19. 

  20. DEPEND="sys-devel/bison"
    21. 

  21. RDEPEND="sys-devel/gcc
    22. 

  22. 	sys-process/time
    23. 

  23. 	tk? (
    24. 

  24. 		dev-lang/tk
    25. 

  25. 		graphviz? ( media-gfx/graphviz )
    26. 

  26. 	)"
    27. 

  27. 

  28. S="${WORKDIR}/Spin/Src${PV}"
    29. 

  29. 

  30. src_prepare() {
    31. 

  31. 	epatch "${FILESDIR}/${PN}-6.2.1-makefile.patch"
    32. 

  32. }
    33. 

  33. 

  34. src_compile() {
    35. 

  35. 	tc-export CC
    36. 

  36. 	default
    37. 

  37. }
    38. 

  38. 

  39. src_install() {
    40. 

  40. 	dobin spin
    41. 

  41. 	doman ../Man/spin.1
    42. 

  42. 	dodoc ../Doc/*
    43. 

  43. 	if use tk; then
    44. 

  44. 		newbin "${WORKDIR}/Spin/iSpin/ispin.tcl" ispin
    45. 

  45. 		make_desktop_entry ispin
    46. 

  46. 	fi
    47. 

  47. }
    48. 

  48.