Adding VPATH back in

diff --git a/src/expr/Makefile.am b/src/expr/Makefile.am
index 1334a8804de4da84b2d661917422464a64214bf5..e45c765c0a0805d297c497f5e35c6fce48543abf 100644 (file)
--- a/src/expr/Makefile.am
+++ b/src/expr/Makefile.am
@@ -6,6 +6,8 @@
 # in particular were breaking it
 # Building with coverage will cause portability issues in some cases
 
+VPATH = $(if $(COVERAGE_ON), $(realpath @srcdir@), @srcdir@)
+
 AM_CPPFLAGS = \
        -D__BUILDING_CVC4LIB \
        $(if $(COVERAGE_ON), -I@abs_builddir@/.. -I@abs_srcdir@/../include -I@abs_srcdir@/.., \

diff --git a/src/options/Makefile.am b/src/options/Makefile.am
index bca6ca16ee116494ce4d183ecf85c6846d5ec1d5..5a9fa54e6e00c87affa4dc2b4ce0c4f3afbbe3e3 100644 (file)
--- a/src/options/Makefile.am
+++ b/src/options/Makefile.am
@@ -20,6 +20,7 @@
 # in particular were breaking it
 # Building with coverage will cause portability issues in some cases
 
+VPATH = $(if $(COVERAGE_ON), $(realpath @srcdir@), @srcdir@)
 
 OPTIONS_SRC_FILES = \
        arith_options \