Merge pull request #255 from d-m-bailey/cvc-rv

Changed program name to cvc_rv to avoid conflict.
d-m-bailey · Sep 26, 2022 · 5ce9390 · 5ce9390
2 parents 1d2fd80 + 6a6fbf3
commit 5ce9390
Show file tree

Hide file tree

Showing 4 changed files with 5 additions and 4 deletions.
diff --git a/.gitignore b/.gitignore
@@ -27,3 +27,4 @@ ylwrap
 src_py/__pycache__
 src_py/.deps
 /configure~
+src/cvc_rv
diff --git a/configure.ac b/configure.ac
@@ -2,7 +2,7 @@
 # Process this file with autoconf to produce a configure script.
 
 AC_PREREQ([2.69])
-AC_INIT(CVC, [1.1.3], [[email protected]])
+AC_INIT(CVC_RV, [1.1.4], [[email protected]])
 AC_CONFIG_SRCDIR(src)
 AC_CONFIG_HEADERS([config.h])
 AC_USE_SYSTEM_EXTENSIONS

diff --git a/src/Cvc.hh b/src/Cvc.hh
@@ -24,7 +24,7 @@
 #ifndef CVC_H_
 #define CVC_H_
 
-#define CVC_VERSION "1.1.3"
+#define CVC_VERSION "1.1.4"
 
 extern bool gDebug_cvc;
 extern bool gSetup_cvc;

diff --git a/src/Makefile.am b/src/Makefile.am
@@ -9,8 +9,8 @@ LDFLAGS = -static-libstdc++ -static-libgcc
 # the previous manual Makefile
 BUILT_SOURCES = cdlParser.hh stack.hh position.hh location.hh
 AM_YFLAGS = -d -Wno-yacc
-bin_PROGRAMS = cvc
-cvc_SOURCES = cvc.cc Cvc.hh \
+bin_PROGRAMS = cvc_rv
+cvc_rv_SOURCES = cvc.cc Cvc.hh \
 	cdlParser.yy cdlScanner.ll \
 	stack.hh position.hh location.hh \
 	CCdlParserDriver.cc CCdlParserDriver.hh \