diff options
| author | Morgan Deters <mdeters@gmail.com> | 2009-12-11 00:15:37 +0000 |
|---|---|---|
| committer | Morgan Deters <mdeters@gmail.com> | 2009-12-11 00:15:37 +0000 |
| commit | 82faddb718aaae5f52001e09d0754a3d254e2285 (patch) | |
| tree | ed478463e82897659918ca30d4d0036cff8cca67 /src/prop | |
| parent | f79afa96e7e7176b974252dd05a9f7bdf70194e8 (diff) | |
build fixes, configuration simplifications
Diffstat (limited to 'src/prop')
| -rw-r--r-- | src/prop/Makefile.in | 2 | ||||
| -rw-r--r-- | src/prop/minisat/Makefile.in | 2 |
2 files changed, 2 insertions, 2 deletions
diff --git a/src/prop/Makefile.in b/src/prop/Makefile.in index 5fb636c23..6d4e7f0b5 100644 --- a/src/prop/Makefile.in +++ b/src/prop/Makefile.in @@ -39,7 +39,7 @@ subdir = src/prop DIST_COMMON = $(srcdir)/Makefile.am $(srcdir)/Makefile.in ACLOCAL_M4 = $(top_srcdir)/aclocal.m4 am__aclocal_m4_deps = $(top_srcdir)/config/antlr.m4 \ - $(top_srcdir)/config/libtool.m4 \ + $(top_srcdir)/config/cvc4.m4 $(top_srcdir)/config/libtool.m4 \ $(top_srcdir)/config/ltoptions.m4 \ $(top_srcdir)/config/ltsugar.m4 \ $(top_srcdir)/config/ltversion.m4 \ diff --git a/src/prop/minisat/Makefile.in b/src/prop/minisat/Makefile.in index e77369348..a2cc36300 100644 --- a/src/prop/minisat/Makefile.in +++ b/src/prop/minisat/Makefile.in @@ -39,7 +39,7 @@ subdir = src/prop/minisat DIST_COMMON = README $(srcdir)/Makefile.am $(srcdir)/Makefile.in ACLOCAL_M4 = $(top_srcdir)/aclocal.m4 am__aclocal_m4_deps = $(top_srcdir)/config/antlr.m4 \ - $(top_srcdir)/config/libtool.m4 \ + $(top_srcdir)/config/cvc4.m4 $(top_srcdir)/config/libtool.m4 \ $(top_srcdir)/config/ltoptions.m4 \ $(top_srcdir)/config/ltsugar.m4 \ $(top_srcdir)/config/ltversion.m4 \ |