Skip to content

Commit

Permalink
gambit: unpin version.
Browse files Browse the repository at this point in the history
  • Loading branch information
Amirouche committed Jan 1, 2022
1 parent aad3ef9 commit a15f66c
Showing 1 changed file with 0 additions and 1 deletion.
1 change: 0 additions & 1 deletion local/bin/scheme-live-gambit
Original file line number Diff line number Diff line change
Expand Up @@ -20,7 +20,6 @@ scheme-live-gambit-install () {
cd $PREFIX/opt/live/gambit
git clone https://github.com/gambit/gambit.git git
cd git
git checkout 28fe9c82cddcb43f9ac7f1fdc456f3e2ce101e0d
./configure --prefix=$PREFIX/opt/live/gambit/
make -j $SCHEME_LIVE_CORE_COUNT
make -j $SCHEME_LIVE_CORE_COUNT modules
Expand Down

0 comments on commit a15f66c

Please sign in to comment.