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

Add Windows support #26

Open
fingolfin opened this issue Sep 16, 2020 · 1 comment
Open

Add Windows support #26

fingolfin opened this issue Sep 16, 2020 · 1 comment

Comments

@fingolfin
Copy link
Member

A user tried to use the GAP package kbmag on Windows -- of course we say that this is not supported, but perhaps somebody is interested in fixing that. The relevant error message they got was this:

Error, PrintTo: cannot open '/tmp/gaptempfile.lKvKhT' for output in
 CallFuncList( PRINT_TO, arg ); at /proc/cygdrive/C/gap-4.11.0/lib/streams.gd:1050 called from
PrintTo( filename, "_RWS := rec (\n" ); at /proc/cygdrive/C/gap-4.11.0/pkg/kbmag-1.5.9/gap/rws4.g:745 called from
WriteRWS( rws, _KBTmpFileName ); at /proc/cygdrive/C/gap-4.11.0/pkg/kbmag-1.5.9/gap/rws4.g:1529 called from
KBRWS( rws ) at /proc/cygdrive/C/gap-4.11.0/pkg/kbmag-1.5.9/gap/kbsmg2.gi:224 called from
<function "KnuthBendix for a KBMAG rewriting system">( <arguments> )
called from read-eval loop at *stdin*:5

I think part of the fix will include that we stop using Exec and instead use Process, which will also allow us to (better) handle errors in the invoked executables.

@dimpase
Copy link
Member

dimpase commented Sep 16, 2020

if kbmag is broken on Windows it should not be in a semibroken state in the Windows distro, while the latter does have all its executables etc.

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

2 participants