[sage-devel] Re: compiling error for 8.8.beta6 on Red Hat 6.10

[Christian Stump]

(only realizing now that the "attaching the logs" failed yesterday...)

-- 
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 post to this group, send email to sage-devel@googlegroups.com.
Visit this group at https://groups.google.com/group/sage-devel.
To view this discussion on the web visit 
https://groups.google.com/d/msgid/sage-devel/bdc55a6a-7077-481e-add5-e0fb53195b8f%40googlegroups.com.
For more options, visit https://groups.google.com/d/optout.
Found local metadata for ppl-1.2.p1
Using cached file /tmp/stumpcl2/sage/upstream/ppl-1.2.tar.bz2
ppl-1.2.p1

Setting up build directory for ppl-1.2.p1
Finished extraction
Applying patches from ../patches...
Applying ../patches/clang5-support.patch
patching file src/Determinate_inlines.hh
patching file src/OR_Matrix_inlines.hh
Applying ../patches/cygwin-weak-symbols.patch
patching file src/assertions.hh

Host system:
Linux dlp762 2.6.32-754.10.1.el6.x86_64 #1 SMP Thu Nov 29 15:44:01 EST 2018 
x86_64 x86_64 x86_64 GNU/Linux

C compiler: gcc
C compiler version:
Using built-in specs.
COLLECT_GCC=gcc
COLLECT_LTO_WRAPPER=/net/dlp762/share/application-software/Gcc/bin/../libexec/gcc/x86_64-pc-linux-gnu/7.3.0/lto-wrapper
Target: x86_64-pc-linux-gnu
Configured with: ../gcc-7.3.0/configure --disable-multilib 
--exec-prefix=/usr/local/Gcc --prefix=/usr/local/Gcc
Thread model: posix
gcc version 7.3.0 (GCC) 

Package 'ppl' is currently not installed
No legacy uninstaller found for 'ppl'; nothing to do
Configuring ppl-1.2.p1
checking build system type... x86_64-pc-linux-gnu
checking host system type... x86_64-pc-linux-gnu
checking for a BSD-compatible install... /usr/bin/install -c
checking whether build environment is sane... yes
checking for a thread-safe mkdir -p... /bin/mkdir -p
checking for gawk... gawk
checking whether make sets $(MAKE)... yes
checking whether make supports nested variables... yes
checking whether UID '131670' is supported by ustar format... yes
checking whether GID '15301' is supported by ustar format... yes
checking how to create a ustar tar archive... gnutar
checking for gcc... gcc
checking whether the C compiler works... yes
checking for C compiler default output file name... a.out
checking for suffix of executables... 
checking whether we are cross compiling... no
checking for suffix of object files... o
checking whether we are using the GNU C compiler... yes
checking whether gcc accepts -g... yes
checking for gcc option to accept ISO C89... none needed
checking whether gcc understands -c and -o together... yes
checking for style of include used by make... GNU
checking dependency style of gcc... gcc3
checking whether we are actually using the Intel C compiler... no
checking whether we are actually using clang... no
checking whether we are actually using llvm-gcc... no
checking whether we are using the GNU C++ compiler... yes
checking whether g++ -std=gnu++11 accepts -g... yes
checking dependency style of g++ -std=gnu++11... gcc3
checking whether we are actually using the Intel C++ compiler... no
checking whether we are actually using clang++... no
checking whether we are actually using llvm-g++... no
checking for grep that handles long lines and -e... /bin/grep
checking for fgrep... /bin/grep -F
checking for egrep... /bin/grep -E
checking for a sed that does not truncate output... /bin/sed
checking how to run the C++ preprocessor... g++ -std=gnu++11 -E
checking whether make sets $(MAKE)... (cached) yes
checking whether to compile with debug info... yes
checking whether to compile for profiling... no
checking whether to compile for test coverage... no
checking whether to enable checking of run-time assertions... no
checking whether to enable even more run-time assertions... no
checking whether to enable optimizations... standard
checking for which architecture to optimize... default
checking whether to use (a specific) floating point arithmetic... no
checking whether to use precompiled headers... no
checking the type of integral values to use as coefficients... GMP mpz
checking for an ANSI C-conforming const... yes
checking for inline... inline
checking how to run the C preprocessor... gcc -E
checking for ANSI C header files... yes
checking for sys/types.h... yes
checking for sys/stat.h... yes
checking for stdlib.h... yes
checking for string.h... yes
checking for memory.h... yes
checking for strings.h... yes
checking for inttypes.h... yes
checking for stdint.h... yes
checking for unistd.h... yes
checking whether byte ordering is bigendian... no
checking for typeof syntax and keyword spelling... typeof
checking size of char... 1
checking size of short... 2
checking size o

[sage-devel] Re: python3 report (may of the last python2 year)

[David Coudert]

> * There are some remaining hard problems in graphs, under current scrutiny 
> I think.
>

The main remaining issues in the graph module are related to isomorphisms, 
automorphisms, and related methods.

1) #27571: align behaviors of algorithm 'sage' and 'bliss' in 
`automorphism_group` and fix a doctest in 
MathonPseudocyclicStronglyRegularGraph generator.

When finalized, we will have to fix bugs with `automorphism_group`, 
`PermutationGroupElement`, and possibly other methods.

2) fix `is_isomorphic` for graphs with edge labels. 
A first attempt is done in #27232 , 
but this proposal is certainly not satisfactory. One issue is that we can 
sort lists of unhashable objects (of different types).

3) #27435 deal with a failing doctest in graph_database.py with 
interactive_query 

Help is more than welcome !!

David.

-- 
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 post to this group, send email to sage-devel@googlegroups.com.
Visit this group at https://groups.google.com/group/sage-devel.
To view this discussion on the web visit 
https://groups.google.com/d/msgid/sage-devel/bc3d1af3-91f5-4bdb-88dc-2ad28a28b354%40googlegroups.com.
For more options, visit https://groups.google.com/d/optout.

[sage-devel] compiling error for 8.8.beta6 on Red Hat 6.10

[Christian Stump]

I am getting errors building

* package: gfan-0.6.2.p1
* package: ppl-1.2.p1

please see the attached logs.

For ppl

configure: error: Cannot find GMP version 4.1.3 or higher.

and for gfan

./gfan: /usr/lib64/libstdc++.so.6: version `GLIBCXX_3.4.20' not found 
(required by ./gfan)
./gfan: /usr/lib64/libstdc++.so.6: version `CXXABI_1.3.8' not found 
(required by ./gfan)
./gfan: /usr/lib64/libstdc++.so.6: version `GLIBCXX_3.4.21' not found 
(required by ./gfan)
./gfan: /usr/lib64/libstdc++.so.6: version `GLIBCXX_3.4.22' not found 
(required by ./gfan)
./gfan: /usr/lib64/libstdc++.so.6: version `GLIBCXX_3.4.15' not found 
(required by ./gfan)

Help appreciated!

I do not have admin rights on that machine but the admin says that all 
prerequisites in

http://doc.sagemath.org/html/en/installation/source.html#prerequisites

are fulfilled.

The solution in 
https://groups.google.com/forum/#!msg/sage-devel/fNO6bi54gpI/SOOE7vF3BAAJ 
using

SAGE_FAT_BINARY=yes ./sage -f mpir

didn't seem to work...

Thanks,
Christian

-- 
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 post to this group, send email to sage-devel@googlegroups.com.
Visit this group at https://groups.google.com/group/sage-devel.
To view this discussion on the web visit 
https://groups.google.com/d/msgid/sage-devel/956348f5-47a6-4442-9f79-9aabe512a9d4%40googlegroups.com.
For more options, visit https://groups.google.com/d/optout.