packages: p9m4/p9m4.spec (NEW) - initial revision

[baggins]

Author: baggins                      Date: Wed May  6 15:54:47 2009 GMT
Module: packages                      Tag: HEAD
---- Log message:
- initial revision

---- Files affected:
packages/p9m4:
   p9m4.spec (NONE -> 1.1)  (NEW)

---- Diffs:

================================================================
Index: packages/p9m4/p9m4.spec
diff -u /dev/null packages/p9m4/p9m4.spec:1.1
--- /dev/null	Wed May  6 17:54:47 2009
+++ packages/p9m4/p9m4.spec	Wed May  6 17:54:42 2009
@@ -0,0 +1,76 @@
+# $Revision$, $Date$
+Summary:	GUI for Prover9 and Mace4
+Summary(pl.UTF-8):	Środowisko graficzne dla Prover9 i Mace4
+Name:		p9m4
+Version:	0.5
+Release:	0.1
+License:	GPL v2
+Group:		Applications/Science
+Source0:	http://www.cs.unm.edu/%7Emccune/prover9/gui/%{name}-v%(echo %{version} | tr -d .).tar.gz
+# Source0-md5:	fe031fbc49953c580f54c11864f31a36
+Source1:	%{name}-setup.py
+Patch0:		%{name}-64bit.patch
+Patch1:		%{name}-python2.6.patch
+Patch2:		%{name}-use-inst-paths.patch
+URL:		http://www.cs.unm.edu/~mccune/prover9/gui/
+BuildRequires:	python-devel
+BuildRequires:	rpm-pythonprov
+BuildRequires:	rpmbuild(macros) >= 1.219
+Requires:	python-libs
+Requires:	python-modules
+BuildArch:	noarch
+BuildRoot:	%{tmpdir}/%{name}-%{version}-root-%(id -u -n)
+
+%description
+
+%description -l pl.UTF-8
+
+%prep
+%setup -q -n %{name}-v%(echo %{version} | tr -d .)
+%patch0 -p1
+%patch1 -p1
+%patch2 -p1
+
+install %{SOURCE1} .
+
+# cleanup backups after patching
+find '(' -name '*~' -o -name '*.orig' ')' -print0 | xargs -0 -r -l512 rm -f
+
+%build
+export CFLAGS="%{rpmcflags}"
+%{__python} %{name}-setup.py build
+
+%install
+rm -rf $RPM_BUILD_ROOT
+install -d $RPM_BUILD_ROOT{%{_bindir},%{_datadir}/%{name}/lib}
+
+cp -a Images $RPM_BUILD_ROOT%{_datadir}/%{name}
+cp -a Samples $RPM_BUILD_ROOT%{_datadir}/%{name}
+
+install prover9-mace4.py $RPM_BUILD_ROOT%{_bindir}
+
+install utilities.py wx_utilities.py files.py options.py \
+	partition_input.py my_setup.py control.py platforms.py \
+	$RPM_BUILD_ROOT%{_datadir}/%{name}/lib
+
+%py_ocomp $RPM_BUILD_ROOT%{py_sitedir}
+%py_comp $RPM_BUILD_ROOT%{py_sitedir}
+%py_postclean
+
+%clean
+rm -rf $RPM_BUILD_ROOT
+
+%files
+%defattr(644,root,root,755)
+%attr(755,root,root) %{_bindir}/*
+%{_datadir}/%{name}
+
+%define date	%(echo `LC_ALL="C" date +"%a %b %d %Y"`)
+%changelog
+* %{date} PLD Team <feedback at pld-linux.org>
+All persons listed below can be reached at <cvs_login>@pld-linux.org
+
+$Log$
+Revision 1.1  2009/05/06 15:54:42  baggins
+- initial revision
+
================================================================