diff options
Diffstat (limited to 'python-pyformlang.spec')
| -rw-r--r-- | python-pyformlang.spec | 204 |
1 files changed, 204 insertions, 0 deletions
diff --git a/python-pyformlang.spec b/python-pyformlang.spec new file mode 100644 index 0000000..9c3c8b2 --- /dev/null +++ b/python-pyformlang.spec @@ -0,0 +1,204 @@ +%global _empty_manifest_terminate_build 0 +Name: python-pyformlang +Version: 1.0.2 +Release: 1 +Summary: A python framework for formal grammars +License: MIT License +URL: https://github.com/Aunsiels/pyformlang +Source0: https://mirrors.nju.edu.cn/pypi/web/packages/44/fe/fd6eae90f8954c12aaddafdd7e010f498e84371a96a7b40e1b24a201be2b/pyformlang-1.0.2.tar.gz +BuildArch: noarch + +Requires: python3-networkx +Requires: python3-numpy +Requires: python3-pydot + +%description +# pyformlang + +[](https://github.com/Aunsiels/pyformlang/actions/workflows/python-package.yml) +[](https://pypi.org/project/pyformlang/) +[](https://pyformlang.readthedocs.io/en/latest/) + + + +A python library to manipulate formal grammar. In general, it can be used to better understand algorithms in a formal way. + +If you use Pyformlang in your project, please cite our paper: + +``` +@InProceedings{pyformlang, +author="Romero, Julien", +title="Pyformlang: An Educational Library for Formal Language Manipulation", +booktitle="SIGCSE", +year="2021" +doi = {https://doi.org/10.1145/3408877.3432464} +} +``` + +## Installation + +```bash +pip3 install pyformlang +``` + +## Sources + +Most algorithms come from Introduction to *Automata Theory, Languages, and Computation* +(2nd edition) by John E. Hopcroft, Rajeev Motwani and Jeferey D. Ullman. + +Indexed grammars come from the original paper *Index Grammars - An Extension of Context-free grammars* by Alfred V. Aho. + +On the implementation of Hopcroft minimization algorithm: [Implementation of Hopcroft's Algorithm, Hang Zhou](https://www.irif.fr/~carton/Enseignement/Complexite/ENS/Redaction/2009-2010/hang.zhou.pdf) + +[Intersection CFG/Regex](https://www.degruyter.com/downloadpdf/j/stuf.1961.14.issue-1-4/stuf.1961.14.14.143/stuf.1961.14.14.143.pdf) and [a better written version](http://www.cs.umd.edu/~gasarch/BLOGPAPERS/cfg.pdf) + +## Usage + +Please refer to the official documentation: [pyformlang.readthedocs.io](https://pyformlang.readthedocs.io). + + + +%package -n python3-pyformlang +Summary: A python framework for formal grammars +Provides: python-pyformlang +BuildRequires: python3-devel +BuildRequires: python3-setuptools +BuildRequires: python3-pip +%description -n python3-pyformlang +# pyformlang + +[](https://github.com/Aunsiels/pyformlang/actions/workflows/python-package.yml) +[](https://pypi.org/project/pyformlang/) +[](https://pyformlang.readthedocs.io/en/latest/) + + + +A python library to manipulate formal grammar. In general, it can be used to better understand algorithms in a formal way. + +If you use Pyformlang in your project, please cite our paper: + +``` +@InProceedings{pyformlang, +author="Romero, Julien", +title="Pyformlang: An Educational Library for Formal Language Manipulation", +booktitle="SIGCSE", +year="2021" +doi = {https://doi.org/10.1145/3408877.3432464} +} +``` + +## Installation + +```bash +pip3 install pyformlang +``` + +## Sources + +Most algorithms come from Introduction to *Automata Theory, Languages, and Computation* +(2nd edition) by John E. Hopcroft, Rajeev Motwani and Jeferey D. Ullman. + +Indexed grammars come from the original paper *Index Grammars - An Extension of Context-free grammars* by Alfred V. Aho. + +On the implementation of Hopcroft minimization algorithm: [Implementation of Hopcroft's Algorithm, Hang Zhou](https://www.irif.fr/~carton/Enseignement/Complexite/ENS/Redaction/2009-2010/hang.zhou.pdf) + +[Intersection CFG/Regex](https://www.degruyter.com/downloadpdf/j/stuf.1961.14.issue-1-4/stuf.1961.14.14.143/stuf.1961.14.14.143.pdf) and [a better written version](http://www.cs.umd.edu/~gasarch/BLOGPAPERS/cfg.pdf) + +## Usage + +Please refer to the official documentation: [pyformlang.readthedocs.io](https://pyformlang.readthedocs.io). + + + +%package help +Summary: Development documents and examples for pyformlang +Provides: python3-pyformlang-doc +%description help +# pyformlang + +[](https://github.com/Aunsiels/pyformlang/actions/workflows/python-package.yml) +[](https://pypi.org/project/pyformlang/) +[](https://pyformlang.readthedocs.io/en/latest/) + + + +A python library to manipulate formal grammar. In general, it can be used to better understand algorithms in a formal way. + +If you use Pyformlang in your project, please cite our paper: + +``` +@InProceedings{pyformlang, +author="Romero, Julien", +title="Pyformlang: An Educational Library for Formal Language Manipulation", +booktitle="SIGCSE", +year="2021" +doi = {https://doi.org/10.1145/3408877.3432464} +} +``` + +## Installation + +```bash +pip3 install pyformlang +``` + +## Sources + +Most algorithms come from Introduction to *Automata Theory, Languages, and Computation* +(2nd edition) by John E. Hopcroft, Rajeev Motwani and Jeferey D. Ullman. + +Indexed grammars come from the original paper *Index Grammars - An Extension of Context-free grammars* by Alfred V. Aho. + +On the implementation of Hopcroft minimization algorithm: [Implementation of Hopcroft's Algorithm, Hang Zhou](https://www.irif.fr/~carton/Enseignement/Complexite/ENS/Redaction/2009-2010/hang.zhou.pdf) + +[Intersection CFG/Regex](https://www.degruyter.com/downloadpdf/j/stuf.1961.14.issue-1-4/stuf.1961.14.14.143/stuf.1961.14.14.143.pdf) and [a better written version](http://www.cs.umd.edu/~gasarch/BLOGPAPERS/cfg.pdf) + +## Usage + +Please refer to the official documentation: [pyformlang.readthedocs.io](https://pyformlang.readthedocs.io). + + + +%prep +%autosetup -n pyformlang-1.0.2 + +%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-pyformlang -f filelist.lst +%dir %{python3_sitelib}/* + +%files help -f doclist.lst +%{_docdir}/* + +%changelog +* Mon May 15 2023 Python_Bot <Python_Bot@openeuler.org> - 1.0.2-1 +- Package Spec generated |