Skip to content
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

boost/multiprecision/miller_rabin.hpp #42

Closed
jto888 opened this issue Jun 9, 2017 · 4 comments
Closed

boost/multiprecision/miller_rabin.hpp #42

jto888 opened this issue Jun 9, 2017 · 4 comments

Comments

@jto888
Copy link

@jto888 jto888 commented Jun 9, 2017

Hi Dirk,
This is David Silkworth from years back.
I am porting a significant enhancement to my FaultTree package and have run into the following FATAL ERROR.
bdd.cc:23:49: fatal error: boost/multiprecision/miller_rabin.hpp: No such file or directory
I have other issues, like awaiting C++14 enabled compiler in Rtools for Windows, but I would appreciate if this could be put on the list. I have confirmed my error goes away if I simply place this header into my local library for BH, but that wouldn't do for package release.

@eddelbuettel
Copy link
Owner

@eddelbuettel eddelbuettel commented Jun 9, 2017

Sure. The way this works (see the BH repo) is that we select particular Boost sub-libraries.

Maybe multirprecision was not yet part of that mix. I can add it.

I have nothing to do with Rtools -- g++ 4.9.3 it is for now.

@eddelbuettel
Copy link
Owner

@eddelbuettel eddelbuettel commented Jun 9, 2017

So I just checked and Boost Multiprecision is part of BH since 1.58.0-1 so I am not sure why miller_rabin.hpp is not part of it. I will try to make sure it makes it next time.

@eddelbuettel
Copy link
Owner

@eddelbuettel eddelbuettel commented Aug 11, 2017

It was a typo in the creation script. Should be taken care of in the next upload.

eddelbuettel added a commit that referenced this issue Aug 12, 2017
Feature/boost 1.64 (closes #32, #35, #42)
@eddelbuettel
Copy link
Owner

@eddelbuettel eddelbuettel commented Aug 12, 2017

This is now in master awaiting a release "real soon now" (but two other issues need to get sorted out first).

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Projects
None yet
Linked pull requests

Successfully merging a pull request may close this issue.

None yet
2 participants
You can’t perform that action at this time.