1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
122
123
124
125
126
127
128
129
130
131
132
133
134
135
136
137
138
139
140
141
142
143
144
145
146
147
148
149
150
151
152
|
# remirepo/fedora spec file for php-hoa-Praspel
#
# Copyright (c) 2016 Remi Collet
# License: CC-BY-SA
# http://creativecommons.org/licenses/by-sa/4.0/
#
# Please, preserve the changelog entries
#
%global bootstrap 1
%global gh_commit 14cbe9f7bc887e34f7415fbce3117d7ee7daede6
#global gh_date 20150728
%global gh_short %(c=%{gh_commit}; echo ${c:0:7})
%global gh_owner hoaproject
%global gh_project Praspel
%global php_home %{_datadir}/php
%global ns_vendor Hoa
%global ns_project Praspel
%global pk_vendor hoa
%global pk_project praspel
%if %{bootstrap}
%global with_tests 0%{?_with_tests:1}
%else
%global with_tests 0%{!?_without_tests:1}
%endif
Name: php-%{pk_vendor}-%{pk_project}
Version: 1.16.01.16
%global specrel 0
Release: %{?gh_date:0.%{specrel}.%{?prever}%{!?prever:%{gh_date}git%{gh_short}}}%{!?gh_date:%{specrel}}%{?dist}
Summary: The %{ns_vendor}\%{ns_project} library.
Group: Development/Libraries
License: BSD
URL: https://github.com/%{gh_owner}/%{gh_project}
Source0: https://github.com/%{gh_owner}/%{gh_project}/archive/%{gh_commit}/%{name}-%{version}-%{gh_short}.tar.gz
Source1: %{name}-autoload.php
Source2: http://hoa-project.net/LICENSE
BuildRoot: %{_tmppath}/%{name}-%{version}-%{release}-root-%(%{__id_u} -n)
BuildArch: noarch
%if %{with_tests}
BuildRequires: php-composer(%{pk_vendor}/compiler) >= 3.0
BuildRequires: php-composer(%{pk_vendor}/consistency) >= 1.0
BuildRequires: php-composer(%{pk_vendor}/exception) >= 1.0
BuildRequires: php-composer(%{pk_vendor}/file) >= 1.0
BuildRequires: php-composer(%{pk_vendor}/iterator) >= 2.0
BuildRequires: php-composer(%{pk_vendor}/protocol) >= 1.0
BuildRequires: php-composer(%{pk_vendor}/realdom) >= 1.0
BuildRequires: php-composer(%{pk_vendor}/ustring) >= 4.0
BuildRequires: php-composer(%{pk_vendor}/visitor) >= 2.0
# from composer.json, "require-dev": {
# "hoa/math": "~1.0"
BuildRequires: php-composer(%{pk_vendor}/math) >= 1.0
%endif
# from composer.json, "require": {
# "hoa/compiler" : "~3.0",
# "hoa/consistency": "~1.0",
# "hoa/exception" : "~1.0",
# "hoa/file" : "~1.0",
# "hoa/iterator" : "~2.0",
# "hoa/protocol" : "~1.0",
# "hoa/realdom" : "~1.0",
# "hoa/ustring" : "~4.0",
# "hoa/visitor" : "~2.0"
Requires: php-composer(%{pk_vendor}/compiler) >= 3.0
Requires: php-composer(%{pk_vendor}/compiler) < 4
Requires: php-composer(%{pk_vendor}/consistency) >= 1.0
Requires: php-composer(%{pk_vendor}/consistency) < 2
Requires: php-composer(%{pk_vendor}/exception) >= 1.0
Requires: php-composer(%{pk_vendor}/exception) < 2
Requires: php-composer(%{pk_vendor}/file) >= 1.0
Requires: php-composer(%{pk_vendor}/file) < 2
Requires: php-composer(%{pk_vendor}/iterator) >= 2.0
Requires: php-composer(%{pk_vendor}/iterator) < 3
Requires: php-composer(%{pk_vendor}/protocol) >= 1.0
Requires: php-composer(%{pk_vendor}/protocol) < 2
Requires: php-composer(%{pk_vendor}/realdom) >= 1.0
Requires: php-composer(%{pk_vendor}/realdom) < 2
Requires: php-composer(%{pk_vendor}/ustring) >= 4.0
Requires: php-composer(%{pk_vendor}/ustring) < 5
Requires: php-composer(%{pk_vendor}/visitor) >= 2.0
Requires: php-composer(%{pk_vendor}/visitor) < 3
# from phpcompatinfo report for version 1.16.01.16
Requires: php-reflection
Requires: php-ctype
Requires: php-pcre
Requires: php-spl
Provides: php-composer(%{pk_vendor}/%{pk_project}) = %{version}
%description
Praspel (PHP Realistic Annotation and Specification Language)
is a formal specification language for PHP. It is based on the
design-by-contract paradigm and uses preconditions, postconditions,
invariants etc. Specifications are written in the comments of the
PHP code (always accessible). Praspel is used for manual or automatic
software validation and verification, thanks to realistic domains.
The %{ns_vendor}\%{ns_project} library contains compiler, interpreter,
visitors, iterators and other tools around the Praspel language.
An interesting related project is atoum/praspel-extension.
Autoloader: %{php_home}/%{ns_vendor}/%{ns_project}/autoload.php
%prep
%setup -q -n %{gh_project}-%{gh_commit}
cp %{SOURCE1} autoload.php
cp %{SOURCE2} LICENSE
%build
: Nothing
%install
rm -rf %{buildroot}
mkdir -p %{buildroot}%{php_home}/%{ns_vendor}/%{ns_project}
cp -pr *php %{buildroot}%{php_home}/%{ns_vendor}/%{ns_project}/
cp -pr *pp %{buildroot}%{php_home}/%{ns_vendor}/%{ns_project}/
find . -mindepth 1 -maxdepth 1 -type d \! \( -name Test -o -name Documentation \) -print -exec \
cp -pr {} %{buildroot}%{php_home}/%{ns_vendor}/%{ns_project} \;
%check
%if %{with_tests}
%else
: bootstrap build with test suite disabled
%endif
%clean
rm -rf %{buildroot}
%files
%defattr(-,root,root,-)
%{!?_licensedir:%global license %%doc}
%license LICENSE
%doc composer.json
%doc *md
%{php_home}/%{ns_vendor}/%{ns_project}
%changelog
* Fri Apr 8 2016 Remi Collet <remi@fedoraproject.org> - 1.16.01.16-0
- initial package
- bootstrap build
|
