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, 11 insertions, 0 deletions
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 |