8000 Fixes install_or_tools.sh by roytman · Pull Request #1911 · fybrik/fybrik · GitHub
[go: up one dir, main page]
More Web Proxy on the site http://driver.im/
Skip to content

Fixes install_or_tools.sh #1911

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

Merged
merged 16 commits into from
Jan 22, 2023
Merged

Fixes install_or_tools.sh #1911

merged 16 commits into from
Jan 22, 2023

Conversation

roytman
Copy link
Collaborator
@roytman roytman commented Jan 19, 2023

When the install_or_tools.sh script runs, it checks that the bin/fzn-or-tools and lib/libfz.so files exist.
However, on MAC there is no lib/libfz.so file, and as a result, the script always installs the tool.

In addition, it doesn't check the installed version

/fixes #1909

Signed-off-by: Alexey Roytman roytman@il.ibm.com

roytman and others added 2 commits January 19, 2023 11:40
Signed-off-by: Alexey Roytman <roytman@il.ibm.com>
@roytman roytman requested review from zivnevo and shlomitk1 January 19, 2023 12:09
zivnevo
zivnevo previously approved these changes Jan 19, 2023
Copy link
Collaborator
@zivnevo zivnevo left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Some minor comments. Feel free to merge without them.

OK

Co-authored-by: Ziv Nevo <79099626+zivnevo@users.noreply.github.com>
roytman and others added 2 commits January 19, 2023 15:13
of course.

Co-authored-by: Ziv Nevo <79099626+zivnevo@users.noreply.github.com>
shlomitk1
shlomitk1 previously approved these changes Jan 19, 2023
zivnevo
zivnevo previously approved these changes Jan 19, 2023
@roytman roytman dismissed stale reviews from zivnevo and shlomitk1 via 0ea4084 January 19, 2023 17:34
@roytman
Copy link
Collaborator Author
roytman commented Jan 22, 2023

TODO check with @ngoracke why tools are installed on Ubunty, but run on Centos

@roytman roytman merged commit d0c176a into fybrik:master Jan 22, 2023
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Projects
None yet
Development

Successfully merging this pull request may close these issues.

The install_or_tools.sh script checks wrong file on MAC
3 participants
0