It's probably easier just to add AC_CHECK_LIB(cliquer,main) Le vendredi 6 novembre 2020 à 11:18:13 UTC+1, dim...@gmail.com a écrit :
> On Thu, Nov 5, 2020 at 8:59 PM Dima Pasechnik <dim...@gmail.com> wrote: > > > > > > > > On Thu, 5 Nov 2020, 19:23 parisse, <bernard...@ujf-grenoble.fr> wrote: > >> > >> When compiling giac with nauty, I install nauty by hand and statically > linked, nothing more than libnauty.a is required. > >> In configure.ac, the check is done by > >> AC_CHECK_LIB(nauty,main) > >> AC_CHECK_HEADERS(nauty/naututil.h) > >> I can of course add another check if it's required to compile with > nauty, just let me know. > > > > > > With latest nauty providing a dynamic library, giac ought to use such a > library by default. At least this is what would be expected of giac by > various distributions, I think. > > > > What complicates things here is that apparently in some cases this > dynamic library is using another dynamic library, lubcliquer, and so it has > to be taken care of. (I might be overcomplicating things here) > > I've checked that giac (still the latest giac 1.5) in Sage builds fine > on Ubuntu 20.10, and dynamically links libnauty and libcliquer. > So this is all fine. For some reason giac in Ubuntu 20.10 does not do > this, probably Ubuntu/Debian-specific issue. > > An improvement, qua robustness, I could suggest, is to use > PKG_CHECK_MODULES in configure.ac > to check (lib)nauty (the package name in pkg-config is nauty), so one > would do > > PKG_CHECK_MODULES([NAUTY], [nauty >= 2.6], [<stuff to do if found.], > [<stuff to do otherwise]) > > (this version check is pretty innocent, more as an illustration) > > Dima > > > > > > > > > > > >> > >> Le jeudi 5 novembre 2020 à 14:20:33 UTC+1, brucew...@gmail.com a écrit > : > >>> > >>> Thx > >>> > >>> On Thu, 5 Nov 2020 at 10:32, Dima Pasechnik <dim...@gmail.com> wrote: > >>>> > >>>> On Thu, Nov 5, 2020 at 10:08 AM brucew...@gmail.com > >>>> <brucew...@gmail.com> wrote: > >>>> > > >>>> > This is off-topic but I don't know the right place to ask this > question about using git. > >>>> > > >>>> > I now have a detached HEAD at 9.3.beta0 > >>>> > > >>>> > I tried "git checkout master" and got some hints and then > >>>> > fatal: 'master' matched multiple (2) remote tracking branches > >>>> > > >>>> > How do I get my develop branch back? > >>>> > >>>> git branch > >>>> > >>>> lists all the local branches you have > >>>> > >>>> Then > >>>> > >>>> git checkout foo # or whatever > >>>> > >>>> will put you back to your (local) branch foo > >>>> > >>>> You probably want to merge 9.3.beta0 into your "develop" branch. > >>>> > >>>> Do > >>>> > >>>> git checkout develop > >>>> git fetch trac develop # assuming "trac" is the name of git trac > remote > >>>> git merge trac/develop > >>>> > >>>> (the latter two commands can be combined into "git pull trac develop") > >>>> > >>>> HTH > >>>> Dima > >>>> > >>>> > >>>> > On Wednesday, 4 November 2020 at 23:10:23 UTC brucew...@gmail.com > wrote: > >>>> >> > >>>> >> I removed libnauty (which was actually libnauty2) did "make > libnauty" then "make giac" and finally "make build". > >>>> >> It seems to have worked. That you all for your help and patience. > >>>> >> > >>>> >> On Wednesday, 4 November 2020 at 23:07:09 UTC dim...@gmail.com > wrote: > >>>> >>> > >>>> >>> On Wed, Nov 4, 2020 at 10:00 PM Dima Pasechnik <dim...@gmail.com> > wrote: > >>>> >>> > > >>>> >>> > On Wed, Nov 4, 2020 at 9:46 PM Matthias Koeppe < > matthia...@gmail.com> wrote: > >>>> >>> > > > >>>> >>> > > On Wednesday, November 4, 2020 at 11:29:17 AM UTC-8, > brucew...@gmail.com wrote: > >>>> >>> > >> > >>>> >>> > >> "make giac" failed. I don't know why. > >>>> >>> > >>> > >>>> >>> > >>> > >>>> >>> > > > >>>> >>> > > From the log: > >>>> >>> > > > >>>> >>> > > /usr/bin/bash ../libtool --tag=CXX --mode=link g++ > -std=gnu++11 -g -O2 -fno-strict-aliasing -DGIAC_GENERIC_CONSTANTS > -no-undefined -Wl,-rpath-link,/home/bruce/sage-8.9.beta1/local/lib > -L/home/bruce/sage-8.9.beta1/local/lib > -Wl,-rpath,/home/bruce/sage-8.9.beta1/local/lib -o icas icas.o libxcas.la > -lreadline -lncurses -lcurl -lglpk -ldl -lm -lecm -lmpfi -lmpfr -lgmp > -L/home/bruce/sage-8.9.beta1/local/lib -lgsl -lm -lopenblas -lm > -L/home/bruce/sage-8.9.beta1/local/lib -lopenblas -lrt -lpthread -lnauty > -lcurl -lglpk -ldl -lm -lecm -lmpfi -lmpfr -lgmp > >>>> >>> > > libtool: link: g++ -std=gnu++11 -g -O2 -fno-strict-aliasing > -DGIAC_GENERIC_CONSTANTS -Wl,-rpath-link > -Wl,/home/bruce/sage-8.9.beta1/local/lib -Wl,-rpath > -Wl,/home/bruce/sage-8.9.beta1/local/lib -o .libs/icas icas.o > -L/home/bruce/sage-8.9.beta1/local/lib ./.libs/libxcas.a > /home/bruce/sage-8.9.beta1/local/var/tmp/sage/build/giac-1.5.0.87p2.p1/src/src/.libs/libgiac.so > > -lntl -lpari -lreadline -lncurses -lgsl -lopenblas -lrt -lpthread -lnauty > /usr/lib/x86_64-linux-gnu/libcurl.so -lglpk -ldl -lm -lecm -lmpfi -lmpfr > -lgmp -pthread -Wl,-rpath -Wl,/home/bruce/sage-8.9.beta1/local/lib > >>>> >>> > > /usr/bin/ld: > /usr/lib/gcc/x86_64-linux-gnu/10/../../../x86_64-linux-gnu/libnauty.so: > undefined reference to `graph_free@CLIQUER_1' > >>>> >>> > > /usr/bin/ld: > /usr/lib/gcc/x86_64-linux-gnu/10/../../../x86_64-linux-gnu/libnauty.so: > undefined reference to `clique_unweighted_find_single@CLIQUER_1' > >>>> >>> > > /usr/bin/ld: > /usr/lib/gcc/x86_64-linux-gnu/10/../../../x86_64-linux-gnu/libnauty.so: > undefined reference to `graph_new@CLIQUER_1' > >>>> >>> > > collect2: error: ld returned 1 exit status > >>>> >>> > > > >>>> >>> > > > >>>> >>> > > Looks like the system libnauty is broken. What system is > this? Try removing the libnauty system package > >>>> >>> > > >>>> >>> > it is "mostly" Ubuntu 20.10, so > >>>> >>> > > https://ubuntu.pkgs.org/20.10/ubuntu-universe-arm64/libnauty2_2.7r1+ds-1_arm64.deb.html > >>>> >>> > - with an interesting dependency, libcliquer > >>>> >>> > Note that in Sage's configuration there is no such dependency, > and > >>>> >>> > this might be the problem here, I guess > >>>> >>> > >>>> >>> yes, that's how it looks like from the config.log posted here. I > >>>> >>> suspect that it is a bug in giac, and > >>>> >>> one has to link with libcliquer here too (is libnauty > underlinked?) > >>>> >>> > >>>> >>> > > >>>> >>> > > >>>> >>> > > > >>>> >>> > > -- > >>>> >>> > > 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+...@googlegroups.com. > >>>> >>> > > To view this discussion on the web visit > https://groups.google.com/d/msgid/sage-devel/2479bef3-22ef-48ec-a96b-7abdbdb53b37o%40googlegroups.com > . > >>>> > > >>>> > -- > >>>> > 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+...@googlegroups.com. > >>>> > To view this discussion on the web visit > https://groups.google.com/d/msgid/sage-devel/46c65437-1729-48b3-9b4b-5305e7bfd20en%40googlegroups.com > . > >>>> > >>>> -- > >>>> > >>>> 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/gzFzWUdxWwQ/unsubscribe. > >>>> To unsubscribe from this group and all its topics, send an email to > sage-devel+...@googlegroups.com. > >>>> To view this discussion on the web visit > https://groups.google.com/d/msgid/sage-devel/CAAWYfq1OtUNtVv25DZEOMy5FH5RutPxkYg_FNypFdXxMVM3Bcg%40mail.gmail.com > . > >> > >> -- > >> 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+...@googlegroups.com. > >> To view this discussion on the web visit > https://groups.google.com/d/msgid/sage-devel/3d713879-229b-4e9e-bf47-f6daaaab53f0n%40googlegroups.com > . > -- 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/08d15768-e3e9-4b0c-b067-c9f313d0a005n%40googlegroups.com.