diff options
| author | Clifford Wolf <clifford@clifford.at> | 2017-03-27 14:32:43 +0200 |
|---|---|---|
| committer | Clifford Wolf <clifford@clifford.at> | 2017-03-27 14:32:43 +0200 |
| commit | 71cbe98a091ab05ef7bc678d8874db5ac9fb87ec (patch) | |
| tree | a272af9f4933c0148ca64a858dcd2684f2190251 /libs/minisat/System.h | |
| parent | 106e44f406406766c0c99e46ffa5b582e54abeb1 (diff) | |
| download | yosys-71cbe98a091ab05ef7bc678d8874db5ac9fb87ec.tar.gz yosys-71cbe98a091ab05ef7bc678d8874db5ac9fb87ec.tar.bz2 yosys-71cbe98a091ab05ef7bc678d8874db5ac9fb87ec.zip | |
Remove use of <fpu_control.h> in minisat
Diffstat (limited to 'libs/minisat/System.h')
| -rw-r--r-- | libs/minisat/System.h | 7 |
1 files changed, 0 insertions, 7 deletions
diff --git a/libs/minisat/System.h b/libs/minisat/System.h index ee92a6e08..cd9d020c7 100644 --- a/libs/minisat/System.h +++ b/libs/minisat/System.h @@ -21,10 +21,6 @@ OF OR IN CONNECTION WITH THE SOFTWARE OR THE USE OR OTHER DEALINGS IN THE SOFTWA #ifndef Minisat_System_h #define Minisat_System_h -#if defined(__linux__) -#include <fpu_control.h> -#endif - #include "IntTypes.h" //------------------------------------------------------------------------------------------------- @@ -36,9 +32,6 @@ static inline double cpuTime(void); // CPU-time in seconds. extern double memUsed(); // Memory in mega bytes (returns 0 for unsupported architectures). extern double memUsedPeak(bool strictlyPeak = false); // Peak-memory in mega bytes (returns 0 for unsupported architectures). -extern void setX86FPUPrecision(); // Make sure double's are represented with the same precision - // in memory and registers. - extern void limitMemory(uint64_t max_mem_mb); // Set a limit on total memory usage. The exact // semantics varies depending on architecture. |