-
Notifications
You must be signed in to change notification settings - Fork 161
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
Make Revisions
obsolete, and sync hpcgap/lib/init.g
#1734
Make Revisions
obsolete, and sync hpcgap/lib/init.g
#1734
Conversation
Also update a few comments on obsolete vars
acad9dc
to
53fb1b0
Compare
Codecov Report
@@ Coverage Diff @@
## master #1734 +/- ##
==========================================
+ Coverage 64.5% 64.52% +0.01%
==========================================
Files 1001 1000 -1
Lines 326384 326028 -356
Branches 13239 13216 -23
==========================================
- Hits 210538 210356 -182
+ Misses 112989 112812 -177
- Partials 2857 2860 +3
|
Note that this PR also removes some MPI leftovers from I just split the removal of |
I see that |
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.
Looks good - left a couple of minor comments. Thanks.
hpcgap/lib/init.g
Outdated
if libs <> [] then | ||
print_info( " Libs used: ", libs, "\n" ); | ||
print_info( " Configuration: ", libs, "\n" ); |
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.
Any text justifying this renaming?
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.
Justification: Syncing changes between GAP and HPC-GAP is literally what this PR is about... :-)
I.e. this was changed already quite some time ago in GAP, because we now list more than list libs. The variable libs
should be renamed to something better eventually, but I deliberately did not, as this was about syncing the changes, not about cleaning init.g
up.
hpcgap/lib/init.g
Outdated
if IsBoundGlobal("MPI_Initialized") then | ||
ReadLib("distributed/distgap.g"); | ||
if IsBound(HPCGAP) then | ||
HELP_ADD_BOOK("HPC-GAP", "HPC-GAP Shared Memory Extensions and MPI", "doc/hpc"); |
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.
Please fix the 2nd argument - there is no MPI there any 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.
Good catch, fixed
Yes, I think it would be good to get rid of |
If you want to remove unused obsoletes, there are a bunch others marked as "not used". And several which aren't used anymore:I last went through that file in January 2016, some things changed since then, e.g. in xgap, so |
This might impact PR #1714 (not in a major way, but enough to create a conflict), and also PR #1710 resp #1729