-
Notifications
You must be signed in to change notification settings - Fork 16
chore: Always test/build with locally built MPL and add release safeg… #422
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.
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
Changes from all commits
26a7c5e
4b7de2b
405d26a
94fc4b4
79926a4
e219262
2ef2535
File filter
Filter by extension
Conversations
Jump to
Diff view
Diff view
There are no files selected for viewing
Original file line number | Diff line number | Diff line change |
---|---|---|
@@ -0,0 +1,4 @@ | ||
projectJavaVersion=3.1.0 | ||
There was a problem hiding this comment. Choose a reason for hiding this commentThe reason will be displayed to describe this comment to others. Learn more. nit: should this be dbesdkJavaVersion instead? There was a problem hiding this comment. Choose a reason for hiding this commentThe reason will be displayed to describe this comment to others. Learn more. ah, I was thinking that it would be more obvious that this meant "this project". I.e. if the MPL implemented a similar thing, it would use |
||
mplDependencyJavaVersion=1.0.0 | ||
dafnyRuntimeJavaVersion=4.1.0 | ||
smithyDafnyJavaConversionVersion=0.1 |
Original file line number | Diff line number | Diff line change |
---|---|---|
@@ -0,0 +1,22 @@ | ||
#!/bin/bash | ||
|
||
# A tiny script to verify that the MPL submodule points to a valid release, | ||
# and that this release matches the MPL dependency defined in this repo's gradle projects. | ||
# Run this script from the root of the repo. | ||
|
||
# Get the MPL version used in DB-ESDK's build.gradle | ||
DBESDK_MPL_VERSION=$(cat project.properties | grep "mplDependencyJavaVersion" | sed 's/^.*=//') | ||
|
||
# Get version from tag of HEAD in MaterialProviders submodule | ||
cd submodules/MaterialProviders | ||
MPL_SUBMODULE_VERSION=$(git tag --points-at HEAD | sed 's/v//'); | ||
if [ "$MPL_SUBMODULE_VERSION" == "" ]; then | ||
echo "Invalid MaterialProviders submodule. The submodule must be set to a commit that is tagged as a release."; | ||
exit 1; | ||
fi | ||
|
||
# Validate this version matches the version used in the DB-ESDK's build.gradle | ||
if [ "$DBESDK_MPL_VERSION" != "$MPL_SUBMODULE_VERSION" ]; then | ||
echo "Invalid MaterialProviders submodule. Mismatch between the submodule version ("$MPL_SUBMODULE_VERSION") and the version of the configured dependency in project.properties ("$DBESDK_MPL_VERSION")."; | ||
exit 1; | ||
fi |
Uh oh!
There was an error while loading. Please reload this page.