add packagingsubmit/tizen/20130517.023840submit/tizen/20130509.183455submit/tizen/20130503.231829accepted/tizen/20130520.100455accepted/tizen/20130503.225530

2 files changed, 162 insertions, 0 deletions

diff --git a/packaging/baselibs.conf b/packaging/baselibs.conf
new file mode 100644
index 000000000..fd091d520
--- /dev/null
+++ b/packaging/baselibs.conf
@@ -0,0 +1,7 @@
+libppl9
+libppl_c4
+ppl-devel
+  requires -ppl-<targettype>
+  requires "libppl9-<targettype> = <version>"
+  requires "libppl_c4-<targettype> = <version>"
+  requires "gmp-devel-<targettype> >= 4.1.3"
diff --git a/packaging/ppl.spec b/packaging/ppl.spec
new file mode 100644
index 000000000..c4ece7888
--- /dev/null
+++ b/packaging/ppl.spec
@@ -0,0 +1,155 @@
+Name:           ppl
+Version:        0.11.2
+Release:        0
+License:        GPL-3.0+
+Summary:        The Parma Polyhedra Library
+Url:            http://www.cs.unipr.it/ppl/
+Group:          Development/Libraries/C and C++
+Source:         ppl-%{version}.tar.bz2
+Source1:        baselibs.conf
+BuildRequires:  gcc-c++
+BuildRequires:  gmp-devel >= 4.1.3
+
+%description
+The Parma Polyhedra Library (PPL) is a library for the manipulation of
+(not necessarily closed) convex polyhedra and other numerical
+abstractions.  The applications of convex polyhedra include program
+analysis, optimized compilation, integer and combinatorial optimization
+and statistical data-editing.  The Parma Polyhedra Library comes with
+several user friendly interfaces, is fully dynamic (available virtual
+memory is the only limitation to the dimension of anything), written in
+accordance to all the applicable standards, exception-safe, rather
+efficient, thoroughly documented, and free software.  This package
+provides all what is necessary to run applications using the PPL
+through its C and C++ interfaces.
+
+%package devel
+Summary:        Development tools for the Parma Polyhedra Library C and C++ interfaces
+Group:          Development/Libraries/C and C++
+Requires:       gmp-devel >= 4.1.3
+Requires:       libppl = %{version}
+Requires:       libppl_c = %{version}
+
+%description devel
+The header files, Autoconf macro, and ppl-config tool for developing
+applications using the Parma Polyhedra Library through its C and C++
+interfaces.
+
+%package devel-static
+Summary:        Static libraries for the Parma Polyhedra Library C and C++ interfaces
+Group:          Development/Libraries/C and C++
+Requires:       ppl-devel = %{version}
+
+%description devel-static
+Static libraries for the Parma Polyhedra Library C and C++ interfaces.
+
+%package -n libppl
+Summary:        Shared library for the Parma Polyhedra Library
+Group:          Development/Libraries/C and C++
+
+%description -n libppl
+Shared library for the Parma Polyhedra Library.
+
+%package -n libppl_c
+Summary:        Shared library for the Parma Polyhedra Library C bindings
+Group:          Development/Libraries/C and C++
+
+%description -n libppl_c
+Shared library for the Parma Polyhedra Library C bindings.
+
+%package doc
+Summary:        Documentation for the Parma Polyhedra Library
+Group:          Development/Libraries/C and C++
+BuildArch:      noarch
+
+%description doc
+This package contains all the documentations required by programmers
+using the Parma Polyhedra Library (PPL). Install this package if you
+want to program with the PPL.
+
+%prep
+%setup -q -n ppl-%{version}
+
+%build
+%configure --enable-shared --with-pic --disable-rpath \
+	--disable-watchdog
+#sed -i 's|^hardcode_libdir_flag_spec=.*|hardcode_libdir_flag_spec=""|g' libtool
+#sed -i 's|^runpath_var=LD_RUN_PATH|runpath_var=DIE_RPATH_DIE|g' libtool
+make %{?_smp_mflags}
+
+%install
+make DESTDIR=%{buildroot} INSTALL="install -p" install
+# We don't build the binary, so delete its manpage
+rm -f %{buildroot}%{_mandir}/man1/ppl_lpsol.1
+# We don't build pwl
+rm -Rf %{buildroot}%{_datadir}/doc/pwl
+# The pdf is enough
+rm -f %{buildroot}%{_datadir}/doc/%{name}/ppl-user-*.ps.gz
+rm -f %{buildroot}%{_datadir}/doc/%{name}/ChangeLog
+rm -f %{buildroot}%{_datadir}/doc/%{name}/TODO
+rm -f %{buildroot}%{_datadir}/doc/%{name}/gpl.*
+rm -f %{buildroot}%{_datadir}/doc/%{name}/fdl.ps.gz
+rm -f %{buildroot}%{_datadir}/doc/%{name}/fdl.pdf
+rm -Rf %{buildroot}%{_datadir}/doc/%{name}/ppl-user-prolog-interface-%{version}*
+rm -Rf %{buildroot}%{_datadir}/doc/%{name}/ppl-user-ocaml-interface-%{version}*
+rm -Rf %{buildroot}%{_datadir}/doc/%{name}/ppl-user-java-interface-%{version}*
+
+%post -n libppl -p /sbin/ldconfig
+
+%postun -n libppl -p /sbin/ldconfig
+
+%post -n libppl_c -p /sbin/ldconfig
+
+%postun -n libppl_c -p /sbin/ldconfig
+
+%files
+%defattr(-,root,root,-)
+%dir %{_datadir}/doc/%{name}
+%doc %{_datadir}/doc/%{name}/BUGS
+%doc %{_datadir}/doc/%{name}/COPYING
+%doc %{_datadir}/doc/%{name}/CREDITS
+%doc %{_datadir}/doc/%{name}/NEWS
+%doc %{_datadir}/doc/%{name}/README
+%{_bindir}/ppl_lcdd
+%{_bindir}/ppl_pips
+%{_mandir}/man1/ppl_lcdd.1.gz
+%{_mandir}/man1/ppl_pips.1.gz
+
+%files -n libppl
+%defattr(-,root,root,-)
+%{_libdir}/libppl.so.*
+
+%files -n libppl_c
+%defattr(-,root,root,-)
+%{_libdir}/libppl_c.so.*
+
+%files devel
+%defattr(-,root,root,-)
+%doc %{_datadir}/doc/%{name}/README.configure
+%{_includedir}/ppl.hh
+%{_includedir}/ppl_c.h
+%{_libdir}/libppl.so
+%{_libdir}/libppl_c.so
+%{_bindir}/ppl-config
+%{_mandir}/man1/ppl-config.1.gz
+%{_mandir}/man3/libppl.3.gz
+%{_mandir}/man3/libppl_c.3.gz
+%dir %{_datadir}/aclocal
+%{_datadir}/aclocal/ppl.m4
+%{_datadir}/aclocal/ppl_c.m4
+
+%files devel-static
+%defattr(-,root,root,-)
+%{_libdir}/libppl.a
+%{_libdir}/libppl.la
+%{_libdir}/libppl_c.a
+%{_libdir}/libppl_c.la
+
+%files doc
+%defattr(-,root,root,-)
+%doc %{_datadir}/doc/%{name}/README.doc
+%doc %{_datadir}/doc/%{name}/fdl.txt
+%doc %{_datadir}/doc/%{name}/ppl-user-%{version}-html/
+%doc %{_datadir}/doc/%{name}/ppl-user-c-interface-%{version}-html/
+%doc %{_datadir}/doc/%{name}/ppl-user-%{version}.pdf
+%doc %{_datadir}/doc/%{name}/ppl-user-c-interface-%{version}.pdf