diff options
author | V3n3RiX <venerix@koprulu.sector> | 2022-02-02 01:39:05 +0000 |
---|---|---|
committer | V3n3RiX <venerix@koprulu.sector> | 2022-02-02 01:39:05 +0000 |
commit | fcc5224904648a8e6eb528d7603154160a20022f (patch) | |
tree | 3bfce096b38a9cea8eed13fc70c1526c456e9abd /dev-libs/link-grammar/files | |
parent | 2fd57282f0262ca084e05b0f2c63fbada395d02b (diff) |
gentoo resync : 02.02.2022
Diffstat (limited to 'dev-libs/link-grammar/files')
-rw-r--r-- | dev-libs/link-grammar/files/link-grammar-5.10.2-musl.patch | 13 |
1 files changed, 13 insertions, 0 deletions
diff --git a/dev-libs/link-grammar/files/link-grammar-5.10.2-musl.patch b/dev-libs/link-grammar/files/link-grammar-5.10.2-musl.patch new file mode 100644 index 000000000000..8015e3ceb1e4 --- /dev/null +++ b/dev-libs/link-grammar/files/link-grammar-5.10.2-musl.patch @@ -0,0 +1,13 @@ +--- a/link-grammar/minisat/minisat/utils/System.h ++++ b/link-grammar/minisat/minisat/utils/System.h +@@ -21,10 +21,6 @@ + #ifndef Minisat_System_h + #define Minisat_System_h + +-#if defined(__linux__) +-#include <fpu_control.h> +-#endif +- + #include "minisat/mtl/IntTypes.h" + + //------------------------------------------------------------------------------------------------- |