diff options
Diffstat (limited to 'fmt.patch')
| -rw-r--r-- | fmt.patch | 13 |
1 files changed, 13 insertions, 0 deletions
diff --git a/fmt.patch b/fmt.patch new file mode 100644 index 000000000000..4a5536903255 --- /dev/null +++ b/fmt.patch @@ -0,0 +1,13 @@ +diff --git a/CMakeLists.txt b/CMakeLists.txt +index 983449a7a..7e94e44d6 100644 +--- a/CMakeLists.txt ++++ b/CMakeLists.txt +@@ -330,7 +330,7 @@ include("${CADO_NFS_SOURCE_DIR}/config/test-rand.cmake") + include("${CADO_NFS_SOURCE_DIR}/config/strlcpy.cmake") + include("${CADO_NFS_SOURCE_DIR}/config/linux.cmake") + include("${CADO_NFS_SOURCE_DIR}/config/hwloc.cmake") +-include("${CADO_NFS_SOURCE_DIR}/config/fmt.cmake") ++#include("${CADO_NFS_SOURCE_DIR}/config/fmt.cmake") + include("${CADO_NFS_SOURCE_DIR}/config/gmpecm.cmake") + IF (NOT DEFINED ENV{NO_PYTHON_CHECK}) + include("${CADO_NFS_SOURCE_DIR}/config/python.cmake") |