summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorCoprDistGit <infra@openeuler.org>2023-03-09 15:24:47 +0000
committerCoprDistGit <infra@openeuler.org>2023-03-09 15:24:47 +0000
commit681e28c1c5efbf1f183ea128237e235609f09167 (patch)
treeabed380cc1575c269dbf25d35f550946b1dd6434
parentf55fc4198f6a1ed80131c5574edb150efe83bd85 (diff)
automatic import of python-pycosat
-rw-r--r--.gitignore1
-rw-r--r--python-pycosat.spec72
-rw-r--r--sources1
3 files changed, 74 insertions, 0 deletions
diff --git a/.gitignore b/.gitignore
index e69de29..b5ba805 100644
--- a/.gitignore
+++ b/.gitignore
@@ -0,0 +1 @@
+/pycosat-0.6.3.zip
diff --git a/python-pycosat.spec b/python-pycosat.spec
new file mode 100644
index 0000000..2d532bb
--- /dev/null
+++ b/python-pycosat.spec
@@ -0,0 +1,72 @@
+%global _empty_manifest_terminate_build 0
+Name: python-pycosat
+Version: 0.6.3
+Release: 1
+Summary: bindings to picosat (a SAT solver)
+License: MIT
+URL: https://github.com/ContinuumIO/pycosat
+Source0: https://mirrors.nju.edu.cn/pypi/web/packages/c0/fd/e38d68774c0a345b0090d608a90f1fbf423970d812f7ec7aef9ac024e648/pycosat-0.6.3.zip
+BuildArch: noarch
+
+
+%description
+
+
+%package -n python3-pycosat
+Summary: bindings to picosat (a SAT solver)
+Provides: python-pycosat
+BuildRequires: python3-devel
+BuildRequires: python3-setuptools
+BuildRequires: python3-pip
+%description -n python3-pycosat
+
+
+%package help
+Summary: Development documents and examples for pycosat
+Provides: python3-pycosat-doc
+%description help
+
+
+%prep
+%autosetup -n pycosat-0.6.3
+
+%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-pycosat -f filelist.lst
+%dir %{python3_sitelib}/*
+
+%files help -f doclist.lst
+%{_docdir}/*
+
+%changelog
+* Thu Mar 09 2023 Python_Bot <Python_Bot@openeuler.org> - 0.6.3-1
+- Package Spec generated
diff --git a/sources b/sources
new file mode 100644
index 0000000..b3d8e25
--- /dev/null
+++ b/sources
@@ -0,0 +1 @@
+51eb7cfe19cf704d4f0c476da61200c0 pycosat-0.6.3.zip