diff options
Diffstat (limited to 'cad/cvc/files/patch-src_Makefile.am')
| -rw-r--r-- | cad/cvc/files/patch-src_Makefile.am | 11 |
1 files changed, 0 insertions, 11 deletions
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 |