Skip to content

Commit

Permalink
Update gambit pin (#870)
Browse files Browse the repository at this point in the history
Pin gambit to 24201248effa23d5017be4992b5b9879e4cd3a4c

Important fix affecting Gerbil, wrt compilation of letrec*.

See gambit/gambit#659
  • Loading branch information
vyzo authored Sep 18, 2023
1 parent 3588358 commit 4eecb14
Show file tree
Hide file tree
Showing 3 changed files with 4 additions and 4 deletions.
4 changes: 2 additions & 2 deletions .github/workflows/ci.yml
Original file line number Diff line number Diff line change
Expand Up @@ -6,14 +6,14 @@ jobs:
strategy:
fail-fast: false # if one fails, do not cancel the other
matrix:
gambit-version: ['v4.9.5', 'master']
gambit-version: ['', '--with-gambit=master']
shared-mode: ['', '--enable-shared']
steps:
- uses: actions/checkout@v3
- name: Install dependencies
run: sudo apt-get -y install openssl libssl-dev sqlite3 libsqlite3-dev
- name: Configure Gerbil
run: ./configure --prefix=/opt/gerbil --with-gambit=${{ matrix.gambit-version }} ${{ matrix.shared-mode }}
run: ./configure --prefix=/opt/gerbil ${{ matrix.gambit-version }} ${{ matrix.shared-mode }}
- name: Create Gerbil version file
run: echo "(define (gerbil-version-string) \"git-$(git rev-parse --short=8 HEAD)\")" > src/gerbil/runtime/gx-version.scm
- name: Prepare Build
Expand Down
2 changes: 1 addition & 1 deletion configure
Original file line number Diff line number Diff line change
Expand Up @@ -62,7 +62,7 @@ std_disable_feature() {

readonly gerbil_version="v$(git describe --tags --always)"
readonly gerbil_targets=""
readonly default_gambit_tag=v4.9.5
readonly default_gambit_tag=24201248effa23d5017be4992b5b9879e4cd3a4c
readonly default_gambit_config="--enable-targets=${gerbil_targets} --enable-single-host --enable-dynamic-clib --enable-default-runtime-options=t8,f8,-8 --enable-trust-c-tco"
prefix="/opt/gerbil"
readonly cflags_opt="-foptimize-sibling-calls"
Expand Down

0 comments on commit 4eecb14

Please sign in to comment.