Changes between Version 2 and Version 3 of Ticket #22626, comment 142
- Timestamp:
- 11/09/18 16:48:02 (4 years ago)
Legend:
- Unmodified
- Added
- Removed
- Modified
-
Ticket #22626, comment 142
v2 v3 3 3 Better 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. 4 4 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...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 `grp/`, `lib/`, `pkg/` at a minimum... Maybe `doc/`? And possibly also `src/` (so that `PageSource` can work for kernel functions) but I'm not sure if that's needed or not...