adjust GitHub workflow to use "rktboot/main.rkt"

original commit: 393a935e247c3bb7a3cba9f4aeec93906e3b92c5
This commit is contained in:
Matthew Flatt 2020-07-25 17:40:02 -06:00
parent 0659cc333b
commit 38cf0fba97

View File

@ -21,7 +21,6 @@ jobs:
distribution: 'minimal' # minimal is enough
variant: 'CS' # lets dog-food CS
version: 'current'
packages: 'cs-bootstrap'
- uses: actions/checkout@v2
with:
submodules: 'recursive'
@ -39,7 +38,7 @@ jobs:
sudo apt-get update
sudo apt-get install -y libncurses5-dev uuid-dev libssl-dev
- name: Build bootfiles
run: racket -l cs-bootstrap
run: racket rktboot/main.rkt
- name: Build Chez
run: .github/scripts/build.sh
- name: Test Chez
@ -68,14 +67,13 @@ jobs:
make -j $((cpus+1)) install
cd
rm -Rf /tmp/racket
raco pkg install -i --auto --skip-installed cs-bootstrap
- name: Checkout ChezScheme
uses: actions/checkout@v2
with:
submodules: 'recursive'
fetch-depth: 100
- name: Build bootfiles
run: racket -l cs-bootstrap
run: racket rktboot/main.rkt
- name: Build Chez
run: |
./configure -m=$MACH