Import fplll_5.3.1-2+rpi1.debian.tar.xz

[dgit import tarball fplll 5.3.1-2+rpi1 fplll_5.3.1-2+rpi1.debian.tar.xz]

diff --git a/README.source b/README.source
new file mode 100644 (file)
index 0000000..0bdbdc6
--- /dev/null
+++ b/README.source
@@ -0,0 +1,8 @@
+How to soname bump
+==================
+* debian/control:
+ - declares the libfplll<version> package
+ - makes the libfplll-dev package depend on it
+* debian/libfplll<version>.* needs to be moved
+* debian/libfplll.install references the <version> for the strategy path
+* debian/patches/versioned_strategies_path also references the strategy path.

diff --git a/changelog b/changelog
new file mode 100644 (file)
index 0000000..58c79e3
--- /dev/null
+++ b/changelog
@@ -0,0 +1,227 @@
+fplll (5.3.1-2+rpi1) bullseye-staging; urgency=medium
+
+  * Use -latomic on armhf too.
+
+ -- Peter Michael Green <plugwash@raspbian.org>  Sat, 11 Jan 2020 01:35:53 +0000
+
+fplll (5.3.1-2) unstable; urgency=medium
+
+  * Add workaround for missing -latomic
+    on some arches (Closes: #947718).
+
+ -- Julien Puydt <jpuydt@debian.org>  Sat, 04 Jan 2020 23:10:06 +0100
+
+fplll (5.3.1-1) unstable; urgency=medium
+
+  * New upstream release.
+  * Update fix_pc_file patch.
+
+ -- Julien Puydt <jpuydt@debian.org>  Mon, 23 Dec 2019 12:00:48 +0100
+
+fplll (5.3.0-1) unstable; urgency=medium
+
+  * New upstream release.
+  * Refresh patches.
+  * Move from debian/compat 11 to dh-compat 12.
+  * Bump std-ver to 4.4.1.
+  * Follow upstream soname bump from 5 to 6.
+  * Add patch to improve fplll.pc.
+  * Update d/copyright to new paths.
+
+ -- Julien Puydt <jpuydt@debian.org>  Fri, 20 Dec 2019 08:28:43 +0100
+
+fplll (5.2.1-2) unstable; urgency=medium
+
+  * Team upload.
+  * Upload to unstable.
+
+ -- Tobias Hansen <thansen@debian.org>  Wed, 26 Sep 2018 20:01:59 +0200
+
+fplll (5.2.1-1) experimental; urgency=medium
+
+  * New upstream release (soname bump to 5).
+  * Update packaging:
+    - Use my debian.org mail address.
+    - Bump dh compat to 11. 
+    - Bump std-ver to 4.1.4. 
+    - Point Vcs-* fields to salsa. 
+    - Update dates in d/copyright. 
+    - Drop upstreamed patches. 
+
+ -- Julien Puydt <jpuydt@debian.org>  Tue, 03 Jul 2018 16:35:22 +0200
+
+fplll (5.2.0-3) unstable; urgency=medium
+
+  * Team upload.
+  * Upload to unstable.
+
+ -- Tobias Hansen <thansen@debian.org>  Sat, 30 Dec 2017 11:43:42 +0100
+
+fplll (5.2.0-2) experimental; urgency=medium
+
+  * Team upload.
+  * Add disable-test_int_rel_200.patch:
+    Disable a faulty test that fails on armel, armhf, mips, mipsel.
+
+ -- Tobias Hansen <thansen@debian.org>  Sat, 09 Dec 2017 11:23:42 +0100
+
+fplll (5.2.0-1) experimental; urgency=medium
+
+  * Team upload to experimental.
+
+  [ Julien Puydt ]
+  * New upstream release.
+  * Bump std-ver to 4.1.1.
+  * Bump d/watch to version 4.
+  * Remove the test pruner patch : obsolete (upstream improved the code).
+  * Refresh the patch for versioned strategy paths.
+  * Follow upstream soname bump from 3 to 4.
+  * Add upstream patch to fix typos.
+
+ -- Tobias Hansen <thansen@debian.org>  Sun, 12 Nov 2017 16:05:16 +0100
+
+fplll (5.1.0-3) unstable; urgency=medium
+
+  [ Julien Puydt ]
+  * Improved the strategies patch (Closes: #870698).
+  * Bump standards-version to 4.0.0.
+
+  [ Ximin Luo ]
+  * Backport an upstream commit that fixes tests on 32-bit systems.
+  * Add myself to Uploaders.
+
+ -- Ximin Luo <infinity0@debian.org>  Wed, 16 Aug 2017 21:14:52 +0200
+
+fplll (5.1.0-2) experimental; urgency=medium
+
+  * Made the strategies file go in a versioned directory so different
+  libfplll<version> packages are coinstallable (and document how to soname
+  bump in README.source as it becomes a bit involved).
+
+ -- Julien Puydt <julien.puydt@laposte.net>  Sun, 18 Jun 2017 08:46:35 +0200
+
+fplll (5.1.0-1) experimental; urgency=medium
+
+  * New upstream release.
+  * Follow the soname version bump.
+  * Updated the fplll(1) manpage.
+
+ -- Julien Puydt <julien.puydt@laposte.net>  Fri, 31 Mar 2017 08:39:32 +0200
+
+fplll (5.0.3-1) unstable; urgency=medium
+
+  * Add libmpfr-dev and libgmp-dev as depends of -dev (Closes: #841260).
+  * New upstream release.
+
+ -- Julien Puydt <julien.puydt@laposte.net>  Wed, 19 Oct 2016 21:29:47 +0200
+
+fplll (5.0.2-2) unstable; urgency=medium
+
+  * Push dh compat to 10, and simplify the packaging accordingly.
+  * Mark the -dev package as Multi-Arch:same following tracker hint.
+  * Upload to unstable.
+
+ -- Julien Puydt <julien.puydt@laposte.net>  Tue, 11 Oct 2016 14:33:57 +0200
+
+fplll (5.0.2-1) experimental; urgency=medium
+
+  * New upstream release.
+  * Dropping all patches, since upstream took them.
+
+ -- Julien Puydt <julien.puydt@laposte.net>  Thu, 01 Sep 2016 17:50:16 +0200
+
+fplll (5.0.1-1) experimental; urgency=medium
+
+  [Ximin Luo]
+  * Install pkgconfig file.
+  * Prepare a package for an upstream prerelease
+    (for sagemath use)
+
+  [Julien Puydt]
+  * New stable upstream release.
+  * Bump standards-version up.
+  * Use https in Vcs-* fields.
+  * Complete d/copyright.
+  * Enable all hardening options.
+  * Added a patch for typos.
+  * Added a patch for the pkgconfig script.
+  * Added a manpage for latsieve.
+  * Follow soname bump.
+
+ -- Julien Puydt <julien.puydt@laposte.net>  Thu, 25 Aug 2016 14:24:41 +0200
+
+fplll (4.0.4-2) unstable; urgency=low
+
+  * Updated the build deps (Closes: #747999).
+
+ -- Julien Puydt <julien.puydt@laposte.net>  Sun, 18 May 2014 11:20:59 +0200
+
+fplll (4.0.4-1) unstable; urgency=low
+
+  * Upgraded to latest upstream.
+  * Updated homepage and upstream contact in the watch, copyright
+    and control file.
+  * Removed now useless patch (link to homepage in README.html).
+  * Changed the VCS uri to make lintian happy.
+  * Removed the lintian overrides for hardening-no-fortify-functions (useless).
+
+ -- Julien Puydt <julien.puydt@laposte.net>  Mon, 17 Jun 2013 21:41:04 +0200
+
+fplll (4.0.3-1) unstable; urgency=low
+
+  * Upgraded to latest upstream.
+  * Made "Euclidian" capitalized in all decriptions (Closes: #704556).
+  * Bumped Standards-Version: to 3.9.4.
+
+ -- Julien Puydt <julien.puydt@laposte.net>  Tue, 07 May 2013 18:41:27 +0200
+
+fplll (4.0.1-2) unstable; urgency=low
+
+  * Add the static library to the devel package (Closes: #702898).
+
+ -- Julien Puydt <julien.puydt@laposte.net>  Thu, 14 Mar 2013 22:09:06 +0100
+
+fplll (4.0.1-1) unstable; urgency=low
+
+  * Upgraded to latest upstream.
+  * Re-introduction in debian (Closes: #691192).
+  * Added a patch to fix a link issue in README.html.
+  * Made the manpages point to README.html in the libfplll-dev package.
+  * Changed the license of the debian directory to LGPL-2.1.
+  * Apply descriptions patch from Tobias Hansen.
+
+ -- Julien Puydt <julien.puydt@laposte.net>  Mon, 17 Dec 2012 22:08:00 +0200
+
+fplll (4.0.0-1) unstable; urgency=low
+
+  * New maintainer upload. Thanks Tim!
+  * Updated to the last upstream (Closes: #592354).
+  * Fully converted to dh and source format 3.0 (quilt).
+  * Added a watch file.
+  * New upstream has tools, so spawn a new fplll-tools package off this
+    source package.
+  * New upstream switched from GPL to LGPL, so reflect it in the copyright.
+  * Added manpages for binaries (generated using help2man -N then edited).
+
+ -- Julien Puydt <julien.puydt@laposte.net>  Sun, 27 May 2012 15:04:51 +0200
+
+fplll (2.1.6+20071129-2.1) unstable; urgency=low
+
+  * Non-maintainer upload.
+  * Don't ship .la files (Closes: #621188).
+
+ -- Luk Claes <luk@debian.org>  Sat, 11 Jun 2011 17:23:13 +0200
+
+fplll (2.1.6+20071129-2) unstable; urgency=low
+
+  * Fix remaining uses of ldexpl to use DPE_LDEXPL, which falls back to
+    ldexp if ldexpl isn't available.  Thanks to Thiemo Seufer. (Closes:
+    #495465)
+
+ -- Tim Abbott <tabbott@mit.edu>  Sun, 17 Aug 2008 13:22:35 -0400
+
+fplll (2.1.6+20071129-1) unstable; urgency=low
+
+  * Initial release (Closes: #480081).
+
+ -- Tim Abbott <tabbott@mit.edu>  Tue, 27 May 2008 20:21:00 -0400

diff --git a/control b/control
new file mode 100644 (file)
index 0000000..7aa5e31
--- /dev/null
+++ b/control
@@ -0,0 +1,71 @@
+Source: fplll
+Section: math
+Priority: optional
+Maintainer: Debian Science Maintainers <debian-science-maintainers@lists.alioth.debian.org>
+Uploaders: Tim Abbott <tabbott@mit.edu>,
+           Julien Puydt <jpuydt@debian.org>,
+           Ximin Luo <infinity0@debian.org>
+Homepage: https://github.com/fplll/fplll/
+Build-Depends: debhelper-compat (= 12), libmpfr-dev
+Standards-Version: 4.4.1
+Vcs-Git: https://salsa.debian.org/science-team/fplll.git
+Vcs-Browser: https://salsa.debian.org/cgit/science-team/fplll
+
+Package: libfplll6
+Architecture: any
+Multi-Arch: same
+Section: libs
+Pre-Depends: ${misc:Pre-Depends}
+Depends: ${shlibs:Depends}, ${misc:Depends}
+Description: Library for LLL-reduction of Euclidean lattices, runtime
+ fpLLL is a library for computing reduced (nearly orthogonal) bases
+ for Euclidean lattices using the LLL algorithm.
+ .
+ fpLLL contains multiple different implementations of the
+ floating-point LLL reduction algorithm, offering multiple different
+ speed/guarantees ratios.
+ .
+ It contains a 'wrapper' that chooses the estimated best sequence of
+ variants in order to provide a guaranteed output as fast as possible.
+ In the case of the wrapper, the succession of variants is oblivious
+ to the user.
+ .
+ This package contains the shared library libfplll.
+
+Package: libfplll-dev
+Architecture: any
+Multi-Arch: same
+Section: libdevel
+Depends: ${misc:Depends}, libgmp-dev, libmpfr-dev, libfplll6 (= ${binary:Version})
+Description: Library for LLL-reduction of Euclidean lattices, development
+ fpLLL is a library for computing reduced (nearly orthogonal) bases
+ for Euclidean lattices using the floating-point LLL algorithm.
+ .
+ fpLLL contains multiple different implementations of the
+ floating-point LLL reduction algorithm, offering multiple different
+ speed/guarantees ratios.
+ .
+ It contains a 'wrapper' that chooses the estimated best sequence of
+ variants in order to provide a guaranteed output as fast as possible.
+ In the case of the wrapper, the succession of variants is oblivious
+ to the user.
+ .
+ This package contains development files for libfplll.
+
+Package: fplll-tools
+Architecture: any
+Depends: libfplll6 (= ${binary:Version}), ${shlibs:Depends}, ${misc:Depends}
+Description: Tools to compute LLL-reduction of Euclidian lattices
+ fpLLL is a library for computing reduced (nearly orthogonal) bases
+ for Euclidean lattices using the floating-point LLL algorithm.
+ .
+ fpLLL contains multiple different implementations of the
+ floating-point LLL reduction algorithm, offering multiple different
+ speed/guarantees ratios.
+ .
+ It contains a 'wrapper' that chooses the estimated best sequence of
+ variants in order to provide a guaranteed output as fast as possible.
+ In the case of the wrapper, the succession of variants is oblivious
+ to the user.
+ .
+ This package contains the base tools using libfplll.

diff --git a/copyright b/copyright
new file mode 100644 (file)
index 0000000..78f8234
--- /dev/null
+++ b/copyright
@@ -0,0 +1,65 @@
+Format: https://www.debian.org/doc/packaging-manuals/copyright-format/1.0/
+Upstream-Name: fplll
+Upstream-Contact: Damien Stehlé <damien.stehle@ens-lyon.fr>
+Source: https://github.com/fplll/fplll/
+
+Files: *
+Copyright: 2007, David Cade <david.cade@ens.fr>
+          2005-2008, Damien Stehle  <damien.stehle@gmail.com>
+           2008-2011, Xavier Pujol <xavier.pujol@ens-lyon.fr>
+License: LGPL-2.1+
+
+Files: fplll/nr/dpe.h
+Copyright: 2004, 2005, 2006, 2008 Patrick Pelissier, Paul Zimmermann, LORIA/INRIA Nancy - Grand-Est.
+License: LGPL-2.1+
+
+Files: fplll/pruner/* tests/*
+Copyright: 2015-2017 Martin Albrecht, Leo Ducas
+License: LGPL-2.1+
+
+Files: fplll/io/json.hpp
+Copyright: 2013-2016 Niels Lohmann
+License: Expat
+
+Files: debian/*
+Copyright: 2008, Tim Abbott <tabbott@mit.edu>
+          2012-2018, Julien Puydt <jpuydt@debian.org>
+License: LGPL-2.1+
+
+License: LGPL-2.1+
+ This file is part of fplll. fplll is free software: you
+ can redistribute it and/or modify it under the terms of the GNU Lesser
+ General Public License as published by the Free Software Foundation,
+ either version 2.1 of the License, or (at your option) any later version.
+ .
+ fplll is distributed in the hope that it will be useful,
+ but WITHOUT ANY WARRANTY; without even the implied warranty of
+ MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
+ GNU Lesser General Public License for more details.
+ .
+ You should have received a copy of the GNU Lesser General Public License
+ along with fplll. If not, see <http://www.gnu.org/licenses/>.
+ .
+ On Debian systems, the complete text of the GNU Lesser General Public
+ License 2.1 can be found in `/usr/share/common-licenses/LGPL-2.1'.
+
+License: Expat
+ Permission is hereby granted, free of charge, to any person
+ obtaining a copy of this software and associated documentation files
+ (the "Software"), to deal in the Software without restriction,
+ including without limitation the rights to use, copy, modify, merge,
+ publish, distribute, sublicense, and/or sell copies of the Software,
+ and to permit persons to whom the Software is furnished to do so,
+ subject to the following conditions:
+ .
+ The above copyright notice and this permission notice shall be
+ included in all copies or substantial portions of the Software.
+ .
+ THE SOFTWARE IS PROVIDED "AS IS", WITHOUT WARRANTY OF ANY KIND,
+ EXPRESS OR IMPLIED, INCLUDING BUT NOT LIMITED TO THE WARRANTIES OF
+ MERCHANTABILITY, FITNESS FOR A PARTICULAR PURPOSE AND
+ NONINFRINGEMENT. IN NO EVENT SHALL THE AUTHORS OR COPYRIGHT HOLDERS
+ BE LIABLE FOR ANY CLAIM, DAMAGES OR OTHER LIABILITY, WHETHER IN AN
+ ACTION OF CONTRACT, TORT OR OTHERWISE, ARISING FROM, OUT OF OR IN
+ CONNECTION WITH THE SOFTWARE OR THE USE OR OTHER DEALINGS IN THE
+ SOFTWARE.

diff --git a/fplll-tools.install b/fplll-tools.install
new file mode 100644 (file)
index 0000000..4cb4bd3
--- /dev/null
+++ b/fplll-tools.install
@@ -0,0 +1 @@
+/usr/bin/*

diff --git a/fplll-tools.lintian-overrides b/fplll-tools.lintian-overrides
new file mode 100644 (file)
index 0000000..6a7b39c
--- /dev/null
+++ b/fplll-tools.lintian-overrides
@@ -0,0 +1,2 @@
+# False positive, see #673112
+fplll-tools binary: hardening-no-stackprotector

diff --git a/fplll-tools.manpages b/fplll-tools.manpages
new file mode 100644 (file)
index 0000000..485c81f
--- /dev/null
+++ b/fplll-tools.manpages
@@ -0,0 +1,3 @@
+debian/fplll.1
+debian/latsieve.1
+debian/latticegen.1

diff --git a/fplll.1 b/fplll.1
new file mode 100644 (file)
index 0000000..075a8be
--- /dev/null
+++ b/fplll.1
@@ -0,0 +1,61 @@
+.TH FPLLL "1" "May 2012" "fplll 4.0.0" "User Commands"
+.SH NAME
+fplll \- fplll applies LLL, BKZ or SVP on a given set of row vectors (either from stdin or in a file given as parameter)
+.SH SYNOPSIS
+.B fplll
+[\fIoptions\fR] [\fIfile\fR]
+.SH DESCRIPTION
+See /usr/share/doc/libfplll-dev/README.html from the libfplll-dev package for more details.
+.SS "List of options:"
+.HP
+\fB\-a\fR [lll|svp|bkz|sld|sdbkz]
+.IP
+lll = LLL\-reduce the input matrix (default)
+svp = compute a shortest non\-zero vector of the lattice
+bkz = BKZ\-reduce the input matrix
+sld = slide reduce the input matrix
+sdb = reduce the input matrix using the self dual BKZ variant
+.HP
+\fB\-m\fR [proved|heuristic|fast|wrapper]
+.IP
+LLL version (default: wrapper)
+.HP
+\fB\-z\fR [int|mpz|double]
+.IP
+Integer type in LLL (default: mpz)
+.HP
+\fB\-f\fR [mpfr|dpe|double]
+.IP
+Floating\-point type in LLL (proved/heuristic method only; default: dpe)
+.HP
+\fB\-p\fR <precision>
+.IP
+Floating\-point precision (only with \fB\-f\fR mpfr)
+.HP
+\fB\-d\fR <delta> (default=0.99)
+.HP
+\fB\-e\fR <eta> (default=0.51)
+.HP
+\fB\-l\fR <lovasz>
+.HP
+\fB\-s\fR <filename.json>
+.IP
+Load BKZ strategies from filename
+.HP
+\fB\-y\fR
+.IP
+Enable early reduction
+.HP
+\fB\-b\fR <blocksize>
+.IP
+Size of BKZ blocks
+.HP
+\fB\-v\fR
+.IP
+Enable verbose mode
+.SH COPYRIGHT
+Copyright 2005\-2012 Damien Stehle, David Cade, Xavier Pujol.
+fplll is free software. You can redistribute it and/or modify
+it under the terms of the GNU Lesser General Public License as published by
+the Free Software Foundation, either version 2.1 of the License, or
+(at your option) any later version.

diff --git a/gbp.conf b/gbp.conf
new file mode 100644 (file)
index 0000000..cec628c
--- /dev/null
+++ b/gbp.conf
@@ -0,0 +1,2 @@
+[DEFAULT]
+pristine-tar = True

diff --git a/latsieve.1 b/latsieve.1
new file mode 100644 (file)
index 0000000..cf8051d
--- /dev/null
+++ b/latsieve.1
@@ -0,0 +1,43 @@
+.TH LATSIEVE "1" "August 2016" "latsieve" "User Commands"
+.SH NAME
+latsieve \- Gauss sieving
+.SH SYNOPSIS
+.B latsieve
+[\fI\,options\/\fR]
+.SH DESCRIPTION
+ Implementation of Gauss sieving, based on Panagiotis Voulgaris' implementation
+.SS "List of options:"
+.HP
+\fB\-a\fR [2|3|4]
+.IP
+2\- or 3\- or 4\-sieve;
+.HP
+\fB\-f\fR filename
+.IP
+Input filename
+.HP
+\fB\-r\fR nnn
+.IP
+Generate a random instance of dimension nnn
+.HP
+\fB\-t\fR nnn
+.IP
+Targeted norm^2=nnn
+.HP
+\fB\-s\fR nnn
+.IP
+Using seed=nnn
+.HP
+\fB\-b\fR nnn
+.IP
+BKZ preprocessing of blocksize=nnn
+.HP
+\fB\-v\fR
+.IP
+Verbose mode
+.SH COPYRIGHT
+Copyright 2005\-2016 Damien Stehle, David Cade, Xavier Pujol.
+fplll is free software. You can redistribute it and/or modify
+it under the terms of the GNU Lesser General Public License as published by
+the Free Software Foundation, either version 2.1 of the License, or
+(at your option) any later version.

diff --git a/latticegen.1 b/latticegen.1
new file mode 100644 (file)
index 0000000..785f000
--- /dev/null
+++ b/latticegen.1
@@ -0,0 +1,36 @@
+.TH LATTICEGEN "1" "May 2012" "latticegen (fplll) 4.0.0" "User Commands"
+.SH NAME
+latticegen \- latticegen generates matrices whose rows form input lattice bases
+.SH SYNOPSIS
+.B latticegen
+[\fI-randseed \fR[\fI<int> | 'time'\fR]] \fIoptions\fR
+.SH DESCRIPTION
+See /usr/share/doc/libfplll-dev/README.html from the libfplll-dev package for more details.
+.SS "Options :"
+.HP
+r <d> <b> : gen_intrel
+.IP
+.HP
+s <d> <b> <b2> : gen_simdioph
+.IP
+.HP
+u <d> <b> : gen_uniform
+.IP
+.HP
+n <d> <b> <q> : gen_ntrulike
+.IP
+.HP
+N <d> <b> <q> : gen_ntrulike2
+.IP
+.HP
+a <d> <f> : gen_ajtai
+.IP
+.HP
+A <d> : gen_ajtai2
+.IP
+.SH COPYRIGHT
+Copyright 2005\-2011 Damien Stehle, David Cade, Xavier Pujol.
+fplll is free software. You can redistribute it and/or modify
+it under the terms of the GNU Lesser General Public License as published by
+the Free Software Foundation, either version 2.1 of the License, or
+(at your option) any later version.

diff --git a/libfplll-dev.README.Debian b/libfplll-dev.README.Debian
new file mode 100644 (file)
index 0000000..352375b
--- /dev/null
+++ b/libfplll-dev.README.Debian
@@ -0,0 +1 @@
+This 5.x.y series is incompatible with the previous versions.

diff --git a/libfplll-dev.doc-base b/libfplll-dev.doc-base
new file mode 100644 (file)
index 0000000..a24407f
--- /dev/null
+++ b/libfplll-dev.doc-base
@@ -0,0 +1,9 @@
+Document: libfplll
+Title: fpLLL: a library for LLL-reduction of Euclidean lattices
+Author: David Cade, Damien Stehle and Xavier Pujol
+Abstract: This document describes fpLLL, describing both the tools and the library
+Section: Science/Mathematics
+
+Format: Text
+Index: /usr/share/doc/libfplll-dev/README.md.gz
+Files: /usr/share/doc/libfplll-dev/README.md.gz

diff --git a/libfplll-dev.docs b/libfplll-dev.docs
new file mode 100644 (file)
index 0000000..b43bf86
--- /dev/null
+++ b/libfplll-dev.docs
@@ -0,0 +1 @@
+README.md

diff --git a/libfplll-dev.install b/libfplll-dev.install
new file mode 100644 (file)
index 0000000..13f41c4
--- /dev/null
+++ b/libfplll-dev.install
@@ -0,0 +1,3 @@
+/usr/include/*
+/usr/lib/*/*.so
+/usr/lib/*/pkgconfig/*.pc

diff --git a/libfplll6.README.Debian b/libfplll6.README.Debian
new file mode 100644 (file)
index 0000000..352375b
--- /dev/null
+++ b/libfplll6.README.Debian
@@ -0,0 +1 @@
+This 5.x.y series is incompatible with the previous versions.

diff --git a/libfplll6.install b/libfplll6.install
new file mode 100644 (file)
index 0000000..46a3d7c
--- /dev/null
+++ b/libfplll6.install
@@ -0,0 +1,2 @@
+/usr/lib/*/*.so.*
+usr/share/libfplll?/strategies/default.json

diff --git a/libfplll6.lintian-overrides b/libfplll6.lintian-overrides
new file mode 100644 (file)
index 0000000..eb91320
--- /dev/null
+++ b/libfplll6.lintian-overrides
@@ -0,0 +1,2 @@
+# False positive, see bug #673112
+libfplll6 binary: hardening-no-stackprotector

diff --git a/libfplll6.shlibs b/libfplll6.shlibs
new file mode 100644 (file)
index 0000000..9689067
--- /dev/null
+++ b/libfplll6.shlibs
@@ -0,0 +1 @@
+libfplll 6 libfplll6 (>= 5.3.0)

diff --git a/patches/fix_pc_file.patch b/patches/fix_pc_file.patch
new file mode 100644 (file)
index 0000000..6fe64b5
--- /dev/null
+++ b/patches/fix_pc_file.patch
@@ -0,0 +1,63 @@
+Author: Julien Puydt
+Description: Improve fplll.pc
+Forwarded: not yet
+
+--- fplll.orig/configure.ac
++++ fplll/configure.ac
+@@ -71,7 +71,7 @@
+       [MPIR not found, see http://mpir.org])])
+       AC_CHECK_LIB(mpir, __gmp_get_memory_functions, , [AC_MSG_ERROR(
+       [MPIR version too old, need >= 1.0.0, see http://mpir.org])])
+-        LIBGMP="-lmpir"
++        LIBGMP="mpir"
+ ])
+ 
+ AS_IF([test "x$enable_mpir" != "xyes"], [
+@@ -85,13 +85,11 @@
+       [GNU MP not found, see http://mpir.org])])
+       AC_CHECK_LIB(gmp, __gmp_get_memory_functions, , [AC_MSG_ERROR(
+       [GMP version too old, need >= 4.2.0, see http://gmplib.org])])
+-        LIBGMP="-lgmp"
++        LIBGMP="gmp"
+ ])
+ 
+ AC_SUBST(LIBGMP)
+ 
+-AC_SUBST(LIBGMP)
+-
+ AC_ARG_WITH(mpfr,
+    AS_HELP_STRING([--with-mpfr=@<:@=DIR@:>@], [MPFR install directory]), [
+       CPPFLAGS="$CPPFLAGS -I$withval/include"
+--- fplll.orig/fplll.pc.in
++++ fplll/fplll.pc.in
+@@ -7,4 +7,5 @@
+ Description: lattice algorithms with floating-point computations
+ Version: @PACKAGE_VERSION@
+ Cflags: @PTHREAD_CFLAGS@
+-Libs: -L${libdir} @LIBQD_LIBADD@ @LIBGMP@ @PTHREAD_LIBS@ -lmpfr -lfplll
++Requires: @LIBGMP@, mpfr
++Libs: -L${libdir} @LIBQD_LIBADD@ -lfplll
+--- fplll.orig/fplll/Makefile.am
++++ fplll/fplll/Makefile.am
+@@ -107,7 +107,7 @@
+ libfplll_la_CXXFLAGS=$(PTHREAD_CFLAGS)
+ 
+ EXTRA_libfplll_la_SOURCES= svpcvp.cpp
+-libfplll_la_LIBADD=$(LIBGMP) -lmpfr $(LIBQD_LIBADD) $(PTHREAD_LIBS)
++libfplll_la_LIBADD=-l$(LIBGMP) -lmpfr $(LIBQD_LIBADD) $(PTHREAD_LIBS)
+ libfplll_la_LDFLAGS=-no-undefined -version-info @FPLLL_LT_CURRENT@:@FPLLL_LT_REVISION@:@FPLLL_LT_AGE@ $(PTHREAD_CFLAGS)
+ 
+ if FPLLL_PARALLEL_ENUM
+--- fplll.orig/tests/Makefile.am
++++ fplll/tests/Makefile.am
+@@ -44,8 +44,8 @@
+ 
+ TESTS = test_nr test_lll test_enum test_cvp test_svp test_bkz test_pruner test_sieve test_gso test_lll_gram test_hlll test_svp_gram test_bkz_gram
+ 
+-test_pruner_LDADD=$(LIBGMP) -lmpfr $(LIBQD_LIBADD)
+-test_sieve_LDADD=$(LIBGMP) -lmpfr $(LIBQD_LIBADD)
++test_pruner_LDADD=-l$(LIBGMP) -lmpfr $(LIBQD_LIBADD)
++test_sieve_LDADD=-l$(LIBGMP) -lmpfr $(LIBQD_LIBADD)
+ 
+ test_nr_SOURCES = test_nr.cpp
+ test_lll_SOURCES = test_lll.cpp

diff --git a/patches/libgmp_subst.patch b/patches/libgmp_subst.patch
new file mode 100644 (file)
index 0000000..cb941e8
--- /dev/null
+++ b/patches/libgmp_subst.patch
@@ -0,0 +1,15 @@
+Description: Add a missing substitution
+Author: Julien Puydt
+Forwarded: https://github.com/fplll/fplll/issues/356
+
+--- fplll.orig/configure.ac
++++ fplll/configure.ac
+@@ -90,6 +90,8 @@
+ 
+ AC_SUBST(LIBGMP)
+ 
++AC_SUBST(LIBGMP)
++
+ AC_ARG_WITH(mpfr,
+    AS_HELP_STRING([--with-mpfr=@<:@=DIR@:>@], [MPFR install directory]), [
+       CPPFLAGS="$CPPFLAGS -I$withval/include"

diff --git a/patches/series b/patches/series
new file mode 100644 (file)
index 0000000..34e97da
--- /dev/null
+++ b/patches/series
@@ -0,0 +1,3 @@
+versioned_strategies_path
+libgmp_subst.patch
+fix_pc_file.patch

diff --git a/patches/versioned_strategies_path b/patches/versioned_strategies_path
new file mode 100644 (file)
index 0000000..395d64a
--- /dev/null
+++ b/patches/versioned_strategies_path
@@ -0,0 +1,72 @@
+Description: Install the strategies in a soname-versioned directory
+ This makes different libfplll<soname> packages coinstallable.
+Author: Julien Puydt <julien.puydt@laposte.net>
+Forwarded: yes
+
+--- fplll.orig/Makefile.am
++++ fplll/Makefile.am
+@@ -8,7 +8,7 @@
+ pkgconfigdir       = $(libdir)/pkgconfig
+ pkgconfig_DATA     = fplll.pc
+ 
+-strategydir        = $(pkgdatadir)/strategies
++strategydir        = @FPLLL_DEFAULT_STRATEGY_PATH@
+ dist_strategy_DATA = strategies/default.json
+ 
+ CLANGFORMAT       ?= clang-format
+--- fplll.orig/configure.ac
++++ fplll/configure.ac
+@@ -172,6 +172,12 @@
+ AC_DEFINE_UNQUOTED([FPLLL_VERSION],[$FPLLL_VERSION],[full version])
+ AC_DEFINE_UNQUOTED([FPLLL_VERSION_INFO],[$FPLLL_VERSION_INFO],[long version string])
+ 
++FPLLL_DEFAULT_STRATEGY_PATH=\"/usr/share/libfplll$FPLLL_LT_CURRENT/strategies/\"
++AC_DEFINE_UNQUOTED([FPLLL_DEFAULT_STRATEGY_PATH], [$FPLLL_DEFAULT_STRATEGY_PATH], [path to default strategy])
++AC_SUBST(FPLLL_DEFAULT_STRATEGY_PATH)
++AC_DEFINE_UNQUOTED([FPLLL_DEFAULT_STRATEGY], ["default.json"], [name of default strategy])
++AC_SUBST(FPLLL_DEFAULT_STRATEGY)
++
+ AC_CONFIG_HEADERS([fplll/fplll_config.h])
+ 
+ AC_CONFIG_FILES([Makefile
+--- fplll.orig/fplll/defs.h
++++ fplll/fplll/defs.h
+@@ -277,14 +277,6 @@
+   HKZ_VERBOSE = 1
+ };
+ 
+-#ifndef FPLLL_DEFAULT_STRATEGY_PATH
+-#define FPLLL_DEFAULT_STRATEGY_PATH ""
+-#endif
+-
+-#ifndef FPLLL_DEFAULT_STRATEGY
+-#define FPLLL_DEFAULT_STRATEGY ""
+-#endif
+-
+ enum PrunerMetric
+ {
+   PRUNER_METRIC_PROBABILITY_OF_SHORTEST = 0,
+--- fplll.orig/fplll/fplll_config.h.in
++++ fplll/fplll/fplll_config.h.in
+@@ -22,6 +22,10 @@
+ /* fplll version info */
+ #define FPLLL_VERSION_INFO @FPLLL_VERSION_INFO@
+ 
++/* fplll default strategy */
++#define FPLLL_DEFAULT_STRATEGY_PATH @FPLLL_DEFAULT_STRATEGY_PATH@
++#define FPLLL_DEFAULT_STRATEGY @FPLLL_DEFAULT_STRATEGY@
++
+ /* Maximum supported enumeration dimension */
+ #define FPLLL_MAX_ENUM_DIM @FPLLL_MAX_ENUM_DIM@
+ 
+--- fplll.orig/fplll/Makefile.am
++++ fplll/fplll/Makefile.am
+@@ -2,7 +2,7 @@
+ TOPSRCDIR = $(srcdir)/..
+ strategydir = $(pkgdatadir)/strategies
+ # see https://stackoverflow.com/questions/5867136/autoconf-how-to-get-installation-paths-into-config-h
+-AM_CPPFLAGS = -DFPLLL_DEFAULT_STRATEGY_PATH=\"$(strategydir)\" -DFPLLL_DEFAULT_STRATEGY=\"$(strategydir)/default.json\" -I$(TOPSRCDIR)
++AM_CPPFLAGS = -I$(TOPSRCDIR)
+ EXTRA_DIST = io/json.hpp ballvol.const factorial.const
+ 
+ CLEANFILES = *.gcov .libs/*.gcda .libs/*.gcno *.gcno *.gcda */*.gcno */*.gcda

diff --git a/rules b/rules
new file mode 100755 (executable)
index 0000000..077449d
--- /dev/null
+++ b/rules
@@ -0,0 +1,24 @@
+#!/usr/bin/make -f
+
+# Workaround for RC bug #947718
+# I worked on it on abel.debian.org, a porterbox
+# for which I thank:
+# - ARM Ltd for hosting
+# - Marvell Technology Group Ltd for the hardware
+ifneq (,$(findstring $(DEB_HOST_ARCH),armel armhf mipsel m68k powerpc sh4))
+export DEB_LDFLAGS_MAINT_APPEND=-Wl,--as-needed -latomic
+else
+export DEB_LDFLAGS_MAINT_APPEND=-Wl,--as-needed
+endif
+
+export DEB_CPPFLAGS_MAINT_APPEND= -D_LARGEFILE_SOURCE
+export DEB_BUILD_MAINT_OPTIONS = hardening=+all
+
+%:
+       dh $@
+
+override_dh_auto_configure:
+       dh_auto_configure -- --disable-static
+
+override_dh_installchangelogs:
+       dh_installchangelogs NEWS

diff --git a/source/format b/source/format
new file mode 100644 (file)
index 0000000..163aaf8
--- /dev/null
+++ b/source/format
@@ -0,0 +1 @@
+3.0 (quilt)

diff --git a/watch b/watch
new file mode 100644 (file)
index 0000000..29b2093
--- /dev/null
+++ b/watch
@@ -0,0 +1,2 @@
+version=4
+https://github.com/fplll/fplll/tags .*/archive/([\d.]*)\.tar\.gz