Skip to content

Commit

Permalink
Merge pull request #5579 from MisterDA/flexdll-0.43
Browse files Browse the repository at this point in the history
Update bootstrap to use FlexDLL 0.43 from ocaml/flexdll
  • Loading branch information
rjbou committed Jul 11, 2023
2 parents 1064691 + b84678f commit 2c097c9
Show file tree
Hide file tree
Showing 3 changed files with 4 additions and 3 deletions.
2 changes: 1 addition & 1 deletion .github/scripts/main/ocaml-cache.sh
Original file line number Diff line number Diff line change
Expand Up @@ -44,7 +44,7 @@ case "$HOST" in
PREFIX="$OCAML_LOCAL";;
esac

FLEXDLL_VERSION=0.42
FLEXDLL_VERSION=0.43

curl -sLO "https://caml.inria.fr/pub/distrib/ocaml-${OCAML_VERSION%.*}/ocaml-$OCAML_VERSION.tar.gz"
if [[ $PLATFORM = 'Windows' ]] ; then
Expand Down
1 change: 1 addition & 0 deletions master_changes.md
Original file line number Diff line number Diff line change
Expand Up @@ -65,6 +65,7 @@ users)

## Build
* Run autoupdate to silence autogen warnings [#5555 @MisterDA]
* Update bootstrap to use FlexDLL 0.43 from ocaml/flexdll [#5579 @MisterDA]

## Infrastructure

Expand Down
4 changes: 2 additions & 2 deletions src_ext/Makefile
Original file line number Diff line number Diff line change
Expand Up @@ -14,8 +14,8 @@ PATCH ?= patch
URL_ocaml = https://caml.inria.fr/pub/distrib/ocaml-4.14/ocaml-4.14.1.tar.gz
MD5_ocaml = c45b013a233c9a4b80c3930d723d19dd

URL_flexdll = https://github.com/ocaml/flexdll/archive/0.42.tar.gz
MD5_flexdll = 9464ae7a7e566ba7c96336cf2f34cc73
URL_flexdll = https://github.com/ocaml/flexdll/archive/0.43.tar.gz
MD5_flexdll = 6ce706f6c65b2c5adf5791fac678f090

ifndef FETCH
ifneq ($(shell command -v curl 2>/dev/null),)
Expand Down

0 comments on commit 2c097c9

Please sign in to comment.