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.

Sign up for GitHub

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

Jump to bottom

Function 'memUsedPeak()' is not defined on all architectures. #1

Open
niklasso opened this issue Jul 29, 2010 · 2 comments
Open

Function 'memUsedPeak()' is not defined on all architectures. #1

niklasso opened this issue Jul 29, 2010 · 2 comments
Labels
portability

Comments

@niklasso
Copy link
Owner

Define it for the different architectures with either a real or "dummy" solution.
@jonnybest
Copy link

This cccurred to me as well trying to build under cygwin/winxp

@thejoelw thejoelw mentioned this issue Nov 12, 2013
Open
@Siesh1oo
Copy link

The current implementation does not work due to declaration/definition mismatch of Minisat::MemUsedPeak (with and without parameters)

@zhzdeng zhzdeng mentioned this issue Aug 6, 2017
Open
rsanger pushed a commit to wandsdn/minisat that referenced this issue Dec 2, 2019
@msoos
Merge pull request niklasso#1 from Robbepop/master
0662095 
fixed GCC 6.3 warning: invalid suffix on literal; C++11 requires a sp…
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees
No one assigned
Labels
portability
Projects
None yet
Milestone
No milestone
Development

No branches or pull requests
3 participants
@niklasso @jonnybest @Siesh1oo