php-hoa-praspel: 1.16.01.16 (new package, wip)

1 files changed, 152 insertions, 0 deletions

diff --git a/php-hoa-praspel.spec b/php-hoa-praspel.spec
new file mode 100644
index 0000000..03a62e2
--- /dev/null
+++ b/php-hoa-praspel.spec
@@ -0,0 +1,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
+