Skip to content

Commit 1bd4673

Browse files
committed
Revert "Remove hack which builds the IO package (#62)"
This reverts commit 1a2238b. Too many packages still need IO implicitly or explicitly in their tests, and until gap-actions/install-pkg or some other solution is ready, they have no good way of getting IO built.
1 parent 1a2238b commit 1bd4673

1 file changed

Lines changed: 8 additions & 0 deletions

File tree

action.yml

Lines changed: 8 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -222,3 +222,11 @@ runs:
222222
WGET="wget -q -N --no-check-certificate --tries=5 --waitretry=5 --retry-connrefused"
223223
# For GAP >= 4.11 set DOWNLOAD, for older versions set WGET
224224
make bootstrap-pkg-full DOWNLOAD="$WGET" WGET="$WGET"
225+
226+
# FIXME/HACK: for the time being, build the io package, until we have
227+
# dealt with <https://github.com/gap-packages/RepnDecomp/issues/23>
228+
- name: "Build the IO package"
229+
shell: bash
230+
run: |
231+
cd ${GAPROOT}/pkg
232+
../bin/BuildPackages.sh --strict io*

0 commit comments

Comments
 (0)