Skip to content

fix CI install script #41

New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Draft
wants to merge 5 commits into
base: main
Choose a base branch
from
Draft

fix CI install script #41

Changes from all commits
Commits
Show all changes
5 commits
Select commit Hold shift + click to select a range
2f9e240
apt: do not ask for permission before installing a program
vu3rdd Jan 13, 2023
a7e4085
what is this cert failure stuff?
vu3rdd Jan 13, 2023
e444761
pip executable is called pip3?
vu3rdd Jan 13, 2023
ee3f97c
upgrade to newer cabal and run cabal configure
vu3rdd Jan 13, 2023
f580d59
cabal update before cabal install
vu3rdd Jan 13, 2023
File filter

Filter by extension

Filter by extension
Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
23 changes: 11 additions & 12 deletions .circleci/config.yml
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -8,27 +8,26 @@ jobs:
name: Install Dependencies
command: |
apt-get update
apt-get install cabal-install
apt-get install -y cabal-install

- checkout

- run:
name: workaround for certificate failure
command: |
mv /etc/apt/sources.list.d/nodesource.list /etc/apt/sources.list.d/nodesource.list.disabled
apt-get update
apt-get -y upgrade
apt-get install -y ca-certificates libgnutls30
mv /etc/apt/sources.list.d/nodesource.list.disabled /etc/apt/sources.list.d/nodesource.list

- run:
name: Install pip
command: apt-get install -y python3-pip

- run:
name: Install dependencies
command: pip install --user -r requirements.txt
command: pip3 install --user -r requirements.txt
Copy link
Contributor

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more. 

❯ piptree ~/Work/haskell/haskell-spake2/requirements.txt 
attrs 21.4.0
spake2 0.8
└── hkdf

Let's add an hkdf pin to requirements.txt as protection against a future breaking version of hkdf.


- run:
name: upgrade Cabal
command: |
cabal update
cabal install cabal-install
Comment on lines +24 to +27
Copy link
Contributor

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

is there a particular version we think we need (perhaps a version newer than what's in the Debian package db)? Can we request that specifically? Or even if we just want some newer version, it would be nice to ask for one specifically, if we can, to improve reproducibility.


- run:
name: Tests
command: cabal test
command: |
cabal configure --enable-tests
cabal test