jengelh/ppl
SHA256
1
0
Fork 0
forked from pool/ppl
Code Pull Requests Activity

Deactivate -frounding-math

Browse Source 
OBS-URL: https://build.opensuse.org/package/show/science/ppl?expand=0&rev=7
This commit is contained in:
Jan Engelhardt 2020-09-30 09:12:12 +00:00 committed by Git OBS Bridge
parent 86c5e17a21
commit 92a1e2ba8b
4 changed files with 47 additions and 1258 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

1220
GLS-0.12-1.1
View File

File diff suppressed because it is too large Load Diff

59
ppl-testsuite.spec
View File

@ -1,7 +1,7 @@
# #
# spec file for package ppl # spec file for package ppl-testsuite
# #
# Copyright (c) 2015 SUSE LINUX GmbH, Nuernberg, Germany. # Copyright (c) 2020 SUSE LLC
# #
# All modifications and additions to the file contributed by third parties # All modifications and additions to the file contributed by third parties
# remain the property of their copyright owners, unless otherwise agreed # remain the property of their copyright owners, unless otherwise agreed
@ -12,16 +12,16 @@
# license that conforms to the Open Source Definition (Version 1.9) # license that conforms to the Open Source Definition (Version 1.9)
# published by the Open Source Initiative. # published by the Open Source Initiative.
# Please submit bugfixes or comments via http://bugs.opensuse.org/ # Please submit bugfixes or comments via https://bugs.opensuse.org/
# #
%define so_name 14 %define sover 14
Name: ppl-testsuite Name: ppl-testsuite
Version: 1.2 Version: 1.2
Release: 0 Release: 0
Summary: The Parma Polyhedra Library Summary: The Parma Polyhedra Library
License: GPL-3.0+ License: GPL-3.0-or-later
Group: Development/Libraries/C and C++ Group: Development/Libraries/C and C++
URL: https://www.bugseng.com/parma-polyhedra-library URL: https://www.bugseng.com/parma-polyhedra-library
@ -29,7 +29,6 @@ URL: https://www.bugseng.com/parma-polyhedra-library
#Git-Clone: git://git.cs.unipr.it/ppl/ppl #Git-Clone: git://git.cs.unipr.it/ppl/ppl
Source: http://bugseng.com/products/ppl/download/ftp/releases/%version/ppl-%version.tar.xz Source: http://bugseng.com/products/ppl/download/ftp/releases/%version/ppl-%version.tar.xz
Source2: http://bugseng.com/products/ppl/download/ftp/releases/%version/ppl-%version.tar.xz.sign Source2: http://bugseng.com/products/ppl/download/ftp/releases/%version/ppl-%version.tar.xz.sign
Source4: GLS-0.12-1.1
BuildRequires: c++_compiler BuildRequires: c++_compiler
BuildRequires: fdupes BuildRequires: fdupes
BuildRequires: glpk-devel BuildRequires: glpk-devel
@ -54,7 +53,7 @@ through its C and C++ interfaces.
Summary: Development tools for the Parma Polyhedra Library C and C++ interfaces Summary: Development tools for the Parma Polyhedra Library C and C++ interfaces
Group: Development/Libraries/C and C++ Group: Development/Libraries/C and C++
Requires: gmp-devel >= 4.1.3 Requires: gmp-devel >= 4.1.3
Requires: libppl%so_name = %version Requires: libppl%sover = %version
Requires: libppl_c4 = %version Requires: libppl_c4 = %version
Recommends: ppl-doc = %version Recommends: ppl-doc = %version
@ -63,11 +62,11 @@ The header files, Autoconf macro, and ppl-config tool for developing
applications using the Parma Polyhedra Library through its C and C++ applications using the Parma Polyhedra Library through its C and C++
interfaces. interfaces.
%package -n libppl%so_name %package -n libppl%sover
Summary: C++ interface of the Parma Polyhedra Library Summary: C++ interface of the Parma Polyhedra Library
Group: System/Libraries Group: System/Libraries
%description -n libppl%so_name %description -n libppl%sover
Shared library for the Parma Polyhedra Library. Shared library for the Parma Polyhedra Library.
%package -n libppl_c4 %package -n libppl_c4
@ -92,19 +91,23 @@ want to program with the PPL.
%build %build
%if "%name" == "ppl-testsuite" %if "%name" == "ppl-testsuite"
export CXXFLAGS="%optflags -g0" # https://www.cs.unipr.it/mantis/view.php?id=1078
# https://www.cs.unipr.it/mantis/view.php?id=2113
# both behind a stupid login wall
export CXXFLAGS="%optflags -g0 -fno-rounding-math"
%endif %endif
if [ ! -e configure ]; then autoreconf -fi; fi
%configure \ %configure \
--disable-static \ --disable-static \
--disable-rpath \ --disable-rpath \
--disable-watchdog --disable-watchdog
#sed -i 's|^hardcode_libdir_flag_spec=.*|hardcode_libdir_flag_spec=""|g' libtool #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 #sed -i 's|^runpath_var=LD_RUN_PATH|runpath_var=DIE_RPATH_DIE|g' libtool
make %{?_smp_mflags} %make_build
%if "%name" == "ppl-testsuite" %if "%name" == "ppl-testsuite"
%check %check
make %{?_smp_mflags} check %make_build check
%install %install
@ -114,27 +117,26 @@ make %{?_smp_mflags} check
%make_install INSTALL="install -p" %make_install INSTALL="install -p"
rm -f "%buildroot/%_libdir"/*.la rm -f "%buildroot/%_libdir"/*.la
# We don't build the binary, so delete its manpage # We don't build the binary, so delete its manpage
rm -f %buildroot%_mandir/man1/ppl_lpsol.1 rm -f %buildroot/%_mandir/man1/ppl_lpsol.1
# We don't build pwl # We don't build pwl
rm -Rf %buildroot%_datadir/doc/pwl rm -Rf %buildroot/%_datadir/doc/pwl
# The pdf is enough # The pdf is enough
rm -f %buildroot%_datadir/doc/%name/ppl-user-*.ps.gz rm -f %buildroot/%_datadir/doc/%name/ppl-user-*.ps.gz
rm -f %buildroot%_datadir/doc/%name/ChangeLog rm -f %buildroot/%_datadir/doc/%name/ChangeLog
rm -f %buildroot%_datadir/doc/%name/README.configure rm -f %buildroot/%_datadir/doc/%name/README.configure
rm -f %buildroot%_datadir/doc/%name/TODO rm -f %buildroot/%_datadir/doc/%name/TODO
rm -f %buildroot%_datadir/doc/%name/gpl.* rm -f %buildroot/%_datadir/doc/%name/gpl.*
rm -f %buildroot%_datadir/doc/%name/fdl.ps.gz rm -f %buildroot/%_datadir/doc/%name/fdl.ps.gz
rm -f %buildroot%_datadir/doc/%name/fdl.pdf 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-prolog-interface-%{version}*
rm -Rf %buildroot%_datadir/doc/%name/ppl-user-ocaml-interface-%{version}* rm -Rf %buildroot/%_datadir/doc/%name/ppl-user-ocaml-interface-%{version}*
rm -Rf %buildroot%_datadir/doc/%name/ppl-user-java-interface-%{version}* rm -Rf %buildroot/%_datadir/doc/%name/ppl-user-java-interface-%{version}*
cp -a %_sourcedir/GLS-* "%buildroot/%_datadir/doc/%name/"
# %%name == ppl # %%name == ppl
%endif %endif
%fdupes -s %buildroot %fdupes -s %buildroot
%post -n libppl%so_name -p /sbin/ldconfig %post -n libppl%sover -p /sbin/ldconfig
%postun -n libppl%so_name -p /sbin/ldconfig %postun -n libppl%sover -p /sbin/ldconfig
%post -n libppl_c4 -p /sbin/ldconfig %post -n libppl_c4 -p /sbin/ldconfig
%postun -n libppl_c4 -p /sbin/ldconfig %postun -n libppl_c4 -p /sbin/ldconfig
@ -152,7 +154,7 @@ cp -a %_sourcedir/GLS-* "%buildroot/%_datadir/doc/%name/"
%_mandir/man1/ppl_lcdd.1.gz %_mandir/man1/ppl_lcdd.1.gz
%_mandir/man1/ppl_pips.1.gz %_mandir/man1/ppl_pips.1.gz
%files -n libppl%so_name %files -n libppl%sover
%_libdir/libppl.so.* %_libdir/libppl.so.*
%files -n libppl_c4 %files -n libppl_c4
@ -172,7 +174,6 @@ cp -a %_sourcedir/GLS-* "%buildroot/%_datadir/doc/%name/"
%_datadir/aclocal/ppl_c.m4 %_datadir/aclocal/ppl_c.m4
%files doc %files doc
%doc %_datadir/doc/%name/GLS-*
%doc %_datadir/doc/%name/README.doc %doc %_datadir/doc/%name/README.doc
%doc %_datadir/doc/%name/fdl.txt %doc %_datadir/doc/%name/fdl.txt
%doc %_datadir/doc/%name/ppl-user-%version-html/ %doc %_datadir/doc/%name/ppl-user-%version-html/

7
ppl.changes
View File

@ -1,3 +1,10 @@
-------------------------------------------------------------------
Wed Sep 30 09:10:01 UTC 2020 - Jan Engelhardt <jengelh@inai.de>
- Drop old bundled changelog file
- Deactivate -frounding-math because ppl's own testsuite does not
handle the effects.
------------------------------------------------------------------- -------------------------------------------------------------------
Sun Sep 20 10:32:03 UTC 2020 - Jan Engelhardt <jengelh@inai.de> Sun Sep 20 10:32:03 UTC 2020 - Jan Engelhardt <jengelh@inai.de>

19
ppl.spec
View File

@ -1,7 +1,7 @@
# #
# spec file for package ppl # spec file for package ppl
# #
# Copyright (c) 2015 SUSE LINUX GmbH, Nuernberg, Germany. # Copyright (c) 2020 SUSE LLC
# #
# All modifications and additions to the file contributed by third parties # All modifications and additions to the file contributed by third parties
# remain the property of their copyright owners, unless otherwise agreed # remain the property of their copyright owners, unless otherwise agreed
@ -12,7 +12,7 @@
# license that conforms to the Open Source Definition (Version 1.9) # license that conforms to the Open Source Definition (Version 1.9)
# published by the Open Source Initiative. # published by the Open Source Initiative.
# Please submit bugfixes or comments via http://bugs.opensuse.org/ # Please submit bugfixes or comments via https://bugs.opensuse.org/
# #
@ -21,7 +21,7 @@ Name: ppl
Version: 1.2 Version: 1.2
Release: 0 Release: 0
Summary: The Parma Polyhedra Library Summary: The Parma Polyhedra Library
License: GPL-3.0+ License: GPL-3.0-or-later
Group: Development/Libraries/C and C++ Group: Development/Libraries/C and C++
URL: https://www.bugseng.com/parma-polyhedra-library URL: https://www.bugseng.com/parma-polyhedra-library
@ -29,7 +29,6 @@ URL: https://www.bugseng.com/parma-polyhedra-library
#Git-Clone: git://git.cs.unipr.it/ppl/ppl #Git-Clone: git://git.cs.unipr.it/ppl/ppl
Source: http://bugseng.com/products/ppl/download/ftp/releases/%version/ppl-%version.tar.xz Source: http://bugseng.com/products/ppl/download/ftp/releases/%version/ppl-%version.tar.xz
Source2: http://bugseng.com/products/ppl/download/ftp/releases/%version/ppl-%version.tar.xz.sign Source2: http://bugseng.com/products/ppl/download/ftp/releases/%version/ppl-%version.tar.xz.sign
Source4: GLS-0.12-1.1
BuildRequires: c++_compiler BuildRequires: c++_compiler
BuildRequires: fdupes BuildRequires: fdupes
BuildRequires: glpk-devel BuildRequires: glpk-devel
@ -92,19 +91,23 @@ want to program with the PPL.
%build %build
%if "%name" == "ppl-testsuite" %if "%name" == "ppl-testsuite"
export CXXFLAGS="%optflags -g0" # https://www.cs.unipr.it/mantis/view.php?id=1078
# https://www.cs.unipr.it/mantis/view.php?id=2113
# both behind a stupid login wall
export CXXFLAGS="%optflags -g0 -fno-rounding-math"
%endif %endif
if [ ! -e configure ]; then autoreconf -fi; fi
%configure \ %configure \
--disable-static \ --disable-static \
--disable-rpath \ --disable-rpath \
--disable-watchdog --disable-watchdog
#sed -i 's|^hardcode_libdir_flag_spec=.*|hardcode_libdir_flag_spec=""|g' libtool #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 #sed -i 's|^runpath_var=LD_RUN_PATH|runpath_var=DIE_RPATH_DIE|g' libtool
make %{?_smp_mflags} %make_build
%if "%name" == "ppl-testsuite" %if "%name" == "ppl-testsuite"
%check %check
make %{?_smp_mflags} check %make_build check
%install %install
@ -128,7 +131,6 @@ 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-prolog-interface-%{version}*
rm -Rf %buildroot/%_datadir/doc/%name/ppl-user-ocaml-interface-%{version}* rm -Rf %buildroot/%_datadir/doc/%name/ppl-user-ocaml-interface-%{version}*
rm -Rf %buildroot/%_datadir/doc/%name/ppl-user-java-interface-%{version}* rm -Rf %buildroot/%_datadir/doc/%name/ppl-user-java-interface-%{version}*
cp -a %_sourcedir/GLS-* "%buildroot/%_datadir/doc/%name/"
# %%name == ppl # %%name == ppl
%endif %endif
%fdupes -s %buildroot %fdupes -s %buildroot
@ -172,7 +174,6 @@ cp -a %_sourcedir/GLS-* "%buildroot/%_datadir/doc/%name/"
%_datadir/aclocal/ppl_c.m4 %_datadir/aclocal/ppl_c.m4
%files doc %files doc
%doc %_datadir/doc/%name/GLS-*
%doc %_datadir/doc/%name/README.doc %doc %_datadir/doc/%name/README.doc
%doc %_datadir/doc/%name/fdl.txt %doc %_datadir/doc/%name/fdl.txt
%doc %_datadir/doc/%name/ppl-user-%version-html/ %doc %_datadir/doc/%name/ppl-user-%version-html/