diff options
| -rw-r--r-- | .gitignore | 1 | ||||
| -rw-r--r-- | python-haros.spec | 244 | ||||
| -rw-r--r-- | sources | 1 |
3 files changed, 246 insertions, 0 deletions
@@ -0,0 +1 @@ +/haros-3.10.20.tar.gz diff --git a/python-haros.spec b/python-haros.spec new file mode 100644 index 0000000..da74706 --- /dev/null +++ b/python-haros.spec @@ -0,0 +1,244 @@ +%global _empty_manifest_terminate_build 0 +Name: python-haros +Version: 3.10.20 +Release: 1 +Summary: Static analysis framework for ROS +License: MIT +URL: https://github.com/git-afsantos/haros +Source0: https://mirrors.nju.edu.cn/pypi/web/packages/16/f8/1141b384f6eea2edb0d67880cd86f1f71a0f8e2c682f6f4d704ce69d0066/haros-3.10.20.tar.gz +BuildArch: noarch + +Requires: python3-pyyaml +Requires: python3-rospkg +Requires: python3-magic +Requires: python3-bonsai-code +Requires: python3-haros-plugins +Requires: python3-hpl-specs +Requires: python3-ros-type-tokens + +%description +[](https://zenodo.org/badge/latestdoi/27440980) + + + +HAROS is a framework for quality assurance of ROS-based code, mostly based on **static analysis** - which consists on *extracting information* from the source code *without executing it* (and, sometimes, even without compiling it). +Its main goal is the **early detection of problems** in the software development life cycle, which would otherwise go unnoticed into later stages or even into production. + +**Try it yourself:** there is a demo page of the HAROS visualizer available on [GitHub](https://git-afsantos.github.io/haros). + +**Tutorials:** [on GitHub](https://github.com/git-afsantos/haros_tutorials/) and [on YouTube](https://youtube.com/playlist?list=PLrXxXaugT0cwVhjhlnxY6DU0_WYPLEmgq). + +**More info:** short video presentation [on YouTube](https://www.youtube.com/watch?v=s_Zmch8xjzQ). + +## Current Status + +HAROS is still being developed, as of August 2021. +Help improve HAROS by participating in a short [user survey](https://docs.google.com/forms/d/e/1FAIpQLSdD0nC2tb_IBjvasoWDOR_LzplTYF4cGkI5ZQqJtgDAe8ZQsQ/viewform?usp=sf_link). + +## Installing + +See [INSTALL](./INSTALL.md) for installation methods and instructions. + +## How to Use + +See [USAGE](./docs/USAGE.md) for basic commands and usage instructions. + +## Bugs, Questions and Support + +Check whether your question has an answer in the [FAQ](./docs/FAQ.md). + +Please use the [issue tracker](https://github.com/git-afsantos/haros/issues) for issues or feature requests directly related to HAROS. + +For issues related to plugins, please use the respective plugin repository. + +If you run into errors, or feel that something is not working, run HAROS in debug mode, so the log files do not miss any information, e.g., + +``` +haros --debug analyse ... +``` + +Then, you can share the log file, found by default within `~/.haros/log.txt`. + +## Citing + +See [CITING](./CITING.md). + +## Contributing + +See [CONTRIBUTING](./CONTRIBUTING.md). + +## Acknowledgment + +Until March 2021, this work was financed by the ERDF – European Regional Development Fund through the Operational Programme for Competitiveness and Internationalisation - COMPETE 2020 Programme and by National Funds through the Portuguese funding agency, FCT - Fundação para a Ciência e a Tecnologia within project PTDC/CCI-INF/29583/2017 (POCI-01-0145-FEDER-029583). + + + + +%package -n python3-haros +Summary: Static analysis framework for ROS +Provides: python-haros +BuildRequires: python3-devel +BuildRequires: python3-setuptools +BuildRequires: python3-pip +%description -n python3-haros +[](https://zenodo.org/badge/latestdoi/27440980) + + + +HAROS is a framework for quality assurance of ROS-based code, mostly based on **static analysis** - which consists on *extracting information* from the source code *without executing it* (and, sometimes, even without compiling it). +Its main goal is the **early detection of problems** in the software development life cycle, which would otherwise go unnoticed into later stages or even into production. + +**Try it yourself:** there is a demo page of the HAROS visualizer available on [GitHub](https://git-afsantos.github.io/haros). + +**Tutorials:** [on GitHub](https://github.com/git-afsantos/haros_tutorials/) and [on YouTube](https://youtube.com/playlist?list=PLrXxXaugT0cwVhjhlnxY6DU0_WYPLEmgq). + +**More info:** short video presentation [on YouTube](https://www.youtube.com/watch?v=s_Zmch8xjzQ). + +## Current Status + +HAROS is still being developed, as of August 2021. +Help improve HAROS by participating in a short [user survey](https://docs.google.com/forms/d/e/1FAIpQLSdD0nC2tb_IBjvasoWDOR_LzplTYF4cGkI5ZQqJtgDAe8ZQsQ/viewform?usp=sf_link). + +## Installing + +See [INSTALL](./INSTALL.md) for installation methods and instructions. + +## How to Use + +See [USAGE](./docs/USAGE.md) for basic commands and usage instructions. + +## Bugs, Questions and Support + +Check whether your question has an answer in the [FAQ](./docs/FAQ.md). + +Please use the [issue tracker](https://github.com/git-afsantos/haros/issues) for issues or feature requests directly related to HAROS. + +For issues related to plugins, please use the respective plugin repository. + +If you run into errors, or feel that something is not working, run HAROS in debug mode, so the log files do not miss any information, e.g., + +``` +haros --debug analyse ... +``` + +Then, you can share the log file, found by default within `~/.haros/log.txt`. + +## Citing + +See [CITING](./CITING.md). + +## Contributing + +See [CONTRIBUTING](./CONTRIBUTING.md). + +## Acknowledgment + +Until March 2021, this work was financed by the ERDF – European Regional Development Fund through the Operational Programme for Competitiveness and Internationalisation - COMPETE 2020 Programme and by National Funds through the Portuguese funding agency, FCT - Fundação para a Ciência e a Tecnologia within project PTDC/CCI-INF/29583/2017 (POCI-01-0145-FEDER-029583). + + + + +%package help +Summary: Development documents and examples for haros +Provides: python3-haros-doc +%description help +[](https://zenodo.org/badge/latestdoi/27440980) + + + +HAROS is a framework for quality assurance of ROS-based code, mostly based on **static analysis** - which consists on *extracting information* from the source code *without executing it* (and, sometimes, even without compiling it). +Its main goal is the **early detection of problems** in the software development life cycle, which would otherwise go unnoticed into later stages or even into production. + +**Try it yourself:** there is a demo page of the HAROS visualizer available on [GitHub](https://git-afsantos.github.io/haros). + +**Tutorials:** [on GitHub](https://github.com/git-afsantos/haros_tutorials/) and [on YouTube](https://youtube.com/playlist?list=PLrXxXaugT0cwVhjhlnxY6DU0_WYPLEmgq). + +**More info:** short video presentation [on YouTube](https://www.youtube.com/watch?v=s_Zmch8xjzQ). + +## Current Status + +HAROS is still being developed, as of August 2021. +Help improve HAROS by participating in a short [user survey](https://docs.google.com/forms/d/e/1FAIpQLSdD0nC2tb_IBjvasoWDOR_LzplTYF4cGkI5ZQqJtgDAe8ZQsQ/viewform?usp=sf_link). + +## Installing + +See [INSTALL](./INSTALL.md) for installation methods and instructions. + +## How to Use + +See [USAGE](./docs/USAGE.md) for basic commands and usage instructions. + +## Bugs, Questions and Support + +Check whether your question has an answer in the [FAQ](./docs/FAQ.md). + +Please use the [issue tracker](https://github.com/git-afsantos/haros/issues) for issues or feature requests directly related to HAROS. + +For issues related to plugins, please use the respective plugin repository. + +If you run into errors, or feel that something is not working, run HAROS in debug mode, so the log files do not miss any information, e.g., + +``` +haros --debug analyse ... +``` + +Then, you can share the log file, found by default within `~/.haros/log.txt`. + +## Citing + +See [CITING](./CITING.md). + +## Contributing + +See [CONTRIBUTING](./CONTRIBUTING.md). + +## Acknowledgment + +Until March 2021, this work was financed by the ERDF – European Regional Development Fund through the Operational Programme for Competitiveness and Internationalisation - COMPETE 2020 Programme and by National Funds through the Portuguese funding agency, FCT - Fundação para a Ciência e a Tecnologia within project PTDC/CCI-INF/29583/2017 (POCI-01-0145-FEDER-029583). + + + + +%prep +%autosetup -n haros-3.10.20 + +%build +%py3_build + +%install +%py3_install +install -d -m755 %{buildroot}/%{_pkgdocdir} +if [ -d doc ]; then cp -arf doc %{buildroot}/%{_pkgdocdir}; fi +if [ -d docs ]; then cp -arf docs %{buildroot}/%{_pkgdocdir}; fi +if [ -d example ]; then cp -arf example %{buildroot}/%{_pkgdocdir}; fi +if [ -d examples ]; then cp -arf examples %{buildroot}/%{_pkgdocdir}; fi +pushd %{buildroot} +if [ -d usr/lib ]; then + find usr/lib -type f -printf "/%h/%f\n" >> filelist.lst +fi +if [ -d usr/lib64 ]; then + find usr/lib64 -type f -printf "/%h/%f\n" >> filelist.lst +fi +if [ -d usr/bin ]; then + find usr/bin -type f -printf "/%h/%f\n" >> filelist.lst +fi +if [ -d usr/sbin ]; then + find usr/sbin -type f -printf "/%h/%f\n" >> filelist.lst +fi +touch doclist.lst +if [ -d usr/share/man ]; then + find usr/share/man -type f -printf "/%h/%f.gz\n" >> doclist.lst +fi +popd +mv %{buildroot}/filelist.lst . +mv %{buildroot}/doclist.lst . + +%files -n python3-haros -f filelist.lst +%dir %{python3_sitelib}/* + +%files help -f doclist.lst +%{_docdir}/* + +%changelog +* Wed May 10 2023 Python_Bot <Python_Bot@openeuler.org> - 3.10.20-1 +- Package Spec generated @@ -0,0 +1 @@ +9e1926a65e0c00ecb8dea14409d9807e haros-3.10.20.tar.gz |
