Changes between Initial Version and Version 1 of Ticket #22626, comment 142
- Timestamp:
- Nov 9, 2018, 4:14:41 PM (4 years ago)
Legend:
- Unmodified
- Added
- Removed
- Modified
-
Ticket #22626, comment 142
initial v1 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 `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...