Skip to content

Commit c1f72c5

Browse files
committed
Rename install.sh to prerequisites.sh
This way, GAP's BuildPackages.sh script will automatically execute it, meaning that cddlib will end up being available for more users than without this. The GH actions CI scripts also use this, so no need for libcdd-dev anymore.
1 parent 59f11a4 commit c1f72c5

File tree

2 files changed

+0
-8
lines changed

2 files changed

+0
-8
lines changed

.github/workflows/CI.yml

Lines changed: 0 additions & 8 deletions
Original file line numberDiff line numberDiff line change
@@ -31,10 +31,6 @@ jobs:
3131

3232
steps:
3333
- uses: actions/checkout@v2
34-
- name: 'Install additional dependencies'
35-
run: |
36-
sudo apt-get update
37-
sudo apt-get install libcdd-dev
3834
- uses: gap-actions/setup-gap@v2
3935
with:
4036
GAPBRANCH: ${{ matrix.gap-branch }}
@@ -50,10 +46,6 @@ jobs:
5046

5147
steps:
5248
- uses: actions/checkout@v2
53-
- name: 'Install additional dependencies'
54-
run: |
55-
sudo apt-get update
56-
sudo apt-get install libcdd-dev
5749
- uses: gap-actions/setup-gap@v2
5850
- uses: gap-actions/build-pkg-docs@v1
5951
with:
File renamed without changes.

0 commit comments

Comments
 (0)