Changes between Version 1 and Version 2 of Ticket #22626, comment 142


Ignore:
Timestamp:
11/09/18 16:14:58 (3 years ago)
Author:
embray
Comment:

Legend:

Unmodified
Added
Removed
Modified
  • Ticket #22626, comment 142

    v1 v2  
    33Better to do what we did traditionally of having `bin/gap` as a shell script that wraps the real `gap` executable and passes an appropriate `-l` flag.  Dima's branch already has something to that effect, though rather than patching `bin/gap.sh` I think we should just install our own custom `gap` script, such as the one that's currently in this branch but unused. 
    44
    5 I'm also experimenting with adding the actual executable under something like `bin/gap-bin`.  I don't think we need all the files from the GAP source tree, much less build artifacts.  I think we can have a minimal GAP_ROOT of sorts (e.g. under `share/gap`) that includes `lib/`, `pkg/` at a minimum...  Maybe `doc`?  And possibly also `src/` (so that `PageSource` can work) but I'm not sure if that's needed or not...
     5I'm also experimenting with adding the actual executable under something like `bin/gap-bin`.  I don't think we need all the files from the GAP source tree, much less build artifacts.  I think we can have a minimal GAP_ROOT of sorts (e.g. under `share/gap`) that includes `lib/`, `pkg/` at a minimum...  Maybe `doc/`?  And possibly also `src/` (so that `PageSource` can work) but I'm not sure if that's needed or not...