From 6750a0606813671c7edf61eebf3ec308644a6c33 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Gonzalo=20Tornar=C3=ADa?= Date: Mon, 29 Jan 2018 11:18:35 -0300 Subject: [PATCH 1/8] New package: gf2x-1.3.0 --- common/shlibs | 1 + srcpkgs/gf2x-devel | 1 + srcpkgs/gf2x/template | 34 ++++++++++++++++++++++++++++++++++ srcpkgs/gf2x/update | 1 + 4 files changed, 37 insertions(+) create mode 120000 srcpkgs/gf2x-devel create mode 100644 srcpkgs/gf2x/template create mode 100644 srcpkgs/gf2x/update diff --git a/common/shlibs b/common/shlibs index 0d53e2be7dfa..d3d7954f50b7 100644 --- a/common/shlibs +++ b/common/shlibs @@ -3974,6 +3974,7 @@ libsword-1.8.1.so libsword-1.8.1_6 libpari-gmp.so.7 pari-2.13.0_1 libtree-sitter.so.0 tree-sitter-0.19.0_1 libgtkdatabox.so.1 gtkdatabox3-1.0.0_1 +libgf2x.so.3 gf2x-1.3.0_1 libwayland-client++.so.0 libwaylandpp-0.2.8_1 libwayland-cursor++.so.0 libwaylandpp-0.2.8_1 libwayland-egl++.so.0 libwaylandpp-0.2.8_1 diff --git a/srcpkgs/gf2x-devel b/srcpkgs/gf2x-devel new file mode 120000 index 000000000000..4542295e8de7 --- /dev/null +++ b/srcpkgs/gf2x-devel @@ -0,0 +1 @@ +gf2x \ No newline at end of file diff --git a/srcpkgs/gf2x/template b/srcpkgs/gf2x/template new file mode 100644 index 000000000000..e9267578a2c6 --- /dev/null +++ b/srcpkgs/gf2x/template @@ -0,0 +1,34 @@ +# Template file for 'gf2x' +pkgname=gf2x +version=1.3.0 +revision=1 +wrksrc=gf2x-gf2x-${version} +build_style="gnu-configure" +hostmakedepends="automake libtool" +short_desc="C/C++ library for fast arithmetic in GF(2)[x]" +maintainer="Gonzalo Tornaría " +license="GPL-3.0-or-later" +homepage="https://gitlab.inria.fr/gf2x/gf2x" +distfiles="https://gitlab.inria.fr/gf2x/gf2x/-/archive/gf2x-${version}/gf2x-gf2x-${version}.tar.gz" +checksum=11bcf98b620c60c2ee3b4460b02b7be741f14cfdc26b542f22c92950926575e0 + +build_options="native" + +if [ ! "$build_option_native" ]; then + configure_args="--disable-sse3" +fi + +pre_configure() { + autoreconf -fi +} + +gf2x-devel_package() { + depends="gf2x-${version}_${revision}" + short_desc+=" - development files" + pkg_install() { + vmove "usr/include" + vmove "usr/lib/*.a" + vmove "usr/lib/*.so" + vmove "usr/lib/pkgconfig" + } +} diff --git a/srcpkgs/gf2x/update b/srcpkgs/gf2x/update new file mode 100644 index 000000000000..504503610161 --- /dev/null +++ b/srcpkgs/gf2x/update @@ -0,0 +1 @@ +pkgname=gf2x-gf2x From cf037c607eb202f9fcd5356c669b72c39b4b1440 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Gonzalo=20Tornar=C3=ADa?= Date: Tue, 30 Jan 2018 11:02:38 -0300 Subject: [PATCH 2/8] New package: ntl-11.4.4 --- common/shlibs | 1 + srcpkgs/ntl-devel | 1 + srcpkgs/ntl/template | 36 ++++++++++++++++++++++++++++++++++++ srcpkgs/ntl/update | 1 + 4 files changed, 39 insertions(+) create mode 120000 srcpkgs/ntl-devel create mode 100644 srcpkgs/ntl/template create mode 100644 srcpkgs/ntl/update diff --git a/common/shlibs b/common/shlibs index d3d7954f50b7..137f67fe4383 100644 --- a/common/shlibs +++ b/common/shlibs @@ -3975,6 +3975,7 @@ libpari-gmp.so.7 pari-2.13.0_1 libtree-sitter.so.0 tree-sitter-0.19.0_1 libgtkdatabox.so.1 gtkdatabox3-1.0.0_1 libgf2x.so.3 gf2x-1.3.0_1 +libntl.so.43 ntl-11.4.4_1 libwayland-client++.so.0 libwaylandpp-0.2.8_1 libwayland-cursor++.so.0 libwaylandpp-0.2.8_1 libwayland-egl++.so.0 libwaylandpp-0.2.8_1 diff --git a/srcpkgs/ntl-devel b/srcpkgs/ntl-devel new file mode 120000 index 000000000000..fc0a39987329 --- /dev/null +++ b/srcpkgs/ntl-devel @@ -0,0 +1 @@ +ntl \ No newline at end of file diff --git a/srcpkgs/ntl/template b/srcpkgs/ntl/template new file mode 100644 index 000000000000..e140298eb559 --- /dev/null +++ b/srcpkgs/ntl/template @@ -0,0 +1,36 @@ +# Template file for 'ntl' +pkgname=ntl +version=11.4.4 +revision=1 +build_wrksrc="src" +build_style="configure" +hostmakedepends="perl" +makedepends="gmp-devel gf2x-devel" +short_desc="Library for doing Number Theory" +maintainer="Gonzalo Tornaría " +license="LGPL-2.1-or-later" +homepage="https://libntl.org" +distfiles="https://libntl.org/ntl-${version}.tar.gz" +checksum=9d7f6e82e11a409f151c0de2deb08c0d763baf9834fddfd432bf3d218f8021db +nocross=yes + +build_options="native" + +do_configure() { + # see http://www.shoup.net/ntl/doc/tour-unix.html + ./configure CXX="$CXX" CXXFLAGS="$CXXFLAGS" \ + PREFIX="/usr" SHARED="on" NTL_GF2X_LIB="on" \ + NATIVE="$(vopt_if native 'on' 'off')" +} + +ntl-devel_package() { + depends="ntl-${version}_${revision}" + depends+=" gmp-devel gf2x-devel" + short_desc+=" - development files" + pkg_install() { + vmove "usr/include" + vmove "usr/lib/*.a" + vmove "usr/lib/*.so" + vmove "usr/share" + } +} diff --git a/srcpkgs/ntl/update b/srcpkgs/ntl/update new file mode 100644 index 000000000000..8ccb86344234 --- /dev/null +++ b/srcpkgs/ntl/update @@ -0,0 +1 @@ +site="${homepage}/download.html" From cc613d072d50b6a03f256e8df1ea567cb9fe5dc1 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Gonzalo=20Tornar=C3=ADa?= Date: Fri, 2 Feb 2018 22:42:49 -0300 Subject: [PATCH 3/8] New package: flintlib-2.7.1 --- common/shlibs | 1 + srcpkgs/flintlib-devel | 1 + srcpkgs/flintlib/template | 30 ++++++++++++++++++++++++++++++ srcpkgs/flintlib/update | 2 ++ 4 files changed, 34 insertions(+) create mode 120000 srcpkgs/flintlib-devel create mode 100644 srcpkgs/flintlib/template create mode 100644 srcpkgs/flintlib/update diff --git a/common/shlibs b/common/shlibs index 137f67fe4383..b8a1f7d0a080 100644 --- a/common/shlibs +++ b/common/shlibs @@ -3976,6 +3976,7 @@ libtree-sitter.so.0 tree-sitter-0.19.0_1 libgtkdatabox.so.1 gtkdatabox3-1.0.0_1 libgf2x.so.3 gf2x-1.3.0_1 libntl.so.43 ntl-11.4.4_1 +libflint.so.15 flintlib-2.7.1_1 libwayland-client++.so.0 libwaylandpp-0.2.8_1 libwayland-cursor++.so.0 libwaylandpp-0.2.8_1 libwayland-egl++.so.0 libwaylandpp-0.2.8_1 diff --git a/srcpkgs/flintlib-devel b/srcpkgs/flintlib-devel new file mode 120000 index 000000000000..7c2633183069 --- /dev/null +++ b/srcpkgs/flintlib-devel @@ -0,0 +1 @@ +flintlib \ No newline at end of file diff --git a/srcpkgs/flintlib/template b/srcpkgs/flintlib/template new file mode 100644 index 000000000000..149cb66f3187 --- /dev/null +++ b/srcpkgs/flintlib/template @@ -0,0 +1,30 @@ +# Template file for 'flintlib' +pkgname=flintlib +version=2.7.1 +revision=1 +wrksrc="flint-${version}" +build_style="configure" +configure_args="--prefix=/usr --with-gmp=/usr --with-mpfr=/usr --with-ntl=/usr" +makedepends="mpfr-devel ntl-devel" +short_desc="Fast Library for Number Theory" +maintainer="Gonzalo Tornaría " +license="LGPL-2.1-or-later" +homepage="https://flintlib.org" +distfiles="https://flintlib.org/flint-${version}.tar.gz" +checksum=186e2fd9ab67df8a05b122fb018269b382e4babcdb17353c4be1fe364dca481e +nocross=yes + +if [ "$XBPS_TARGET_LIBC" = "musl" ]; then + CFLAGS="-D_GNU_SOURCE" +fi + +flintlib-devel_package() { + depends="flintlib-${version}_${revision}" + depends+=" mpfr-devel" + short_desc+=" - development files" + pkg_install() { + vmove "usr/include" + vmove "usr/lib/*.a" + vmove "usr/lib/*.so" + } +} diff --git a/srcpkgs/flintlib/update b/srcpkgs/flintlib/update new file mode 100644 index 000000000000..8eee53cf22f2 --- /dev/null +++ b/srcpkgs/flintlib/update @@ -0,0 +1,2 @@ +pkgname=flint +site="${homepage}/downloads.html" From 9b51d70e928dcda490847e50f8f1fe702737c71c Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Gonzalo=20Tornar=C3=ADa?= Date: Sun, 4 Feb 2018 01:00:19 -0300 Subject: [PATCH 4/8] New package: arb-2.19.0 --- common/shlibs | 1 + srcpkgs/arb-devel | 1 + srcpkgs/arb/template | 29 +++++++++++++++++++++++++++++ 3 files changed, 31 insertions(+) create mode 120000 srcpkgs/arb-devel create mode 100644 srcpkgs/arb/template diff --git a/common/shlibs b/common/shlibs index b8a1f7d0a080..d4a2cee990e9 100644 --- a/common/shlibs +++ b/common/shlibs @@ -3977,6 +3977,7 @@ libgtkdatabox.so.1 gtkdatabox3-1.0.0_1 libgf2x.so.3 gf2x-1.3.0_1 libntl.so.43 ntl-11.4.4_1 libflint.so.15 flintlib-2.7.1_1 +libarb.so.2 arb-2.19.0_1 libwayland-client++.so.0 libwaylandpp-0.2.8_1 libwayland-cursor++.so.0 libwaylandpp-0.2.8_1 libwayland-egl++.so.0 libwaylandpp-0.2.8_1 diff --git a/srcpkgs/arb-devel b/srcpkgs/arb-devel new file mode 120000 index 000000000000..456b9f00a86c --- /dev/null +++ b/srcpkgs/arb-devel @@ -0,0 +1 @@ +arb \ No newline at end of file diff --git a/srcpkgs/arb/template b/srcpkgs/arb/template new file mode 100644 index 000000000000..7c7df0aace15 --- /dev/null +++ b/srcpkgs/arb/template @@ -0,0 +1,29 @@ +# Template file for 'arb' +pkgname=arb +version=2.19.0 +revision=1 +build_style="configure" +configure_args="--prefix=/usr --with-gmp=/usr --with-mpfr=/usr --with-flint=/usr" +makedepends="flintlib-devel" +short_desc="C library for arbitrary-precision interval arithmetic" +maintainer="Gonzalo Tornaría " +license="LGPL-2.1-or-later" +homepage="https://arblib.org" +distfiles="https://github.com/fredrik-johansson/arb/archive/${version}.tar.gz" +checksum=0aec6b492b6e9a543bdb3287a91f976951e2ba74fd4de942e692e21f7edbcf13 +nocross=yes + +if [ "$XBPS_TARGET_LIBC" = "musl" ]; then + CFLAGS="-D_GNU_SOURCE" +fi + +arb-devel_package() { + depends="arb-${version}_${revision}" + depends+=" flintlib-devel" + short_desc+=" - development files" + pkg_install() { + vmove "usr/include" + vmove "usr/lib/*.a" + vmove "usr/lib/*.so" + } +} From 09028147864963ac59cb851cbac9bc22b18d8d97 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Gonzalo=20Tornar=C3=ADa?= Date: Mon, 1 Jun 2020 14:50:01 -0300 Subject: [PATCH 5/8] New package: eclib-20210318 --- common/shlibs | 1 + srcpkgs/eclib-devel | 1 + srcpkgs/eclib/patches/set_precision.patch | 34 +++++++++++++++++++++++ srcpkgs/eclib/template | 30 ++++++++++++++++++++ 4 files changed, 66 insertions(+) create mode 120000 srcpkgs/eclib-devel create mode 100644 srcpkgs/eclib/patches/set_precision.patch create mode 100644 srcpkgs/eclib/template diff --git a/common/shlibs b/common/shlibs index d4a2cee990e9..a7c384e15f0c 100644 --- a/common/shlibs +++ b/common/shlibs @@ -3978,6 +3978,7 @@ libgf2x.so.3 gf2x-1.3.0_1 libntl.so.43 ntl-11.4.4_1 libflint.so.15 flintlib-2.7.1_1 libarb.so.2 arb-2.19.0_1 +libec.so.7 eclib-20210318_1 libwayland-client++.so.0 libwaylandpp-0.2.8_1 libwayland-cursor++.so.0 libwaylandpp-0.2.8_1 libwayland-egl++.so.0 libwaylandpp-0.2.8_1 diff --git a/srcpkgs/eclib-devel b/srcpkgs/eclib-devel new file mode 120000 index 000000000000..d29e610e9249 --- /dev/null +++ b/srcpkgs/eclib-devel @@ -0,0 +1 @@ +eclib \ No newline at end of file diff --git a/srcpkgs/eclib/patches/set_precision.patch b/srcpkgs/eclib/patches/set_precision.patch new file mode 100644 index 000000000000..d1b6072ff399 --- /dev/null +++ b/srcpkgs/eclib/patches/set_precision.patch @@ -0,0 +1,34 @@ +This changes 0.3 by 0.3L, otherwise tests fail in i686 due to different rounding. + +See: https://github.com/JohnCremona/eclib/issues/68 + +--- libsrc/eclib/interface.h 2021-03-18 12:22:52.000000000 -0300 ++++ libsrc/eclib/interface.h 2021-04-05 15:15:52.355310137 -0300 +@@ -240,7 +240,7 @@ + + // Set internal precision to n bits and output precision to (0.3*n)-1 decimal places + inline void set_precision(long n) +-{RR::SetPrecision(n); RR::SetOutputPrecision(long(0.3*n)-1);} ++{RR::SetPrecision(n); RR::SetOutputPrecision(long(0.3L*n)-1);} + + // Mostly for backward compatibility (used in saturate.cc) or for + // temporarily changing internal precision when no output is relevant: +@@ -252,7 +252,7 @@ + {long n; cerr<>n; set_precision(n);} + + // read current precision converted to decimal (approximately) +-inline long decimal_precision() {return long(RR::precision()*0.3);} ++inline long decimal_precision() {return long(RR::precision()*0.3L);} + + // read current bit precision + inline long bit_precision() {return RR::precision();} +@@ -289,7 +289,7 @@ + inline int is_approx_zero(double x) {return fabs(x)<1e-10;} + + // We cannot set internal bit precision in this mode, so we just set the output decimal precision +-inline void set_precision(long n) {cout.precision(min(15,long(0.3*n)));} ++inline void set_precision(long n) {cout.precision(min(15,long(0.3L*n)));} + inline void set_precision(const string prompt) {cout.precision(15);} + #define Pi() 3.1415926535897932384626433832795028841 + #define Euler() (0.57721566490153286060651209008240243104) + diff --git a/srcpkgs/eclib/template b/srcpkgs/eclib/template new file mode 100644 index 000000000000..e545d06eb5e4 --- /dev/null +++ b/srcpkgs/eclib/template @@ -0,0 +1,30 @@ +# Template file for 'eclib' +pkgname=eclib +version=20210318 +revision=1 +build_style=gnu-configure +configure_args="--with-flint --with-boost" +hostmakedepends="automake autoconf-archive libtool" +makedepends="pari-devel ntl-devel flintlib-devel boost-devel" +short_desc="Elliptic curve library, includes mwrank" +maintainer="Gonzalo Tornaría " +license="GPL-2.0-or-later" +homepage="https://github.com/JohnCremona/eclib" +distfiles="https://github.com/JohnCremona/eclib/archive/refs/tags/${version}.tar.gz" +checksum=8ca611e818cc3acdd54c800be66f66219a52603516bff048d350dd1e95605484 + +pre_configure() { + ./autogen.sh +} + +eclib-devel_package() { + depends="eclib-${version}_${revision}" + depends+=" ntl-devel" + short_desc+=" - development files" + pkg_install() { + vmove "usr/include" + vmove "usr/lib/*.a" + vmove "usr/lib/*.so" + vmove "usr/lib/pkgconfig" + } +} From 0b860be4ab5af9518c683a67f1ae2dd86925c193 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Gonzalo=20Tornar=C3=ADa?= Date: Thu, 8 Apr 2021 22:58:13 -0300 Subject: [PATCH 6/8] eclib: update to 20210408. --- srcpkgs/eclib/patches/set_precision.patch | 34 ----------------------- srcpkgs/eclib/template | 4 +-- 2 files changed, 2 insertions(+), 36 deletions(-) delete mode 100644 srcpkgs/eclib/patches/set_precision.patch diff --git a/srcpkgs/eclib/patches/set_precision.patch b/srcpkgs/eclib/patches/set_precision.patch deleted file mode 100644 index d1b6072ff399..000000000000 --- a/srcpkgs/eclib/patches/set_precision.patch +++ /dev/null @@ -1,34 +0,0 @@ -This changes 0.3 by 0.3L, otherwise tests fail in i686 due to different rounding. - -See: https://github.com/JohnCremona/eclib/issues/68 - ---- libsrc/eclib/interface.h 2021-03-18 12:22:52.000000000 -0300 -+++ libsrc/eclib/interface.h 2021-04-05 15:15:52.355310137 -0300 -@@ -240,7 +240,7 @@ - - // Set internal precision to n bits and output precision to (0.3*n)-1 decimal places - inline void set_precision(long n) --{RR::SetPrecision(n); RR::SetOutputPrecision(long(0.3*n)-1);} -+{RR::SetPrecision(n); RR::SetOutputPrecision(long(0.3L*n)-1);} - - // Mostly for backward compatibility (used in saturate.cc) or for - // temporarily changing internal precision when no output is relevant: -@@ -252,7 +252,7 @@ - {long n; cerr<>n; set_precision(n);} - - // read current precision converted to decimal (approximately) --inline long decimal_precision() {return long(RR::precision()*0.3);} -+inline long decimal_precision() {return long(RR::precision()*0.3L);} - - // read current bit precision - inline long bit_precision() {return RR::precision();} -@@ -289,7 +289,7 @@ - inline int is_approx_zero(double x) {return fabs(x)<1e-10;} - - // We cannot set internal bit precision in this mode, so we just set the output decimal precision --inline void set_precision(long n) {cout.precision(min(15,long(0.3*n)));} -+inline void set_precision(long n) {cout.precision(min(15,long(0.3L*n)));} - inline void set_precision(const string prompt) {cout.precision(15);} - #define Pi() 3.1415926535897932384626433832795028841 - #define Euler() (0.57721566490153286060651209008240243104) - diff --git a/srcpkgs/eclib/template b/srcpkgs/eclib/template index e545d06eb5e4..542ae4aae14f 100644 --- a/srcpkgs/eclib/template +++ b/srcpkgs/eclib/template @@ -1,6 +1,6 @@ # Template file for 'eclib' pkgname=eclib -version=20210318 +version=20210408 revision=1 build_style=gnu-configure configure_args="--with-flint --with-boost" @@ -11,7 +11,7 @@ maintainer="Gonzalo Tornaría " license="GPL-2.0-or-later" homepage="https://github.com/JohnCremona/eclib" distfiles="https://github.com/JohnCremona/eclib/archive/refs/tags/${version}.tar.gz" -checksum=8ca611e818cc3acdd54c800be66f66219a52603516bff048d350dd1e95605484 +checksum=5354ea8edfedff7f10adeb8c5f8f3705dbeccb56e2840ab1eb2b3fad981c0e22 pre_configure() { ./autogen.sh From d039ed104203f1c88d2af7075f645d5c18f3ae1d Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Gonzalo=20Tornar=C3=ADa?= Date: Thu, 13 May 2021 15:24:21 -0300 Subject: [PATCH 7/8] eclib: update to 20210503. --- srcpkgs/eclib/template | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/srcpkgs/eclib/template b/srcpkgs/eclib/template index 542ae4aae14f..bf98c22c8531 100644 --- a/srcpkgs/eclib/template +++ b/srcpkgs/eclib/template @@ -1,6 +1,6 @@ # Template file for 'eclib' pkgname=eclib -version=20210408 +version=20210503 revision=1 build_style=gnu-configure configure_args="--with-flint --with-boost" @@ -11,7 +11,7 @@ maintainer="Gonzalo Tornaría " license="GPL-2.0-or-later" homepage="https://github.com/JohnCremona/eclib" distfiles="https://github.com/JohnCremona/eclib/archive/refs/tags/${version}.tar.gz" -checksum=5354ea8edfedff7f10adeb8c5f8f3705dbeccb56e2840ab1eb2b3fad981c0e22 +checksum=b742e322f5aeffef7256c05a9b9f744a8f34cb52777c62764cce07a49b1d32fa pre_configure() { ./autogen.sh From 1d0de43f0a5cb01577362e8272d7780e910f2575 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Gonzalo=20Tornar=C3=ADa?= Date: Fri, 6 Aug 2021 16:32:24 -0300 Subject: [PATCH 8/8] Update srcpkgs/arb/template MIME-Version: 1.0 Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: 8bit Co-authored-by: Érico Nogueira Rolim <34201958+ericonr@users.noreply.github.com> --- srcpkgs/arb/template | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/srcpkgs/arb/template b/srcpkgs/arb/template index 7c7df0aace15..8dc6da4a9488 100644 --- a/srcpkgs/arb/template +++ b/srcpkgs/arb/template @@ -2,7 +2,7 @@ pkgname=arb version=2.19.0 revision=1 -build_style="configure" +build_style=configure configure_args="--prefix=/usr --with-gmp=/usr --with-mpfr=/usr --with-flint=/usr" makedepends="flintlib-devel" short_desc="C library for arbitrary-precision interval arithmetic"