fix test Makefile

diff --git a/test/unit/Makefile.am b/test/unit/Makefile.am
index f061c9c9afceb2d50f2bdc4eb7c0c4d8a3724814..3583770b67e320e3213cbb3af5a1a4129ec8c8f2 100644 (file)
--- a/test/unit/Makefile.am
+++ b/test/unit/Makefile.am
@@ -105,9 +105,9 @@ else
 unit_LINK = $(CXXLINK)
 endif
 
-@AMDEP_TRUE@@am__include@ $(UNIT_TESTS:%=@am__quote@./$(DEPDIR)/%.Plo@am__quote@)
+@AMDEP_TRUE@@am__include@ $(UNIT_TESTS:%=@am__quote@./@DEPDIR@/%.Plo@am__quote@)
 
-$(UNIT_TESTS:%=@am__quote@./$(DEPDIR)/%.Plo@am__quote@): %.Plo:
+$(UNIT_TESTS:%=@am__quote@./@DEPDIR@/%.Plo@am__quote@): %.Plo:
        $(AM_V_at)$(MKDIR_P) `dirname "$@"`
        $(AM_V_GEN)test -e "$@" || touch "$@"
 
@@ -161,7 +161,7 @@ EXTRA_DIST = \
 
 endif
 
-$(UNIT_TESTS:%=%.cpp): $(UNIT_TESTS:%=$(abs_builddir)/%.cpp)
+$(UNIT_TESTS:%=%.cpp): $(UNIT_TESTS:%=@abs_builddir@/%.cpp)
 
 # trick automake into setting LTCXXCOMPILE, CXXLINK, etc.
 if CVC4_FALSE