-
Notifications
You must be signed in to change notification settings - Fork 53
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
Build rdftab from source. #593
Conversation
As rdftab is not available as a pre-built binary for arm64 (yet?), we install it from source.
docker/builder/Dockerfile
Outdated
@@ -118,6 +118,16 @@ RUN wget -nv https://github.com/fastobo/fastobo-validator/archive/refs/tags/v0.4 | |||
cd /build && \ | |||
rm -rf fastobo-validator-0.4.0 fastobo-validator-0.4.0.tar.gz /root/.cargo | |||
|
|||
# Compile rdftab. | |||
RUN wget -nv https://github.com/ontodev/rdftab.rs/archive/refs/tags/v0.1.1.tar.gz \ |
There was a problem hiding this comment.
Choose a reason for hiding this comment
The reason will be displayed to describe this comment to others. Learn more.
Can we extract the version here as we usually do? Just to make updating to later versions easier.
There was a problem hiding this comment.
Choose a reason for hiding this comment
The reason will be displayed to describe this comment to others. Learn more.
$RDFTAB_VERSION
There was a problem hiding this comment.
Choose a reason for hiding this comment
The reason will be displayed to describe this comment to others. Learn more.
From my experience it’s not that useful when building from source, as updating to a later version most often requires some work anyway beyond merely changing the version number. But sure.
There was a problem hiding this comment.
Choose a reason for hiding this comment
The reason will be displayed to describe this comment to others. Learn more.
Usually I agree, but because of the git diff not showing lines around, it is very hard to review a pull request "bumped version number of X" - you always then have to "view file" if you want to be sure they bumped it in all places..
There was a problem hiding this comment.
Choose a reason for hiding this comment
The reason will be displayed to describe this comment to others. Learn more.
This is hard for me to judge, but definitely ready to be merged into the other PR!
Thank you @gouttegd looks great! |
This PR amends #590 to install
rdftab
by compiling it from source, as no pre-builtrdftab
binary for arm64 is available (yet?).