-
Notifications
You must be signed in to change notification settings - Fork 89
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
Switch to installing Doxygen via conda #636
base: dev
Are you sure you want to change the base?
Conversation
run: | | ||
conda init bash |
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.
Let’s move all of this to a standalone bash script.
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.
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.
Do we need conda after all? We could just wget one of the binary releases from the doxygen GH repo. I'm not saying I'm against conda, I'm just wondering if it comes with any additional overhead compared to downloading the raw binary and placing it in an executable path.
This PR moves the Doxygen installation from the default Ubuntu version via
apt-get
to Conda, preventing potential version conflicts during system updates.