Thanks, I figured out almost all my issues.
Except, only mention of giac in config.log is
giac-1.5.0.87: does not support check for system package
Shouldn't it be able to check it by now?
I attach a patch for R and isl15-devel.
On 8/18/20 3:25 PM, Matthias Koeppe wrote:
config.log has more information on why packages are rejected
On Tuesday, August 18, 2020 at 1:37:09 AM UTC-7, Nicolo' wrote:
After importing
u/mkoeppe/spkg_configure_m4_for_giac
u/mkoeppe/more_voidlinux_txt
and d43730c (should this appear in beta9?),
I still get
the following SPKGs did not find equivalent system packages: arb brial
cddlib cliquer coxeter3 eclib fflas_ffpack flint flintqs fplll gf2x
gfan
givaro gp2c iml isl lcalc libbraiding libgd libsemigroups lrcalc m4ri
m4rie mpfi nauty ntl palp pari pari_elldata pari_galdata pari_galpol
pari_nftables pari_seadata pari_seadata_small perl_cpan_polymake_prereq
planarity python3 r rw suitesparse symmetrica sympow tachyon zn_poly
checking for the package system in use... void
configure: hint: installing the following system packages is
recommended
and may avoid building some of the above SPKGs from source:
configure: $ sudo xbps-install flint imlib2-devel isl16-devel pari
pari-devel python3 python3-devel rw
But these are already installed (notice there's no isl16-devel, maybe
isl15-devel?). In particular,
pari-2.11.4.p0: no suitable system
package;
will be installed as an SPKG
giac-1.5.0.87: does not support check for
system package; will be installed as an SPKG
python3-3.7.3.p1: no suitable system
package;
will be installed as an SPKG
Shouldn't all these be detected by now?
On 8/17/20 7:55 PM, Matthias Koeppe wrote:
>
> Yes, https://trac.sagemath.org/ticket/29541
<https://trac.sagemath.org/ticket/29541> is worth trying and needs
review
>
--
You received this message because you are subscribed to a topic in the
Google Groups "sage-devel" group.
To unsubscribe from this topic, visit
https://groups.google.com/d/topic/sage-devel/kiEh8JgbWeQ/unsubscribe.
To unsubscribe from this group and all its topics, send an email to
sage-devel+unsubscr...@googlegroups.com
<mailto:sage-devel+unsubscr...@googlegroups.com>.
To view this discussion on the web visit
https://groups.google.com/d/msgid/sage-devel/3ee29877-7a7f-46a3-8536-a73aae44773ao%40googlegroups.com
<https://groups.google.com/d/msgid/sage-devel/3ee29877-7a7f-46a3-8536-a73aae44773ao%40googlegroups.com?utm_medium=email&utm_source=footer>.
--
You received this message because you are subscribed to the Google Groups
"sage-devel" group.
To unsubscribe from this group and stop receiving emails from it, send an email
to sage-devel+unsubscr...@googlegroups.com.
To view this discussion on the web visit
https://groups.google.com/d/msgid/sage-devel/f5098ce2-574f-2144-0401-05e37e0eb37d%40gmail.com.
>From 9a4ca026b2a145bc8dd29fe761925b9f17ba6f72 Mon Sep 17 00:00:00 2001
From: Nicolo' Piazzalunga <nicolopiazzalu...@gmail.com>
Date: Tue, 18 Aug 2020 16:38:29 +0200
Subject: [PATCH] added r and edited isl
---
build/pkgs/isl/distros/void.txt | 2 +-
build/pkgs/r/distros/void.txt | 1 +
2 files changed, 2 insertions(+), 1 deletion(-)
create mode 100644 build/pkgs/r/distros/void.txt
diff --git a/build/pkgs/isl/distros/void.txt b/build/pkgs/isl/distros/void.txt
index 1fbb535066..97c6659d35 100644
--- a/build/pkgs/isl/distros/void.txt
+++ b/build/pkgs/isl/distros/void.txt
@@ -1 +1 @@
-isl16-devel
+isl15-devel
diff --git a/build/pkgs/r/distros/void.txt b/build/pkgs/r/distros/void.txt
new file mode 100644
index 0000000000..4286f428e3
--- /dev/null
+++ b/build/pkgs/r/distros/void.txt
@@ -0,0 +1 @@
+r
--
2.28.0
