Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Fix the zgap script #6

Open
fingolfin opened this issue May 13, 2016 · 2 comments
Open

Fix the zgap script #6

fingolfin opened this issue May 13, 2016 · 2 comments

Comments

@fingolfin
Copy link
Member

The zgap python script comes from HPC-GAP, where it resides in the bin dir, right next to gap.sh. The copy I added to this repository was not changed compared to that, and thus does not work correctly. This should be changed.

This will also require adapting the code in gap/znode.g, which I also just copied over. Note that this code uses ENTER_NAMESPACE directly, which seems like quite a hack -- I think we should rewrite it.

@fingolfin
Copy link
Member Author

So one can try to get zgap working, by starting it from a dir containing bin/gap.sh, or (as I did) symlinking bin/gap.sh to the real gap.sh.
This leads eventually to this (unsurprising) error:

Error, the library file 'znode.g' must exist and be readable at /Users/mhorn/Projekte/GAP/gap.github/lib/init.g:324 called from
<function "ReadLib">( <arguments> )
 called from read-eval loop at /var/folders/d_/1zss2fnd6xdgclqnj8jj_27m0000gp/T/tmpJVw4FK/setup00.g:2
you can 'quit;' to quit to outer loop, or
you can 'return;' to continue
brk>

@fingolfin
Copy link
Member Author

Alternatively, one could also remove the zgap script and the corresponding zgap chapter, as well as its API.

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Projects
None yet
Development

No branches or pull requests

1 participant