From c207cf42597a634fa98c2f8d2e10bbea9937ed5b Mon Sep 17 00:00:00 2001 From: dkwo Date: Fri, 3 Sep 2021 17:57:26 +0200 Subject: [PATCH 1/2] New package: cddlib --- common/shlibs | 2 ++ srcpkgs/cddlib/template | 12 ++++++++++++ 2 files changed, 14 insertions(+) create mode 100644 srcpkgs/cddlib/template diff --git a/common/shlibs b/common/shlibs index 87c27c459aad..00e40260fc2c 100644 --- a/common/shlibs +++ b/common/shlibs @@ -55,6 +55,8 @@ libcc1.so.0 gcc-6.2.1_1 libcc1plugin.so.0 gcc-6.2.1_1 libitm.so.1 libitm-4.7.3_1 liblto_plugin.so.0 gcc-4.7.3_1 +libcddgmp.so.0 cddlib-0.94m_1 +libcdd.so.0 cddlib-0.94m_1 libgcc_s.so.1 libgcc-4.4.0_1 libgo.so.16 libgo-10.2.0_1 libperl.so.5.34 perl-5.34.0_1 diff --git a/srcpkgs/cddlib/template b/srcpkgs/cddlib/template new file mode 100644 index 000000000000..37759cf0361c --- /dev/null +++ b/srcpkgs/cddlib/template @@ -0,0 +1,12 @@ +# Template file for 'cddlib' +pkgname=cddlib +version=0.94m +revision=1 +build_style=gnu-configure +hostmakedepends="gmp-devel" +short_desc="Efficient implementation of the Double Description Method" +maintainer="dkwo " +license="GPL-2.0-or-later" +homepage="https://github.com/cddlib/cddlib" +distfiles="https://github.com/cddlib/cddlib/releases/download/${version}/cddlib-${version}.tar.gz" +checksum=70dffdb3369b8704dc75428a1b3c42ab9047b81ce039f12f427e2eb2b1b0dee2 From 08d7a9900fb1a8d5c2995a167bee929546def11d Mon Sep 17 00:00:00 2001 From: dkwo Date: Fri, 3 Sep 2021 18:02:11 +0200 Subject: [PATCH 2/2] New package: singular --- common/shlibs | 5 +++++ srcpkgs/singular/template | 15 +++++++++++++++ 2 files changed, 20 insertions(+) create mode 100644 srcpkgs/singular/template diff --git a/common/shlibs b/common/shlibs index 00e40260fc2c..1aa0344fe4e9 100644 --- a/common/shlibs +++ b/common/shlibs @@ -65,6 +65,11 @@ libgmpxx.so.4 gmpxx-6.0.0_2 libmpfr.so.6 mpfr-4.0.0_1 libppl.so.14 ppl-1.2_1 libppl_c.so.4 ppl-0.11_1 +libSingular-4.2.1.so singular-4.2.1_1 +libpolys-4.2.1.so singular-4.2.1_1 +libfactory-4.2.1.so singular-4.2.1_1 +libomalloc-0.9.6.so singular-4.2.1_1 +libsingular_resources-4.2.1.so singular-4.2.1_1 libstdc++.so.6 libstdc++-4.4.0_1 libssp.so.0 libssp-4.4.0_1 libncurses.so.6 ncurses-libs-6.0_1 ignore diff --git a/srcpkgs/singular/template b/srcpkgs/singular/template new file mode 100644 index 000000000000..9cb32a1893fb --- /dev/null +++ b/srcpkgs/singular/template @@ -0,0 +1,15 @@ +# Template file for 'singular' +pkgname=singular +version=4.2.1 +revision=1 +build_style=gnu-configure +configure_args="--with-readline=ncurses --enable-bigintm-module --enable-Order-module + --enable-python-module --enable-gfanlib-module --enable-polymake-module" +hostmakedepends="perl tar" +makedepends="flintlib-devel ntl-devel cddlib readline-devel doxygen graphviz" +short_desc="Computer algebra system for polynomial computations" +maintainer="dkwo " +license="GPL-2.0-or-later" +homepage="https://www.singular.uni-kl.de" +distfiles="https://service.mathematik.uni-kl.de/ftp/pub/Math/Singular/src/${version//./-}/singular-${version}.tar.gz" +checksum=28a56df84f85b116e0068ffecf92fbe08fc27bd4c5ba902997f1a367db0bfe8d