From e1f76ec54d34af17e2db4acad7a3bd29645dcef6 Mon Sep 17 00:00:00 2001 From: Yuri Victorovich Date: Tue, 28 Dec 2021 23:33:10 -0800 Subject: cad/cvc: New port: Circuit Validity Checker --- cad/cvc/files/patch-src_Makefile.am | 11 +++++++++++ 1 file changed, 11 insertions(+) create mode 100644 cad/cvc/files/patch-src_Makefile.am (limited to 'cad/cvc/files/patch-src_Makefile.am') 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 -- cgit v1.2.3