4 files changed, 0 insertions, 47 deletions
diff --git a/cad/cvc/files/patch-Makefile.am b/cad/cvc/files/patch-Makefile.am
deleted file mode 100644
index c5fdd5a1f1b5..000000000000
--- a/cad/cvc/files/patch-Makefile.am
+++ /dev/null
@@ -1,10 +0,0 @@
---- Makefile.am.orig	2021-12-29 02:03:06 UTC
-+++ Makefile.am
-@@ -1,6 +1,6 @@
- AUTOMAKE_OPTIONS = foreign
- #SUBDIRS = po src
--SUBDIRS = src scripts src_py doc
-+SUBDIRS = src scripts doc
- 
- ACLOCAL_AMFLAGS = -I m4
- 
diff --git a/cad/cvc/files/patch-src_Makefile.am b/cad/cvc/files/patch-src_Makefile.am
deleted file mode 100644
index d07dbacaf66b..000000000000
--- a/cad/cvc/files/patch-src_Makefile.am
+++ /dev/null
@@ -1,11 +0,0 @@
---- src/Makefile.am.orig	2021-12-29 05:59:48 UTC
-+++ src/Makefile.am
-@@ -1,6 +1,6 @@
- # what flags you want to pass to the C compiler & linker
--CFLAGS = -O3 
--CXXFLAGS = -O3 -std=gnu++11
-+#CFLAGS = -O3 
-+CXXFLAGS += -std=gnu++11
- #LIBS = -lz -lreadline -lcurses -lhistory -lintl
- LIBS = -lz -lreadline -lcurses -lhistory $(INTLLIBS)
- LDFLAGS = -static-libstdc++ -static-libgcc
diff --git a/cad/cvc/files/patch-src_mmap__file__pool.cpp b/cad/cvc/files/patch-src_mmap__file__pool.cpp
deleted file mode 100644
index 8718ccdeb8d3..000000000000
--- a/cad/cvc/files/patch-src_mmap__file__pool.cpp
+++ /dev/null
@@ -1,15 +0,0 @@
---- src/mmap_file_pool.cpp.orig	2021-12-28 19:09:39 UTC
-+++ src/mmap_file_pool.cpp
-@@ -116,7 +116,12 @@ namespace mmap_allocator_namespace {
- 			throw mmap_allocator_exception("Error in remmap(fd)");
- 
- 		void *last_address = memory_area;
-+#if defined(__FreeBSD__)
-+		memory_area = mmap(last_address, size_mapped, PROT_READ, MAP_SHARED, fd, 0);
-+#else
- 		memory_area = mmap(last_address, size_mapped, PROT_READ, MAP_SHARED | MAP_NORESERVE, fd, 0);
-+#endif
-+
- 		if (memory_area == MAP_FAILED) {
- 			if (get_verbosity() > 0) {
- 				perror("mmap");
diff --git a/cad/cvc/files/patch-src_obstack.c b/cad/cvc/files/patch-src_obstack.c
deleted file mode 100644
index 313ba177999f..000000000000
--- a/cad/cvc/files/patch-src_obstack.c
+++ /dev/null
@@ -1,11 +0,0 @@
---- src/obstack.c.orig	2021-12-28 19:08:19 UTC
-+++ src/obstack.c
-@@ -29,7 +29,7 @@
- # include "obstack.h"
- #endif
- 
--#include <stdint-gcc.h>
-+//#include <stdint-gcc.h>
- 
- /* NOTE BEFORE MODIFYING THIS FILE: This version number must be
-    incremented whenever callers compiled using an old obstack.h can no