4 files changed, 47 insertions, 0 deletions
diff --git a/cad/cvc/files/patch-Makefile.am b/cad/cvc/files/patch-Makefile.am
new file mode 100644
index 000000000000..c5fdd5a1f1b5
--- /dev/null
+++ b/cad/cvc/files/patch-Makefile.am
@@ -0,0 +1,10 @@
+--- 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
new file mode 100644
index 000000000000..d07dbacaf66b
--- /dev/null
+++ b/cad/cvc/files/patch-src_Makefile.am
@@ -0,0 +1,11 @@
+--- 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
new file mode 100644
index 000000000000..8718ccdeb8d3
--- /dev/null
+++ b/cad/cvc/files/patch-src_mmap__file__pool.cpp
@@ -0,0 +1,15 @@
+--- 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
new file mode 100644
index 000000000000..313ba177999f
--- /dev/null
+++ b/cad/cvc/files/patch-src_obstack.c
@@ -0,0 +1,11 @@
+--- 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