semigroups / Semigroups

The GAP package Semigroups
https://semigroups.github.io/Semigroups/
Other
23 stars 36 forks source link

Help needed: appears to compile but not to load #761

Closed cdwensley closed 3 years ago

cdwensley commented 3 years ago

Apologies if this is not a suitable topic for the Issues. I've set up a new copy of GAPdev and am trying to get Semigroups running. After make clean and ./configure,

Christopher-Wensleys-iMac:semigroups-3.2.3 christopherwensley$ make
/Applications/Xcode.app/Contents/Developer/usr/bin/make  all-recursive
Making all in libsemigroups
  CXX      src/libsemigroups_la-blocks.lo
  CXX      src/libsemigroups_la-bmat8.lo
  CXX      src/libsemigroups_la-cong-intf.lo
  CXX      src/libsemigroups_la-cong-pair.lo
  CXX      src/libsemigroups_la-cong.lo
  CXX      src/libsemigroups_la-coset.lo
  CXX      src/libsemigroups_la-element.lo
  CXX      src/libsemigroups_la-fpsemi-intf.lo
  CXX      src/libsemigroups_la-fpsemi.lo
  CXX      src/libsemigroups_la-froidure-pin-base.lo
  CXX      src/libsemigroups_la-knuth-bendix.lo
  CXX      src/libsemigroups_la-order.lo
  CXX      src/libsemigroups_la-race.lo
  CXX      src/libsemigroups_la-report.lo
  CXX      src/libsemigroups_la-runner.lo
  CXX      src/libsemigroups_la-tce.lo
  CXX      src/libsemigroups_la-todd-coxeter.lo
  CXX      src/libsemigroups_la-uf.lo
  CXXLD    libsemigroups.la
  CXX      src/semigroups_la-pkg.lo
  CXX      src/semigroups_la-converter.lo
  CXX      src/semigroups_la-bipart.lo
  CXX      src/semigroups_la-uf.lo
  CXX      src/semigroups_la-fropin.lo
  CXX      src/semigroups_la-congpairs.lo
  CXX      src/semigroups_la-semigrp.lo
  CXXLD    semigroups.la
libtool: warning: library 'bin/lib/libsemigroups.la' was moved.
cnf/install-sh -c -d ./bin/x86_64-apple-darwin17.7.0-default64-kv8
cp .libs/semigroups.so /Applications/gap/gapdev/pkg/semigroups-3.2.3/bin/x86_64-apple-darwin17.7.0-default64-kv8/semigroups.so
SUCCESS!
Christopher-Wensleys-iMac:semigroups-3.2.3 christopherwensley$ pwd
/Applications/gap/gapdev/pkg/semigroups-3.2.3
'''

So far, so good.  Then, running GAPdev, 
```Christopher-Wensleys-iMac:semigroups-3.2.3 christopherwensley$ ../../../my-dev/dev.sh 
 ┌───────┐   GAP 4.8.8-7762-g9a929a4 built on 2021-02-17 20:55:05+0000
 │  GAP  │   https://www.gap-system.org
 └───────┘   Architecture: x86_64-apple-darwin17.7.0-default64-kv8
 Configuration:  gmp 6.2.1, GASMAN
 Loading the library and packages ...
 Packages:   AClib 1.3.2, Alnuth 3.1.2, AtlasRep 2.1.0, AutoDoc 2019.09.04, 
             AutPGrp 1.10.2, Browse 1.8.8, CaratInterface 2.3.3, CRISP 1.4.5, 
             Cryst 4.1.23, CrystCat 1.1.9, CTblLib 1.2.2, FactInt 1.6.3, 
             FGA 1.4.0, Forms 1.2.5, GAPDoc 1.6.3, genss 1.6.6, IO 4.7.0, 
             IRREDSOL 1.4, LAGUNA 3.9.3, orb 4.8.3, Polenta 1.3.9, 
             Polycyclic 2.15.1, PrimGrp 3.4.0, RadiRoot 2.8, recog 1.3.2, 
             ResClasses 4.7.2, SmallGrp 1.4.1, Sophus 1.24, SpinSym 1.5.2, 
             TomLib 1.2.9, TransGrp 2.0.5, utils 0.69
 Try '??help' for help. See also '?copyright', '?cite' and '?authors'
gap> LoadPackage("digraphs");
─────────────────────────────────────────────────────────────────────────────
Loading  GRAPE 4.8.3 (GRaph Algorithms using PErmutation groups)
by Leonard H. Soicher (http://www.maths.qmul.ac.uk/~lsoicher/).
Homepage: https://gap-packages.github.io/grape
Report issues at https://github.com/gap-packages/grape/issues
─────────────────────────────────────────────────────────────────────────────
─────────────────────────────────────────────────────────────────────────────
Loading  Digraphs 1.1.1 (Digraphs - Methods for digraphs)
by Jan De Beule (http://homepages.vub.ac.be/~jdbeule/),
   Julius Jonusas (http://julius.jonusas.work),
   James Mitchell (http://www-groups.mcs.st-andrews.ac.uk/~jamesm),
   Michael Torpey (https://mtorpey.github.io), and
   Wilf Wilson (http://wilf.me).
with contributions by:
   Stuart Burrell (sb235@st-andrews.ac.uk),
   Reinis Cirpons (rc234@st-andrews.ac.uk),
   Luke Elliott (le27@st-andrews.ac.uk),
   Max Horn (https://www.quendi.de/math),
   Christopher Jefferson (http://caj.host.cs.st-andrews.ac.uk),
   Markus Pfeiffer (https://www.morphism.de/~markusp),
   Christopher Russell (cr66@st-andrews.ac.uk),
   Finn Smith (fls3@st-andrews.ac.uk), and
   Murray Whyte (mw231@st-andrews.ac.uk).
maintained by:
   James Mitchell (http://www-groups.mcs.st-andrews.ac.uk/~jamesm) and
   Wilf Wilson (http://wilf.me).
Homepage: https://gap-packages.github.io/Digraphs
Report issues at https://github.com/gap-packages/Digraphs/issues
─────────────────────────────────────────────────────────────────────────────
true
gap> LoadPackage("semigroups");
#W dlopen() error: dlopen(/Applications/gap/gapdev/pkg/semigroups-3.2.3/bin/x8\
6_64-apple-darwin17.7.0-default64-kv8/semigroups.so, 5): Library not loaded: /\
Applications/gap/gap4r11/pkg/semigroups-3.2.3/libsemigroups/../bin/lib/libsemi\
groups.1.dylib
  Referenced from: /Applications/gap/gapdev/pkg/semigroups-3.2.3/bin/x86_64-ap\
ple-darwin17.7.0-default64-kv8/semigroups.so
  Reason: image not found
Error, module '/Applications/gap/gapdev/pkg/semigroups-3.2.3/bin/x86_64-apple-darwin1\
7.7.0-default64-kv8/semigroups.so' not found in
  LOAD_DYN( arg[1], false ) at /Applications/gap/gapdev/lib/files.gd:579 called from 
<function "LoadDynamicModule">( <arguments> )
 called from read-eval loop at /Applications/gap/gapdev/pkg/semigroups-3.2.3/init.g:26
Error, was not in any namespace at /Applications/gap/gapdev/lib/variable.g:301 called from
LEAVE_NAMESPACE(  ); at /Applications/gap/gapdev/lib/package.gi:1325 called from
ReadPackage( pkgname, "init.g" 
 ); at /Applications/gap/gapdev/lib/package.gi:1692 called from
<function "LoadPackage">( <arguments> )
 called from read-eval loop at *stdin*:2
you can 'quit;' to quit to outer loop, or
you can 'return;' to continue
brk> quit;
gap> LoadPackage("semigroups");
true
gap> SemigroupsTestInstall();   
Error, Variable: 'SemigroupsTestInstall' must have a value
not in any function at *stdin*:3
wilfwilson commented 3 years ago

Hmm, I'm not sure @cdwensley, but I notice two places to start:

cdwensley commented 3 years ago

I cannot explain the 4.8.8, but GAPInfo.Version returns "4.12dev". Will try the latest Semigroups and report back.

wilfwilson commented 3 years ago

Ah yes, thanks - also the fact that (for instance) Digraphs 1.1.1 loads, which requires GAP 4.9, confirms that it's not actually 4.8.8.

cdwensley commented 3 years ago

My sys info.gap, following today's compilation, contains:


GAP_BUILD_VERSION="4.8.8-7882-g179c9d7"
,,,
Is this a problem?
cdwensley commented 3 years ago

Semigroups-3.4.2 installed and all working well.

olexandr-konovalov commented 3 years ago

@cdwensley I built mine yesterday and is shows GAP 4.12dev-786-gc0037b8 built on 2021-04-12 09:01:16+0100 in the banner. Are you in the master branch, did you run make clean, or even make distclean, then ./autogen.sh before ./configure && make?

cdwensley commented 3 years ago

I have done all of these several times, but I still get 4.8.8. That's not a problem as far as I am concerned.


 ┌───────┐   GAP 4.8.8-7882-g179c9d7 built on 2021-04-14 12:23:01+0100
 │  GAP  │   https://www.gap-system.org
 └───────┘   Architecture: x86_64-apple-darwin17.7.0-default64-kv8
 Configuration:  gmp 6.2.1, GASMAN'''
wilfwilson commented 3 years ago

Yes it's not a problem and not important. My very very vague understanding of that string is that, for development versions, it is constructed by some algorithm that takes into the known git tags of the local repository. So your git tags are probably quite out of date (which is not a problem).