diff options
| author | Andres Noetzli <andres.noetzli@gmail.com> | 2018-08-02 07:54:50 -0700 |
|---|---|---|
| committer | Andrew Reynolds <andrew.j.reynolds@gmail.com> | 2018-08-02 09:54:50 -0500 |
| commit | 9b9cd3a304f5830942a8b715b19e3cac0a771289 (patch) | |
| tree | 06a161168a6ab0aefd2fc1dd370a75538187017f /src/Makefile.am | |
| parent | 1b89c8628eee3d081e91bf99745a16a21c40bf8a (diff) | |
Remove Subversion build info (#2250)
Diffstat (limited to 'src/Makefile.am')
| -rw-r--r-- | src/Makefile.am | 32 |
1 files changed, 0 insertions, 32 deletions
diff --git a/src/Makefile.am b/src/Makefile.am index 40511bdae..677b99d9a 100644 --- a/src/Makefile.am +++ b/src/Makefile.am @@ -34,7 +34,6 @@ libcvc4_la_LDFLAGS = \ nodist_EXTRA_libcvc4_la_SOURCES = dummy.cpp libcvc4_la_SOURCES = \ git_versioninfo.cpp \ - svn_versioninfo.cpp \ api/cvc4cpp.h \ api/cvc4cppkind.h \ api/cvc4cpp.cpp \ @@ -638,9 +637,6 @@ BUILT_SOURCES = \ $(top_builddir)/src/.subdirs CLEANFILES = \ - svn_versioninfo.cpp \ - svninfo.tmp \ - svninfo \ git_versioninfo.cpp \ gitinfo.tmp \ gitinfo \ @@ -687,34 +683,6 @@ EXTRA_DIST = \ theory/type_enumerator_template.cpp \ theory/uf/kinds -svn_versioninfo.cpp: svninfo - $(AM_V_GEN)( \ - if test -s svninfo; then \ - issvn=true; \ - branch=`grep '^URL: ' svninfo | sed 's,.*/cvc4/,,'`; \ - rev=`grep '^Revision: ' svninfo | awk '{print$$2}'`; \ - mods=`grep '^Modifications: ' svninfo | awk '{print$$2} END { if(!NR) print "false" }'`; \ - else \ - issvn=false; \ - branch=unknown; \ - rev=0; \ - mods=false; \ - fi; \ - echo "#include \"base/configuration.h\""; \ - echo "const bool ::CVC4::Configuration::IS_SUBVERSION_BUILD = $$issvn;"; \ - echo "const char* const ::CVC4::Configuration::SUBVERSION_BRANCH_NAME = \"$$branch\";"; \ - echo "const unsigned ::CVC4::Configuration::SUBVERSION_REVISION = $$rev;"; \ - echo "const bool ::CVC4::Configuration::SUBVERSION_HAS_MODIFICATIONS = $$mods;"; \ - ) >"$@" -# This .tmp business is to keep from having to re-compile options.cpp -# (and then re-link the libraries) if nothing has changed. -svninfo: svninfo.tmp - $(AM_V_GEN)if diff -q svninfo.tmp svninfo &>/dev/null; then rm -f svninfo.tmp; else mv svninfo.tmp svninfo; fi -# .PHONY ensures the .tmp version is always rebuilt (to check for any changes) -.PHONY: svninfo.tmp -svninfo.tmp: - $(AM_V_GEN)(cd "$(top_srcdir)" && svn info && echo "Modifications: `test -z \"\`svn status -q\`\" && echo false || echo true`") >"$@" 2>/dev/null || true - git_versioninfo.cpp: gitinfo $(AM_V_GEN)( \ if test -s gitinfo; then \ |