seed7.spec 3.1 KB

123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354555657585960616263646566676869707172737475767778798081828384858687888990919293949596
  1. ##
  2. ## seed7.spec -- OpenPKG RPM Package Specification
  3. ## Copyright (c) 2000-2017 OpenPKG Foundation e.V. <http://openpkg.net/>
  4. ##
  5. ## Permission to use, copy, modify, and distribute this software for
  6. ## any purpose with or without fee is hereby granted, provided that
  7. ## the above copyright notice and this permission notice appear in all
  8. ## copies.
  9. ##
  10. ## THIS SOFTWARE IS PROVIDED ``AS IS'' AND ANY EXPRESSED OR IMPLIED
  11. ## WARRANTIES, INCLUDING, BUT NOT LIMITED TO, THE IMPLIED WARRANTIES OF
  12. ## MERCHANTABILITY AND FITNESS FOR A PARTICULAR PURPOSE ARE DISCLAIMED.
  13. ## IN NO EVENT SHALL THE AUTHORS AND COPYRIGHT HOLDERS AND THEIR
  14. ## CONTRIBUTORS BE LIABLE FOR ANY DIRECT, INDIRECT, INCIDENTAL,
  15. ## SPECIAL, EXEMPLARY, OR CONSEQUENTIAL DAMAGES (INCLUDING, BUT NOT
  16. ## LIMITED TO, PROCUREMENT OF SUBSTITUTE GOODS OR SERVICES; LOSS OF
  17. ## USE, DATA, OR PROFITS; OR BUSINESS INTERRUPTION) HOWEVER CAUSED AND
  18. ## ON ANY THEORY OF LIABILITY, WHETHER IN CONTRACT, STRICT LIABILITY,
  19. ## OR TORT (INCLUDING NEGLIGENCE OR OTHERWISE) ARISING IN ANY WAY OUT
  20. ## OF THE USE OF THIS SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF
  21. ## SUCH DAMAGE.
  22. ##
  23. # package version
  24. %define V_opkg 05.20170915
  25. %define V_dist 05_20170915
  26. # package information
  27. Name: seed7
  28. Summary: Seed7 Programming Language
  29. URL: http://www.seed7.org/
  30. Vendor: Thomas Mertes
  31. Packager: OpenPKG Foundation e.V.
  32. Distribution: OpenPKG Community
  33. Class: EVAL
  34. Group: Language
  35. License: LGPL
  36. Version: %{V_opkg}
  37. Release: 20170916
  38. # list of sources
  39. Source0: http://downloads.sourceforge.net/seed7/seed7_%{V_dist}.tgz
  40. Patch0: seed7.patch
  41. # build information
  42. BuildPreReq: OpenPKG, openpkg >= 20160101, gcc, make
  43. PreReq: OpenPKG, openpkg >= 20160101
  44. BuildPreReq: ncurses
  45. PreReq: ncurses
  46. %description
  47. Seed7 is an extensible general purpose programming language. It is
  48. a higher level language compared to Ada, C/C++ and Java. Its major
  49. features include: user defined statements and operators, abstract
  50. data types, templates without special syntax, OO with interfaces and
  51. multiple dispatch, statically typed, interpreted or compiled, and
  52. portability.
  53. %track
  54. prog seed7 = {
  55. version = %{V_dist}
  56. url = http://sourceforge.net/projects/seed7/files/
  57. regex = seed7_(\d+_\d+)\.tgz
  58. }
  59. %prep
  60. %setup -q -n seed7
  61. %patch -p0
  62. %build
  63. cd src
  64. %{l_make} %{l_mflags} \
  65. CFLAGS="%{l_cflags} %{l_cppflags}" \
  66. LFLAGS="%{l_ldflags}" \
  67. SEED7_LIBRARY="%{l_prefix}/lib/seed7" \
  68. depend
  69. %{l_make} %{l_mflags} \
  70. CFLAGS="%{l_cflags} %{l_cppflags}" \
  71. LFLAGS="%{l_ldflags}" \
  72. SEED7_LIBRARY="%{l_prefix}/lib/seed7"
  73. %install
  74. %{l_shtool} mkdir -f -p -m 755 \
  75. $RPM_BUILD_ROOT%{l_prefix}/bin \
  76. $RPM_BUILD_ROOT%{l_prefix}/lib/seed7
  77. %{l_shtool} install -c -s -m 755 \
  78. bin/s7 $RPM_BUILD_ROOT%{l_prefix}/bin/s7
  79. %{l_shtool} install -c -m 644 \
  80. lib/*.s7i $RPM_BUILD_ROOT%{l_prefix}/lib/seed7/
  81. %{l_rpmtool} files -v -ofiles -r$RPM_BUILD_ROOT %{l_files_std}
  82. %files -f files
  83. %clean