diff options
| author | Mathias Preiner <mathias.preiner@gmail.com> | 2018-10-19 14:45:42 -0700 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2018-10-19 14:45:42 -0700 |
| commit | ce8c429281fd1f7e4ac4d2b7133152c1d370df0c (patch) | |
| tree | 407400e728621cc9a5262e7112a93bd6acd0835a /proofs | |
| parent | 7de0540252b62080ee9f98617f5718cb1ae08579 (diff) | |
Remove autotools build system. (#2639)
Diffstat (limited to 'proofs')
| -rw-r--r-- | proofs/signatures/Makefile.am | 38 |
1 files changed, 0 insertions, 38 deletions
diff --git a/proofs/signatures/Makefile.am b/proofs/signatures/Makefile.am deleted file mode 100644 index 75d9f3c5a..000000000 --- a/proofs/signatures/Makefile.am +++ /dev/null @@ -1,38 +0,0 @@ -# These CORE_PLFs are combined to give a "master signature" against -# which proofs are checked internally when using --check-proofs. To -# add support for more theories, just list them here in the same order -# you would to the LFSC proof-checker binary. -# -CORE_PLFS = sat.plf smt.plf th_base.plf th_arrays.plf th_bv.plf th_bv_bitblast.plf th_bv_rewrites.plf th_real.plf th_int.plf - -noinst_LTLIBRARIES = libsignatures.la - -dist_pkgdata_DATA = \ - $(CORE_PLFS) - -libsignatures_la_SOURCES = \ - signatures.cpp - -BUILT_SOURCES = \ - signatures.cpp - -signatures.cpp: $(CORE_PLFS) - $(AM_V_GEN)( \ - echo "namespace CVC4 {"; \ - echo "namespace proof {"; \ - echo; \ - echo "extern const char *const plf_signatures;"; \ - echo "const char *const plf_signatures = \"\\"; \ - cat $+ | sed 's,\\,\\\\,g;s,",\\",g;s,$$,\\n\\,g'; \ - echo "\";"; \ - echo; \ - echo "} /* CVC4::proof namespace */"; \ - echo "} /* CVC4 namespace */"; \ - ) > $@ - -EXTRA_DIST = \ - example.plf \ - example-arrays.plf \ - example-quant.plf \ - ex-mem.plf \ - th_quant.plf |